A retrospective analysis of cyber-physical systems theory is given, and its current state is
characterized. A number of problems arising in the theory of hybrid automata is investigated …

Reliability of smart sensory systems is an emerging quality requirement. The backbone
infrastructure requires network controllers and service-programs to share some computing …

To provide a reliable and efficient service, load balancing plays an important role in wireless
sensor networks (WSNs). There is a need to maximize the network lifetime for WSNs …

This paper presents a modeling methodology for designing networked agents systems. It
focuses on the agent hybrid state representation, its dynamic behavior, and its interaction …

Probabilistic model checking is used for verifying stochastic behaviors of systems. Model
checking plays imperative role for scrutinizing of novel protocols in almost every field …

Résumé Dans ce mémoire, nous nous sommes tout d'abord focalisés sur des réseaux de
capteurs sans fils de petite taille dans le domaine médico-sportif. Nous avons conçu une …

ABSTRACT Recently, Intelligent Transport System (ITS) has arisen as a safer and more
suitable option for railway infrastructure when compared to traditional, colonial ballasted …

Wireless Sensor Network (WSN) applications, there may be many low-powered sensor
nodes which can communicate with each other by wireless techniques. Due to limited power …