Safety control of discrete event systems using finite state machines with parameters.
Yi-Liang ChenFeng LinPublished in: ACC (2001)
Keyphrases
- finite state machines
- discrete event systems
- petri net
- discrete event
- finite state automata
- model based diagnosis
- telecommunication networks
- model checking
- cooperative
- complex systems
- timed petri nets
- regular expressions
- control system
- failure diagnosis
- temporal constraints
- dynamic systems
- cloud computing
- reinforcement learning