On the Reachability Problem for Uncertain Hybrid Systems

DOI10.1109/TAC.2007.904449MaRDI QIDQ5282223zbMATH OpenFDO

Authors Yan Gao, John Lygeros, Marc Quincampoix

Publication date 27 July 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2007.904449

Mathematics Subject Classification ID

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

Recommendations

• Hybrid Systems: Computation and Control
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• Hybrid Systems: Computation and Control
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
• State constrained reachability for stochastic hybrid systems
• Stochastic reachability analysis of hybrid systems.
• Reachability for partially observable discrete time stochastic hybrid systems

Cited in

(30)

• 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
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• On the algorithmic unsolvability of some stability problems for hybrid systems
• Discrete reachability of hybrid systems
• Parameter identification for a nonlinear enzyme-catalytic dynamic system with time-delays
• 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
• Local lipschitzness of reachability maps for hybrid systems with applications to safety
• Determining the viable unbounded polyhedron under linear control systems
• Differential game logic
• Complete solution of a pursuit-evasion differential game with hybrid evader dynamics
• Maximizing the probability of attaining a target prior to extinction
• Hybrid Systems: Computation and Control
• Robust pursuit of a hybrid evader
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Determining the viability of an unbounded polyhedron for a switched system
• Increasing pursuer capturability by using hybrid dynamics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282223)