Case studies in data-driven verification of dynamical systems

DOI10.1145/2883817.2883846MaRDI QIDQ2988966zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu

Publication date 19 May 2017

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

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

zbMATH Keywords

statistical learningautonomous systemsdata-driven verificationadaptable systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Adaptive control/observation systems (93C40) Application models in control theory (93C95)

Recommendations

• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• Data-efficient Bayesian verification of parametric Markov chains
• Data driven stability analysis of black-box switched linear systems

Cited in

(6)

• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Obey validity limits of data-driven models through topological data analysis and one-class classification
• Data-driven dissipative verification of LTI systems: multiple shots of data, QDF supply-rate and application to a planar manipulator
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
• Data driven stability analysis of black-box switched linear systems

This page was built for publication: Case studies in data-driven verification of dynamical systems

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