Statistical verification of dynamical systems using set oriented methods
From MaRDI portal
Publication:2988933
Markov processeslinear temporal logic (LTL)discrete-time Markov chains (DTMC)discrete-time nonlinear stochastic systems
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)
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
Cites work
- scientific article; zbMATH DE number 1638973 (Why is no real title available?)
- Continuous system simulation
- Hybrid Systems: Computation and Control
- On fixed points of strictly causal functions
- Requirements for hybrid cosimulation standards
- THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
Cited in
(2)
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)
