Technical Report: Directed Controller Synthesis of Discrete Event Systems.
Daniel Alfredo CiolekVíctor A. BrabermanNicolás D'IppolitoSebastián UchitelPublished in: CoRR (2016)
Keyphrases
- discrete event systems
- technical report
- controller synthesis
- autonomic computing systems
- petri net
- complex systems
- telecommunication networks
- discrete event
- failure diagnosis
- model based diagnosis
- closed loop
- timed petri nets
- control system
- multi agent
- control algorithm
- temporal constraints
- dynamic systems
- controller design
- simulation model
- optimal solution