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

49J52: Nonsmooth analysis

49N70: Differential games and control

91A23: Differential games (aspects of game theory)

93C23: Control/observation systems governed by functional-differential equations

93B03: Attainable sets, reachability

Related Items

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