Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints.
Takuma KinugawaKazumune HashimotoToshimitsu UshioPublished in: CoRR (2019)
Keyphrases
- discrete event systems
- discrete event
- petri net
- linear temporal logic
- dynamic systems
- timed petri nets
- simulation model
- model based diagnosis
- temporal logic
- model checking
- failure diagnosis
- constraint satisfaction
- telecommunication networks
- constraint programming
- dynamical systems
- bounded model checking
- reinforcement learning
- data flow
- complex systems
- constraint satisfaction problems
- general purpose
- cooperative