Duality-based nested controller synthesis from STL specifications for stochastic linear systems

DOI10.1007/978-3-030-00151-3_14MaRDI QIDQ1631235zbMATH OpenOpenAlexFDO

Authors Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar

Publication date 6 December 2018

Full work available at URL https://doi.org/10.1007/978-3-030-00151-3_14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Reactive synthesis from signal temporal logic specifications
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Towards scalable synthesis of stochastic control systems
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

Cited in

(6)

• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Diagnosis and repair for synthesis from signal temporal logic specifications
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
• Reactive synthesis from signal temporal logic specifications
• Towards scalable synthesis of stochastic control systems
• Formal controller synthesis for Markov jump linear systems with uncertain dynamics

This page was built for publication: Duality-based nested controller synthesis from STL specifications for stochastic linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1631235)