Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.
Lucien OuedraogoRatnesh KumarRobi MalikKnut ÅkessonPublished in: IEEE Trans Autom. Sci. Eng. (2011)
Keyphrases
- finite automata
- discrete event systems
- discrete event
- petri net
- grammatical inference
- deterministic automata
- probabilistic automata
- model based diagnosis
- regular expressions
- timed petri nets
- telecommunication networks
- simulation model
- complex systems
- finite automaton
- tree automata
- temporal constraints
- knowledge base
- databases