Modal Specifications for the Control Theory of Discrete Event Systems.
Guillaume FeuilladeSophie PinchinatPublished in: Discret. Event Dyn. Syst. (2007)
Keyphrases
- control theory
- discrete event systems
- petri net
- complex systems
- discrete event
- dynamical systems
- telecommunication networks
- model based diagnosis
- timed petri nets
- failure diagnosis
- control law
- communication delays
- differential equations
- dynamic systems
- variable structure
- temporal constraints
- linear systems
- simulation model
- control algorithm
- least squares
- cooperative