平坦混合自动机作为一类可达系统：初步理论与示例
Flat Hybrid Automata as a Class of Reachable Systems: Introductory Theory and Examples
AI总结：
本文提出平坦混合自动机作为可达且显式可逆的混合系统类，用于显式输入轨迹计算，并给出构造方法与示例，推广了可逆混合系统的控制。
摘要：
由于混合系统可能表现出的动力学多样性，控制混合系统大多非常具有挑战性。受非线性连续系统微分平坦性概念及其固有可逆性性质的启发，本研究的贡献集中于显式输入轨迹计算。为此，引入了一类新的混合系统，称为平坦混合自动机，作为确定性、可达且显式可逆的混合自动机的一种实现。推导了相关系统性质，提出了一种构造和轨迹计算的方法，并给出了两个示例性演示。这些结果构成了对可逆混合系统控制的推广，在例如需要快速反应以实现稳定或转换时非常有用。
英文摘要：
Controlling hybrid systems is mostly very challenging due to the variety of dynamics these systems can exhibit. Inspired by the concept of differential flatness of nonlinear continuous systems and their inherent invertibility property, the present contribution is focused on explicit input trajectory calculation. To this end, a new class of hybrid systems called Flat Hybrid Automata is introduced as a realisation of deterministic, reachable and explicitly invertible hybrid automata. Relevant system properties are derived, an approach for construction and for trajectory calculation is proposed and two demonstrative examples are presented. The results constitute a generalisation of control of invertible hybrid systems which is very useful if, e.g., fast reaction for stabilisation or transitions is relevant.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
