Synthesis of discrete-event controllers from sequence-based specifications.
Thijs JanssenJoanna M. van de Mortel-FronczakEmile van GerwenMichel A. ReniersPublished in: CDC (2015)
Keyphrases
- discrete event
- supervisory control
- hybrid systems
- dynamic systems
- simulation model
- discrete event simulation
- crisis response
- multiple faults
- control system
- mathematical modeling
- discrete event systems
- manufacturing process
- controller synthesis
- data acquisition
- control strategy
- dynamical systems
- reinforcement learning
- decision making
- data processing
- computational intelligence
- search space
- delay insensitive
- multi agent systems