Proofs from simulations and modular annotations

DOI10.1145/2562059.2562126MaRDI QIDQ2986965zbMATH OpenOpenAlexFDO

Authors Zhenqi Huang, Sayan Mitra

Publication date 16 May 2017

Published in Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

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

zbMATH Keywords

compositional verificationdynamical systemsinput-to-state stabilitysimulation-based verification

Mathematics Subject Classification ID

System identification (93B30) Nonlinear systems in control theory (93C10) Input-output approaches in control theory (93D25)

Recommendations

• Bounded verification with on-the-fly discrepancy computation
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Validated simulation-based verification of delayed differential dynamics
• Hybrid Systems: Computation and Control
• Parsimonious, Simulation Based Verification of Linear Systems

Cites work

• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Constrained model predictive control: Stability and optimality
• Convex Analysis
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Minkowski terminal cost functions for MPC
• On infinity norms as Lyapunov functions for piecewise affine systems
• Set-theoretic methods in control
• Stability analysis of piecewise discrete-time linear systems

Cited in

(11)

• Monotone simulations of non-monotone proofs.
• Approximate partial order reduction
• Data driven stability analysis of black-box switched linear systems
• Decoupling abstractions of non-linear ordinary differential equations
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• A modular approach to defining and characterising notions of simulation
• scientific article; zbMATH DE number 6720710 (Why is no real title available?)
• Bounded verification with on-the-fly discrepancy computation
• Bounded and Unbounded Safety Verification Using Bisimulation Metrics
• Numerically-robust inductive proof rules for continuous dynamical systems

Describes a project that uses

Uses Software

• YALMIP
• CPLEX
• MPT

This page was built for publication: Proofs from simulations and modular annotations

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