Efficiency through uncertainty

DOI10.1145/3302504.3311805OpenAlexW2906997088MaRDI QIDQ5239245FDOQ5239245

Authors: Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli 

Publication date: 22 October 2019

Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.01576

Recommendations

• Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
• Towards scalable synthesis of stochastic control systems
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
• Automated verification and synthesis of stochastic hybrid systems: a survey

zbMATH Keywords

verificationstochastic processessynthesishybrid systemsmodel checkingformal methodsinterval Markov decision processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited In (12)

• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Robustly complete finite-state abstractions for verification of stochastic systems
• Probabilistic reach-avoid for Bayesian neural networks
• Lagrangian approximations for stochastic reachability of a target tube
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Population-induced phase transitions and the verification of chemical reaction networks
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Stochastic reachability of a target tube: theory and computation
• Strategy synthesis for partially-known switched stochastic systems
• Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
• Formal controller synthesis for Markov jump linear systems with uncertain dynamics

This page was built for publication: Efficiency through uncertainty

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