Data-driven and model-based verification via Bayesian identification and reachability analysis
From MaRDI portal
Publication:2409334
Recommendations
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Data-efficient Bayesian verification of parametric Markov chains
- Case studies in data-driven verification of dynamical systems
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis
- \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
Cites work
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- A generalized orthonormal basis for linear dynamical systems
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Bayesian system identification
- Computer Aided Verification
- Engineering principles in bio-molecular systems: from retroactivity to modularity
- From experiment design to closed-loop control
- From Philosophical to Industrial Logics
- scientific article; zbMATH DE number 1749774 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments
- System identification with generalized orthonormal basis functions
- The Birth of Model Checking
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Verification and Control of Hybrid Systems
Cited in
(12)- Data-efficient Bayesian verification of parametric Markov chains
- \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
- Reachability design through approximate Bayesian computation
- Dual adaptive model predictive control
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Case studies in data-driven verification of dynamical systems
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis
- Strategy synthesis for partially-known switched stochastic systems
- Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱
- Probabilistic reach-avoid for Bayesian neural networks
- Data-driven dissipative verification of LTI systems: multiple shots of data, QDF supply-rate and application to a planar manipulator
- Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties
This page was built for publication: Data-driven and model-based verification via Bayesian identification and reachability analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409334)
