Branching time controllers for discrete event systems.
P. MadhusudanP. S. ThiagarajanPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- discrete event systems
- petri net
- temporal reasoning
- complex systems
- temporal constraints
- model based diagnosis
- telecommunication networks
- timed petri nets
- failure diagnosis
- temporal logic
- discrete event
- reinforcement learning
- model checking
- control system
- dynamic systems
- epistemic logic
- control strategy
- qualitative and quantitative
- temporal information
- fuzzy logic
- objective function
- databases