A delta-sampling verification theorem for discrete-time, possibly discontinuous systems

DOI10.1145/2728606.2728631MaRDI QIDQ2988928zbMATH OpenOpenAlexFDO

Authors Ruxandra Bobiti, Mircea Lazar

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.2728631

zbMATH Keywords

discrete-time systemssafety verificationfinite-step invariant setsfinite-step Lyapunov functionssampling-based analysis

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Sampled-data control/observation systems (93C57) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Lyapunov and storage functions (93D30)

Recommendations

• Sampling-based falsification and verification of controllers for continuous dynamic systems
• Safety verification of hybrid systems using certified multiple Lyapunov-like functions
• Safety verification of non-linear hybrid systems is quasi-semidecidable
• Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
• Safety verification of non-linear hybrid systems is quasi-decidable

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

(5)

• A Lyapunov approach for attraction domain estimation of polynomial discrete nonlinear systems with quadratic and cubic terms
• Generalization of a stability domain estimation method for nonlinear discrete systems
• Sampling-based falsification and verification of controllers for continuous dynamic systems
• Learning lyapunov functions for hybrid systems
• Data driven stability analysis of black-box switched linear systems

This page was built for publication: A delta-sampling verification theorem for discrete-time, possibly discontinuous systems

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