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

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