Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems

DOI10.1109/TAC.2009.2029297zbMath1367.93471MaRDI QIDQ4974774

W. P. M. H. Heemels, Mircea Lazar, Andrew R. Teel

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Input-output approaches in control theory (93D25) Robust stability (93D09)

Related Items

JSR, Input-to-state stability of homogeneous infinite dimensional systems with locally Lipschitz nonlinearities, Global stability analysis of discrete-time coupled systems on networks and its applications, Equivalent types of ISS Lyapunov functions for discontinuous discrete-time systems, Stability analysis for discrete-time coupled systems with multi-diffusion by graph-theoretic approach and its application, Infinite-dimensional representation of \(n\)D nonlinear state space systems, Stability analysis and design of reset control systems with discrete-time triggering conditions, Conditions under which suboptimal nonlinear MPC is inherently robust, 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, A type-based analysis of causality loops in hybrid systems modelers, A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains, On the ℓ2-stability of time-varying linear and nonlinear discrete-time MIMO systems, Model predictive control: recent developments and future promise