Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
From MaRDI portal
Publication:3447004
DOI10.1080/00207170601143482zbMath1162.93338OpenAlexW2001129306MaRDI QIDQ3447004
Hao Xia, Michael P. Spathopoulos, Yan Pang
Publication date: 27 June 2007
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207170601143482
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Partial cylindrical algebraic decomposition for quantifier elimination
- HyTech: A model checker for hybrid systems
- Variable Elimination in Linear Constraints
- Maximum Principle for a Hybrid System Via Singular Perturbations
- Control design for integrator hybrid systems
- A unified framework for hybrid control: model and optimal control theory
- Hybrid control synthesis for eventuality specifications using level set methods
- Supervisory target control for hybrid systems
- Time-optimal control for discrete-time hybrid automata
- Symbolic reachability computation for families of linear vector fields
This page was built for publication: Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
