Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
Yifan XieXiang YinShaoyuan LiMajid ZamaniPublished in: CDC (2021)
Keyphrases
- controller synthesis
- stochastic systems
- linear temporal logic
- bounded model checking
- temporal logic
- closed loop
- model checking
- control system
- stochastic models
- control algorithm
- multi agent
- transition systems
- sample path
- concurrent systems
- confidence intervals
- controller design
- formal specification
- asymptotic analysis
- specification language
- search algorithm
- linear combination
- markov chain