Hybrid control: from air traffic to fly wings

In this paper the methods that have been designed to analyze, verify, and control hybrid systems are presented. The methods use tools from game theory, wavefront propagation, and symbolic predicate abstraction, and rely on an iterative refinement procedure which computes, either exactly or approximately, regions of the system´s operating space in which desired behavior is guaranteed. In engineered systems, controllers are designed to keep the system in these regions. In biological systems, knowledge of the actual operating space is used, in conjunction with these methods, to help hypothesize possible models and reverse engineer the system. This paper focused on two large scale examples: the design and implementation of real time collision avoidance schemes for manned and unmanned air vehicles, and the development of models of cellular regulatory networks in developmental biology.