Hybrid system theory, applications, and experiments

这一建议涉及两个研究领域：混合系统理论和多车辆系统。混杂系统是同时表现出连续时间行为和离散事件行为的系统。在过去的15年里，这一研究领域已经成为计算机科学和控制理论的结合，并受到大量工程应用的推动，这些应用表现出混合的连续和离散行为，包括：在物理层具有动态代理的通信网络，控制制造或化学过程的离散事件监控器，具有内部切换的连续系统，如汽车发动机，具有过渡标记事件的实时系统，如纸质复印机；一种连续的过程，如具有安全约束的温度调节器，当违反安全约束时，会触发模式切换等。尽管该模型有明显的应用，但需要一种更通用和更成熟的分析和控制综合理论。我研究的主要目标是开发数学和计算工具，用于综合满足所谓的可达性规范的控制器。可达性规范不同于稳定、快速响应和跟踪的传统控制规范，因为它们允许以不定时的方式指定系统应该表现出的行为序列。上述拟议研究的一个直接应用领域是多车辆系统，这是研究的第二个组成部分。在这里，我们感兴趣的是研究分布式控制器如何为一组车辆实现所需的全局行为。理论研究得到了软件开发、实验和教学演示的补充，使用了十辆汽车的实验试验台，以及单摆和耦合坦克实验。

This proposal concerns two areas of research: hybrid system theory and multivehicle systems. Hybrid systems are systems which exhibit both continuous time and discrete event behavior. This research area has emerged as a synergy between Computer Science and Control Theory in the last 15 years, and is motivated by a wide number of engineering applications that exhibit mixed continuous and discrete behavior, including: communication networks with dynamic agents at the physical layer, a discrete event supervisor regulating a manufacturing or chemical process; a continuous system with internal switching such as an automotive engine; a real-time system such as a paper copier with transitions marking events; a continuous process such as a temperature regulator with safety constraints that, when violated, trigger a mode switch, and so forth.  While there are manifest applications of the model, what is needed is a more versatile and mature theory for analysis and control synthesis.  The main objective of my research is to develop mathematical and computational tools for synthesis of controllers that satisfy so-called reachability specifications. Reachability specifications differ from the traditional control specifications of stabilization, fast response, and tracking in that they allow one to specify - in an untimed way - a sequence of behaviors that the system should exhibit. One immediate application area of the above proposed research is multivehicle systems,  which is the second component of the research. Here we are interested in investigating how distributed controllers achieve desired global behaviors for a collection of vehicles. The theoretical research is complemented by software development, experiments, and pedagogical demonstrations using an experimental testbed of ten vehicles, as well as pendulum and coupled tank experiments.