ProbReach

DOI10.1145/2728606.2728625zbMath1366.68183arXiv1410.8060OpenAlexW2017676950MaRDI QIDQ2988926

Paolo Zuliani, Fedor Shmarov

Publication date: 19 May 2017

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

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

zbMATH Keywords

hybrid systemsstochastic systemsbounded model checkingprobabilistic model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (7)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• filib++
• dReal
• ProbReach
• SReach

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: ProbReach