Safety verification of piecewise-deterministic Markov processes

DOI10.1145/2883817.2883836MaRDI QIDQ2988991zbMATH OpenOpenAlexFDO

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

Publication date 19 May 2017

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

Full work available at URL https://doi.org/10.1145/2883817.2883836

zbMATH Keywords

optimizationverificationhybrid systemssum of squarespiecewise-deterministic Markov processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by partial differential equations (93C20) Stochastic systems in control theory (general) (93E03)

Recommendations

• scientific article; zbMATH DE number 1956626
• Safety verification of continuous-space pure jump Markov processes
• Safety of stochastic systems: an analytic and computational approach
• Unbounded-time safety verification of stochastic differential dynamics
• Measurability and safety verification for stochastic hybrid systems

Cited in

(7)

• Unbounded-time safety verification of stochastic differential dynamics
• Safety verification for regime-switching jump diffusions via barrier certificates
• scientific article; zbMATH DE number 1956626 (Why is no real title available?)
• Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach
• Safety verification of continuous-space pure jump Markov processes
• Safety of stochastic systems: an analytic and computational approach
• Probabilistic invariance of mixed deterministic-stochastic dynamical systems

Describes a project that uses

Uses Software

• GloptiPoly

This page was built for publication: Safety verification of piecewise-deterministic Markov processes

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