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

Related Items (31)

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

This page was built for publication: Hybrid Systems: Computation and Control