Directed Control of Discrete Event Systems with LTL[F] Specifications.
Ami SakakibaraToshimitsu UshioPublished in: CDC (2018)
Keyphrases
- discrete event systems
- discrete event
- petri net
- bounded model checking
- complex systems
- model based diagnosis
- dynamic systems
- timed petri nets
- control system
- failure diagnosis
- temporal logic
- model checking
- telecommunication networks
- transition systems
- high level
- simulation model
- dynamic programming
- formal verification
- database
- fault diagnosis
- concurrent systems
- relational databases