On the Reachability Problem for Uncertain Hybrid Systems

DOI10.1109/TAC.2007.904449zbMath1366.91021MaRDI QIDQ5282223

John Lygeros, Marc Quincampoix, Yan Gao

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

Nonsmooth analysis (49J52) Differential games and control (49N70) Differential games (aspects of game theory) (91A23) Control/observation systems governed by functional-differential equations (93C23) Attainable sets, reachability (93B03)

Related Items (24)

Differential Game Logic ⋮ Viability criteria for differential inclusions ⋮ A pursuit-evasion game with hybrid pursuer dynamics ⋮ COMPLETE SOLUTION OF A PURSUIT–EVASION DIFFERENTIAL GAME WITH HYBRID EVADER DYNAMICS ⋮ Robust pursuit of a hybrid evader ⋮ Multi-objective optimization of a nonlinear batch time-delay system with minimum system sensitivity ⋮ Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable ⋮ Immersion and invariance stabilization for a class of nonlinear switched systems with average dwell time ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ Optimization for nonlinear uncertain switched stochastic systems with initial state difference in batch culture process ⋮ Parameter identification and application of a distributed parameter coupled system with a movable inner boundary ⋮ The calculation of discriminating kernel based on viability kernel and reachability ⋮ Robust optimal control problem with multiple characteristic time points in the objective for a batch nonlinear time-varying process using parallel global optimization ⋮ Parameter identification for a nonlinear enzyme-catalytic dynamic system with time-delays ⋮ Viable set computation for hybrid systems ⋮ Viable immersion and invariance control for a class of nonlinear systems and its application to aero-engines ⋮ Determining the Viable Unbounded Polyhedron Under Linear Control Systems ⋮ Maximizing the probability of attaining a target prior to extinction ⋮ Modelling and parameter identification for a hybrid dynamical system in microbial fed-batch culture ⋮ Increasing pursuer capturability by using hybrid dynamics ⋮ Viability discrimination of a class of control systems on a nonsmooth region ⋮ Model-invariant viability kernel approximation ⋮ Determining the viability for hybrid control systems on a region with piecewise smooth boundary ⋮ STRONG STABILITY OF A NONLINEAR MULTI-STAGE DYNAMIC SYSTEM IN BATCH CULTURE OF GLYCEROL BIOCONVERSION TO 1,3-PROPANEDIOL

This page was built for publication: On the Reachability Problem for Uncertain Hybrid Systems