尤金·亚萨林;Thao Dang先生 投影抽象及其在多仿射系统中的应用。 （英语） Zbl 1135.93339号 Alur，Rajeev（编辑）等人，《混合系统：计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21259-0/pbk）。计算机科学课堂讲稿2993，32-47（2004）。 摘要：在本文中，我们提出了一种非线性连续系统的抽象方法。我们的方法的主要思想是投射出一些连续变量，例如（z），并将它们作为不确定输入在剩余变量（x）的动力学中处理。因此，（x）的动力学由微分包含体描述。此外，为了避免过于保守的抽象，将投影变量的域划分为与不同的微分包含相对应的较小区域。我们抽象过程的最终结果是一个低维混合系统，它具有一些重要的特性，可以保证收敛结果。这种抽象方法的适用性取决于处理微分包含的能力。然后，我们关注不确定双线性系统，这是一类简单而有用的非线性微分包含，并开发了一种使用最优控制的可达性技术。将双线性系统的抽象方法和可达性分析技术相结合，可以处理多仿射系统，并以生物系统为例进行了说明。关于整个系列，请参见[Zbl 1046.93002号]. 引用于5文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93立方厘米 控制理论中的非线性系统 93B17号机组 转型 关键词：非线性连续系统的抽象方法;可达性分析;多仿射系统 软件：日/日 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}和\textit{T.Dang}，Lect。注释计算。科学。2993、32-47（2004年；Zbl 1135.93339） 全文： 内政部