On infinity norms as Lyapunov functions for piecewise affine systems
From MaRDI portal
Publication:2985874
DOI10.1145/1755952.1755972zbMath1360.93554OpenAlexW2143915299MaRDI QIDQ2985874
Publication date: 10 May 2017
Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/21013397-dd71-47d8-9a1f-b1020cfd4d06
Stabilization of systems by feedback (93D15) Asymptotic stability in control theory (93D20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (35)
JSR ⋮ Computation of Lyapunov functions for nonlinear discrete time systems by linear programming ⋮ Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances ⋮ Model reduction of switched affine systems ⋮ Computation of piecewise affine terminal cost functions for model predictive control ⋮ Stabilizing discrete-time switched linear systems ⋮ An LQ sub-optimal stabilizing feedback law for switched linear systems ⋮ State-feedback stabilization of discrete-time piecewise affine systems ⋮ Bisimilar symbolic models for stochastic control systems without state-space discretization ⋮ Stochastic reachability based motion planning for multiple moving obstacle avoidance ⋮ Timely monitoring of partially observable stochastic systems ⋮ A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities ⋮ Quasi-dependent variables in hybrid automata ⋮ Stability analysis of large-scale networked control systems with local networks ⋮ Control to facet for polynomial systems ⋮ Simulation-guided lyapunov analysis for hybrid dynamical systems ⋮ Component based design of hybrid systems ⋮ Inner approximated reachability analysis ⋮ Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems ⋮ Proofs from simulations and modular annotations ⋮ On approximation metrics for linear temporal model-checking of stochastic systems ⋮ Resilience to intermittent assumption violations in reactive synthesis ⋮ Model measuring for hybrid systems ⋮ Abstracting and refining robustness for cyber-physical systems ⋮ Parameter synthesis for polynomial biological models ⋮ Compositionality results for cardiac cell dynamics ⋮ Powertrain control verification benchmark ⋮ Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control ⋮ Temporal logic inference for classification and prediction from data ⋮ Energy and mean-payoff timed games ⋮ Abstraction, discretization, and robustness in temporal logic control of dynamical systems ⋮ Edit distance for timed automata ⋮ An alternative converse Lyapunov theorem for discrete-time systems ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ Review on computational methods for Lyapunov functions
Cites Work
- Unnamed Item
- Unnamed Item
- What's decidable about hybrid automata?
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Discrete-time control for rectangular hybrid automata
- Unfoldings: A partial-order approach to model checking.
- Marked directed graphs
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: On infinity norms as Lyapunov functions for piecewise affine systems
