Supervisory control of discrete event systems with CTL* temporal logic specifications.
Shengbing JiangRatnesh KumarPublished in: CDC (2001)
Keyphrases
- temporal logic
- discrete event systems
- supervisory control
- discrete event
- bounded model checking
- concurrent systems
- model checking
- transition systems
- model checker
- dynamic systems
- reactive systems
- simulation model
- formal specification language
- formal specification
- computation tree logic
- modal logic
- linear temporal logic
- dynamical systems
- model based diagnosis
- petri net
- symbolic model checking
- formal verification
- telecommunication networks
- complex systems
- data acquisition
- mathematical model