Synthesis of controllers for target problems of hybrid systems using approximate computation
From MaRDI portal
Publication:5758287
DOI10.1080/00207170500361235zbMath1122.93030OpenAlexW1975718035MaRDI QIDQ5758287
Yan Pang, Michael P. Spathopoulos
Publication date: 3 September 2007
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207170500361235
Nonlinear systems in control theory (93C10) Design techniques (robust design, computer-aided design, etc.) (93B51) Synthesis problems (93B50) Attainable sets, reachability (93B03)
Related Items
Cites Work
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- 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