Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898983
DOI10.1007/11730637zbMath1178.93024MaRDI 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
93C05: Linear systems in control theory
93B03: Attainable sets, reachability
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Finite-time stability and stabilisation with polyhedral domains for linear systems, Approximation of convex bodies by multiple objective optimization and an application in reachable sets, Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, A linear programming approach to approximating the infinite time reachable set of strictly stable linear control systems, 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 computation for polynomial dynamical systems, Computing reachable states for nonlinear biological models, Invariant sets of hybrid autonomous systems with disturbance, Reachability analysis of linear systems using support functions, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, Interval estimation for discrete-time linear systems: a two-step method, 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, Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version), Set operations and order reductions for constrained zonotopes, OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations, Control design with guaranteed transient performance: an approach with polyhedral target tubes, Adaptive event based fault detection, External polyhedral estimates of reachable sets of discrete-time systems with integral bounds on additive terms, Construction of the minimum time function for linear systems via higher-order set-valued methods, Lagrangian methods for approximating the viability kernel in high-dimensional systems, Comparison of guaranteed state estimators for linear time-invariant systems, Control barrier functions for stochastic systems, Reachability of weakly nonlinear systems using Carleman linearization, Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration, Verification of Hybrid Systems, On the boundedness of outer polyhedral estimates for reachable sets of linear systems
Uses Software