Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
Daniel Alfredo CiolekVíctor A. BrabermanNicolás D'IppolitoSebastián UchitelPublished in: CDC (2016)
Keyphrases
- discrete event systems
- controller synthesis
- petri net
- autonomic computing systems
- complex systems
- failure diagnosis
- telecommunication networks
- model based diagnosis
- discrete event
- timed petri nets
- control system
- temporal constraints
- closed loop
- heuristic search
- control algorithm
- search algorithm
- multi agent systems
- cooperative
- real time
- wireless sensor networks
- multi agent