Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications.
Shengbing JiangRatnesh KumarPublished in: SIAM J. Control. Optim. (2006)
Keyphrases
- temporal logic
- discrete event systems
- supervisory control
- discrete event
- bounded model checking
- model checking
- concurrent systems
- transition systems
- model checker
- reactive systems
- dynamic systems
- formal specification language
- simulation model
- computation tree logic
- formal specification
- modal logic
- linear temporal logic
- dynamical systems
- formal verification
- complex systems
- model based diagnosis
- belief revision
- power grid
- temporal properties
- petri net
- real time
- data acquisition
- epistemic logic
- dynamic programming
- temporal constraints