On controller synthesis for nonlinear hybrid systems
On controller synthesis for nonlinear hybrid systems
复制标题
非线性混合系统控制器综合
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
S. Sastry
中科院分区：
文献类型：
--
作者：
J. Lygeros;C. Tomlin;S. Sastry
我们提出了一种方法来合成控制器的混合动力系统，以满足安全规格。出于应用程序的冲突解决飞机，我们提出了一个概念性的算法，扩展有限自动机和连续系统的控制器合成的博弈论方法的混合设置。最后，我们简要讨论了需要解决的计算问题，以有效地实现该算法。
We present a methodology for synthesizing controllers for hybrid systems to satisfy safety specifications. Motivated by an application to conflict resolution for aircraft, we present a conceptual algorithm that extends game theoretic methodologies developed for controller synthesis for finite automata and continuous systems to the hybrid setting. We conclude with a brief discussion of computational issues that need to be resolved to effectively implement this algorithm.