Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93024OpenAlexW2478741156MaRDI QIDQ5898983

Antoine Girard, Oded Maler, Colas Le Guernic

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, Verification of Hybrid Systems, OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations, Comparison of guaranteed state estimators for linear time-invariant systems, Control barrier functions for stochastic systems, Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration, A linear programming approach to approximating the infinite time reachable set of strictly stable linear control systems, Invariant sets of hybrid autonomous systems with disturbance, Resilience of linear systems to partial loss of control authority, Towards optimal space-time discretization for reachable sets of nonlinear control systems, On the decidability of reachability in continuous time linear time-invariant systems, Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions, Reachability of weakly nonlinear systems using Carleman linearization, Control design with guaranteed transient performance: an approach with polyhedral target tubes, Finite-time stability and stabilisation with polyhedral domains for linear systems, Adaptive event based fault detection, Interval estimation for discrete-time linear systems: a two-step method, On the boundedness of outer polyhedral estimates for reachable sets of linear systems, External polyhedral estimates of reachable sets of discrete-time systems with integral bounds on additive terms, Reachability computation for polynomial dynamical systems, Computing reachable states for nonlinear biological models, Approximation of convex bodies by multiple objective optimization and an application in reachable sets, Reachability analysis of linear systems using support functions, A survey of interval observers design methods and implementation for uncertain systems, Convergent under-approximations of reachable sets and tubes: a piecewise constant approach, Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration, Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, Construction of the minimum time function for linear systems via higher-order set-valued methods, Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version), Set operations and order reductions for constrained zonotopes, Lagrangian methods for approximating the viability kernel in high-dimensional systems

Uses Software

• HyTech