A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
DOI10.1145/2728606.2728631zbMATH Open1364.93427OpenAlexW2065005038MaRDI QIDQ2988928FDOQ2988928
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
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
discrete-time systemssafety verificationfinite-step invariant setsfinite-step Lyapunov functionssampling-based analysis
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)
Cites Work
Cited In (5)
- A Lyapunov approach for attraction domain estimation of polynomial discrete nonlinear systems with quadratic and cubic terms
- Sampling-based falsification and verification of controllers for continuous dynamic systems
- Generalization of a stability domain estimation method for nonlinear discrete 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)
