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

DOI10.1145/2728606.2728631zbMath1364.93427OpenAlexW2065005038MaRDI QIDQ2988928

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

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

Related Items (4)

A Lyapunov approach for attraction domain estimation of polynomial discrete nonlinear systems with quadratic and cubic terms ⋮ Learning lyapunov functions for hybrid systems ⋮ Data driven stability analysis of black-box switched linear systems ⋮ Generalization of a stability domain estimation method for nonlinear discrete systems

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

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