Authors: | Pinchinat Sophie, Campus de Beaulieu, France Raclet Jean-Baptiste, Campus de Beaulieu, France |
---|---|
Topic: | 1.3 Discrete Event and Hybrid Systems |
Session: | Supervisory Control of Modular and Decentralized Discrete Event Systems |
Keywords: | Discrete-Event systems, Controlled systems, Formal specification, Computer-aided system design, Nondeterminism, Mu-calculus. |