On the Reachability Problem for Uncertain Hybrid Systems

DOI10.1109/TAC.2007.904449zbMATH Open1366.91021MaRDI QIDQ5282223FDOQ5282223

Authors: Yan Gao, John Lygeros, Marc Quincampoix

Publication date: 27 July 2017

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

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

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

Cited In (30)

Viability discrimination of a class of control systems on a nonsmooth region
Viable set computation for hybrid systems
A pursuit-evasion game with hybrid pursuer dynamics
Multi-objective optimization of a nonlinear batch time-delay system with minimum system sensitivity
Robust optimal control problem with multiple characteristic time points in the objective for a batch nonlinear time-varying process using parallel global optimization
Optimization for nonlinear uncertain switched stochastic systems with initial state difference in batch culture process
Viability criteria for differential inclusions
On the algorithmic unsolvability of some stability problems for hybrid systems
Modelling and parameter identification for a hybrid dynamical system in microbial fed-batch culture
Hybrid Systems: Computation and Control
Viable immersion and invariance control for a class of nonlinear systems and its application to aero-engines
Model-invariant viability kernel approximation
Maximizing the probability of attaining a target prior to extinction
Determining the viability of an unbounded polyhedron for a switched system
Discrete reachability of hybrid systems
A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
Strong stability of a nonlinear multi-stage dynamic system in batch culture of Glycerol bioconversion to 1,3-Propanediol
Increasing pursuer capturability by using hybrid dynamics
Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
Parameter identification and application of a distributed parameter coupled system with a movable inner boundary
Robust pursuit of a hybrid evader
Complete solution of a pursuit-evasion differential game with hybrid evader dynamics
Immersion and invariance stabilization for a class of nonlinear switched systems with average dwell time
Parameter identification for a nonlinear enzyme-catalytic dynamic system with time-delays
Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
Local lipschitzness of reachability maps for hybrid systems with applications to safety
Determining the viability for hybrid control systems on a region with piecewise smooth boundary
The calculation of discriminating kernel based on viability kernel and reachability
Determining the viable unbounded polyhedron under linear control systems
Differential game logic

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)