Positive Invariance of Constrained Affine Dynamics and Its Applications to Hybrid Systems and Safety Verification

DOI10.1109/TAC.2011.2142570zbMath1369.93450OpenAlexW2107548420MaRDI QIDQ5352668

Jinglai Shen

Publication date: 8 September 2017

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

Full work available at URL: https://doi.org/10.1109/tac.2011.2142570

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Recent contributions to linear semi-infinite optimization ⋮ Invariance Conditions for Nonlinear Dynamical Systems ⋮ Set‐invariance‐based interpretations for the L₁ performance of nonlinear systems with non‐unique solutions ⋮ Recent contributions to linear semi-infinite optimization: an update ⋮ Periodic solutions versus practical switching control for sensorless piecewise affine systems (PWA)

This page was built for publication: Positive Invariance of Constrained Affine Dynamics and Its Applications to Hybrid Systems and Safety Verification