Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

Martı́nez, Diego; González, Apolinar; Noguera, Juan Francisco Blanes; Aquino, Raúl; Simó, José; Crespo, Alfons

doi:10.3390/s110101059

Cited by 15 publications

(16 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Being a graphical tool, it allows to easily represent the different interactions in a complex system such as concurrency, parallelism, synchronization, non-determinism, communication, alternatives and so on by means of only few elements types. Being a mathematical tool, it allows to fomally model these interactions and analyze the properties of the modeled system [38].…”

Section: Petri Netsmentioning

confidence: 99%

Extended Batches Petri Nets Based System for Road Traffic Management in WSNs

Riouali

Benhlima

Bah

2017

JSAN

View full text Add to dashboard Cite

Abstract:One of the most critical issues in modern cities is transportation management. Issues that are encountered in this regard, such as traffic congestion, high accidents rates and air pollution etc., have pushed the use of Intelligent Transportation System (ITS) technologies in order to facilitate the traffic management. Seen in this perspective, this paper brings forward a road traffic management system based on wireless sensor networks; it introduces the functional and deployment architecture of the system and focuses on the analysis component that uses a new extension of batches Petri nets for modeling road traffic flow. A real world implementation of visualization and data analysis components were carried out.

show abstract

Section: Petri Netsmentioning

confidence: 99%

Extended Batches Petri Nets Based System for Road Traffic Management in WSNs

Riouali

Benhlima

Bah

2017

JSAN

View full text Add to dashboard Cite

show abstract

“…In order to overcome this inherent difficulty, problem restrictions and heuristics must be used. A common approach is to statically allocate application tasks at system nodes and locally utilize either a well-known scheduling algorithm, like rate monotonic (RM) or earliest deadline first (EDF) [13,14].…”

Section: Related Workmentioning

confidence: 99%

“…We present in [13] a minimal set of components for the design a WSAN and its representation in colored Petri nets, allowing one to verify behavioral properties and system structures; however, ZigBee modeling is not fully enclosed in colored Petri nets; the control system is not modeled, which does not allow a complete check of the control system, including communication, the controller and plant as a distributed system. Finally, in this work, we present an architecture of NCS, consisting of multiple control loops closed over a multi-hop communication network and integrating an optimal multi-evaporator operations model, topology, routing, sensors and actuators nodes, and we analyze the end-to-end schedulability of real-time flows on wireless sensor and actuators networks (WSAN), as well as present an environment that facilities the simulation of computer nodes submitted to the architecture proposed.…”

Section: Related Workmentioning

confidence: 99%

“…The detailed algorithm can be seen in many works [31][32][33][34][35][36][37]. In our previous work, we performed an analysis of schedulability with strict real-time constraints and the synchronous mode of the 802.15.4 protocol [13,20]. Nevertheless, one of our main goals in this work is to provide a strategy for addressing systems that are highly scalable and the network self-configuration, but fulfilling the real-time constraints imposed by the control system.…”

Section: Worst-case End-to-end Delay Flow Control Signals Analysismentioning

confidence: 99%

See 1 more Smart Citation

Smart Control of Multiple Evaporator Systems with Wireless Sensor and Actuator Networks

et al. 2016

View full text Add to dashboard Cite

This paper describes the complete integration of a fuzzy control of multiple evaporator systems with the IEEE 802.15.4 standard, in which we study several important aspects for this kind of system, like a detailed analysis of the end-to-end real-time flows over wireless sensor and actuator networks (WSAN), a real-time kernel with an earliest deadline first (EDF) scheduler, periodic and aperiodic tasking models for the nodes, lightweight and flexible compensation-based control algorithms for WSAN that exhibit packet dropouts, an event-triggered sampling scheme and design methodologies. We address the control problem of the multi-evaporators with the presence of uncertainties, which was tackled through a wireless fuzzy control approach, showing the advantages of this concept where it can easily perform the optimization for a set of multiple evaporators controlled by the same smart controller, which should have an intelligent and flexible architecture based on multi-agent systems (MAS) that allows one to add or remove new evaporators online, without the need for reconfiguring, while maintaining temporal and functional restrictions in the system. We show clearly how we can get a greater scalability, the self-configuration of the network and the least overhead with a non-beacon or unslotted mode of the IEEE 802.15.4 protocol, as well as wireless communications and distributed architectures, which could be extremely helpful in the development process of networked control systems in large spatially-distributed plants, which involve many sensors and actuators. For this purpose, a fuzzy scheme is used to control a set of parallel evaporator air-conditioning systems, with temperature and relative humidity control as a multi-input and multi-output closed loop system; in addition, a general architecture is presented, which implements multiple control loops closed over a communication network, integrating the analysis and validation method for multi-loop control networks designed for multi-evaporator systems.

show abstract

“…Los resultados de la revisión bibliográfica, las simulaciones y los experimentos, obtenidos durante el desarrollo de esta tesis han sido presentados en (Martínez, 2008), (Martínez, 2009a, b, c), (Martínez, 2010a, b, c), (Martínez, 2011).…”

Section: Conclusionesunclassified

Metodología de diseño para minimizar el consumo de potencia y los retrasos en redes inalámbricas de sensores y actuadores con retrasos acotados

Castro¹

View full text Add to dashboard Cite

AGRADECIMIENTOSDeseo agradecer a todas las personas e instituciones que colaboraron en el desarrollo de esta tesis.Agradezco a todos los profesores que me orientaron durante mis estudios de posgrado y en especial a mis directores de tesis José Enrique Simó y Alfons Crespo. Su colaboración, apoyo y enseñanza han sido fundamentales para la realización de este trabajo.Quiero reconocer y agradecer a la Universidad Autónoma de Occidente por la comisión de estudios, la cual me permitió concentrarme totalmente en el desarrollo de esta tesis. Igualmente a la Universidad Politécnica de Valencia y en particular a los miembros del Grupo de Informática Industrial del DISCA, por su acogida y por facilitarme la posibilidad de realizar este trabajo.A mi esposa, mis padres y en general a toda mi familia, por la paciencia que han tenido y la motivación generada para que este trabajo fuese concluido. ÍNDICE GENERAL AGRADECIMIENTOSDeseo agradecer a todas las personas e instituciones que colaboraron en el desarrollo de esta tesis.Agradezco a todos los profesores que me orientaron durante mis estudios de posgrado y en especial a mis directores de tesis José Enrique Simó y Alfons Crespo. Su colaboración, apoyo y enseñanza han sido fundamentales para la realización de este trabajo.Quiero reconocer y agradecer a la Universidad Autónoma de Occidente por la comisión de estudios, la cual me permitió concentrarme totalmente en el desarrollo de esta tesis. Igualmente a la Universidad Politécnica de Valencia y en particular a los miembros del Grupo de Informática Industrial del DISCA, por su acogida y por facilitarme la posibilidad de realizar este trabajo.A mi esposa, mis padres y en general a toda mi familia, por la paciencia que han tenido y la motivación generada para que este trabajo fuese concluido.

show abstract

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

Cited by 15 publications

References 23 publications

Extended Batches Petri Nets Based System for Road Traffic Management in WSNs

Extended Batches Petri Nets Based System for Road Traffic Management in WSNs

Smart Control of Multiple Evaporator Systems with Wireless Sensor and Actuator Networks

Metodología de diseño para minimizar el consumo de potencia y los retrasos en redes inalámbricas de sensores y actuadores con retrasos acotados

Contact Info

Product

Resources

About