The Complexity of Codiagnosability for Discrete Event and Timed Systems.
Franck CassezPublished in: ATVA (2010)
Keyphrases
- discrete event
- dynamic systems
- discrete event systems
- supervisory control
- hybrid systems
- simulation model
- crisis response
- discrete event simulation
- complex systems
- petri net
- intelligent systems
- management system
- expert systems
- finite state machines
- data acquisition
- computer systems
- manufacturing process
- data processing
- machine learning