Efficiency through uncertainty

DOI10.1145/3302504.3311805MaRDI QIDQ5239245zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(12)

• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• 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
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Population-induced phase transitions and the verification of chemical reaction networks
• 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)