Sampling-based falsification and verification of controllers for continuous dynamic systems

DOI10.1007/978-3-540-68405-3_25MaRDI QIDQ3564326zbMATH OpenOpenAlexFDO

Authors

Publication date 2 June 2010

Published in Springer Tracts in Advanced Robotics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68405-3_25

zbMATH Keywords

continuous dynamic systemscontrollersdiscretization of the state and input spacessampling-based verification algorithm

Mathematics Subject Classification ID

Linearizations (93B18) Sampled-data control/observation systems (93C57)

Recommendations

• Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
• Systematic Simulation Using Sensitivity Analysis
• A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
• Controller falsification based on multiple models
• scientific article; zbMATH DE number 7361375

Cited in

(3)

• A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
• Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
• Sampling-based algorithm for testing and validating robot controllers

This page was built for publication: Sampling-based falsification and verification of controllers for continuous dynamic systems

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