• Publications
  • Influence
Exploiting symmetry in the synthesis of supervisors for discrete event systems
We investigate a method to exploit the symmetry inherent to many discrete-event systems in order to reduce the computational complexity of the supervisory control problem (SCP). We characterizeExpand
  • 33
  • 4
Exploiting symmetry in the synthesis of supervisors for discrete event systems
In this paper we investigate a method to exploit the symmetry inherent to many systems in order to reduce the computational complexity of the supervisory control problem (SCP). We characterizeExpand
  • 5
Using ESTEREL for building synchronization mechanisms in multimedia systems
This paper shows how the formal specification language ESTEREL may be efficiently used in the development of multimedia systems. We cover the specification and validation of a lip-synchronizationExpand
  • 1