The design of a distributed system is known to be a difficult task which can be eased by
various techniques including validation and debugging. The model-based design (eg with …

We consider the control of distributed systems composed of subsystems communicating
asynchronously; the aim is to build local controllers that restrict the behavior of a distributed …

Abstract Model checking is a very powerful formal verification technique. Formal verification
of complex systems is a major challenge in many areas of human society. The verification of …

Since the 90's, automatic systems take a growing place into our everyday lives. It might be
embedded systems, such as in robotic, automotive or avionic systems, telecommunication or …

Current algorithms for the automatic verification of Petri nets suffer from the explosion
caused by the high dimensionality of the state spaces of practical examples. In this paper …

A reactive control system is a computer system reacting to certain stimuli emitted by its
environment in order to maintain it in a desired state. Distributed reactive control systems are …