ACM SIGNUM Newsletter
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Multiobjective Hybrid Controller Synthesis
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Interface Verification: Discrete Abstractions of Hybrid Systems
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
| Hi-index | 0.02 |
We address systems which have multiple objectives: broadly speaking, these objectives can be thought of as safety and performance goals. Guaranteeing safety is our first priority, satisfying performance criteria our second. In this paper, we compute the system's safe operating space and represent it in closed form, and then, within this space, we compute solutions which optimize a given performance criterion. We describe the methodology and illustrate it with two examples of systems in which safety is paramount: a two-aircraft collision avoidance scenario and the flight management system of a VSTOL aircraft. In these examples, performance criteria are met using mixed-integer nonlinear programming (MINLP) and nonlinear programming (NLP), respectively. Optimized trajectories for both systems demonstrate the effectiveness of this methodology on systems whose safety is critical.