Related Experiment Video
Updated: May 24, 2026

Designing and Implementing Nervous System Simulations on LEGO Robots
Published on: May 25, 2013
Formal specification and design techniques for wireless sensor and actuator networks
Diego Martínez1, Apolinar González, Francisco Blanes
1Department of Automation and Electronics, Autonomous University of the West, Cll 25 115 - 85 Km. 2 Vía Cali-Jamundí, Colombia.
Abstract:
A current trend in the development and implementation of industrial applications is to use wireless networks to communicate the system nodes, mainly to increase application flexibility, reliability and portability, as well as to reduce the implementation cost. However, the nondeterministic and concurrent behavior of distributed systems makes their analysis and design complex, often resulting in less than satisfactory performance in simulation and test bed scenarios, which is caused by using imprecise models to analyze, validate and design these systems. Moreover, there are some simulation platforms that do not support these models. This paper presents a design and validation method for Wireless Sensor and Actuator Networks (WSAN) which is supported on a minimal set of wireless components represented in Colored Petri Nets (CPN). In summary, the model presented allows users to verify the design properties and structural behavior of the system.
Related Concept Videos
State Space Representation
Consider an RLC circuit, a...
Electro-mechanical Systems
A key component of the DC motor is the armature, a rotating circuit positioned within a magnetic field. As an electric current passes through the...
Signal and System
Circuit Terminology
A circuit, on the other hand, is also an interconnected system of electrical elements but must contain one or more closed paths.