Statistical verification of dynamical systems using set oriented methods

DOI10.1145/2728606.2728627zbMATH Open1364.93753DBLPconf/hybrid/WangRW0D15OpenAlexW2067733097WikidataQ62702171 ScholiaQ62702171MaRDI QIDQ2988933FDOQ2988933

Authors: Yu Wang, Nima Roohi, M. West, Mahesh Viswanathan, Geir E. Dullerud 

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://doi.org/10.1145/2728606.2728627

Recommendations

• Computer Aided Verification
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Temporal logic verification of stochastic systems using barrier certificates
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Statistical probabilistic model checking with a focus on time-bounded properties

zbMATH Keywords

Markov processeslinear temporal logic (LTL)discrete-time Markov chains (DTMC)discrete-time nonlinear stochastic systems

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Discrete-time Markov processes on general state spaces (60J05) Specification and verification (program logics, model checking, etc.) (68Q60) Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03)

Cites Work

• Continuous system simulation
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards

Cited In (2)

• Statistical verification of PCTL using antithetic and stratified samples
• Risk verification of stochastic systems with neural network controllers

This page was built for publication: Statistical verification of dynamical systems using set oriented methods

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