p-Safe Analysis of Stochastic Hybrid Processes

DOI10.1109/TAC.2020.2972789MaRDI QIDQ5853942zbMATH OpenFDO

Authors Rafał Wisniewski, Manuela L. Bujorianu, Christoffer Sloth

Publication date 12 March 2021

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2020.2972789

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(2)

• Safety of stochastic systems: an analytic and computational approach
• Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: $p$-Safe Analysis of Stochastic Hybrid Processes

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