-
Partial Order Techniques for Distributed Discrete Event Systems: why you can'...
Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for... -
On the use of unfoldings to abstract communicating automata into sets of scen...
We consider the problem of automatic abstraction, from a low-level model given in term of network of interacting automata to a high-level message sequence chart. This... -
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
In truly asynchronous, distributed systems, neither global state nor global time are available. Automata-based diagnosis therefore reaches its limitations there; a... -
Study of concurrency in real-time distributed systems
This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent...
