Ellipsoidal approximations of reachable sets for linear games

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2000, Pages 999-1004

  Shishido, N ^a   Tomlin, C J ^a  

^a Stanford University   (United States)

Author keywords

Differential games; Ellipsoids; Hybrid systems; Reachability; Verification

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CONTROL SYSTEMS; INTEGRAL EQUATIONS; OPTIMIZATION; PARTIAL DIFFERENTIAL EQUATIONS; SET THEORY; STATE SPACE METHODS;

ELLIPSOIDS; HYBRID SYSTEMS; INPUT SET; LINEAR DIFFERENTIAL GAMES; REACHABLE SETS;

GAME THEORY;

EID: 0034439331     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Verified hybrid controllers for automated vehicles
2. Conflict resolution for air traffic management: A case study in multi-agent hybrid systems
3. Controllers for reachability specifications for hybrid systems
4. Switched nonlinear control of a VSTOL aircraft
5. Level set methods for computation in hybrid systems
6. Ellipsoidal techniques for reachability analysis
7. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations
8. Determinant maximization with linear matrix inequality constraints
9. Introduction to convex optimization with engineering applications