Bayesian statistical model checking with application to Simulink/Stateflow verification

DOI10.1145/1755952.1755987zbMath1361.68154OpenAlexW2161081924MaRDI QIDQ2985888

Paolo Zuliani, André Platzer, Edmund M. Clarke

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

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

zbMATH Keywords

hybrid systemsBayesian statisticsstochastic systemsstatistical model checkingprobabilistic model checking

Mathematics Subject Classification ID

Bayesian problems; characterization of Bayes procedures (62C10) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Statistical Model Checking for Networks of Priced Timed Automata ⋮ Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference ⋮ Unnamed Item ⋮ Quantitative verification of implantable cardiac pacemakers over hybrid heart models ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ Terminal satisfiability in GSTE ⋮ Smoothed model checking for uncertain continuous-time Markov chains

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Bayesian statistical model checking with application to Simulink/Stateflow verification