伊恩·米切尔;克莱尔·汤姆林。 混合系统中计算的水平集方法。 （英语） Zbl 0952.93006号 Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1790, 310-323 (2000). 可达性算子被认为是一个函数或算法，可以确定轨迹集的演化，是连续、离散和混合系统控制器综合和验证的关键工具。本文的目的是为非线性混合系统提供一种新的可达性分析和精确可达算子的实现。回顾了一种基于Hamilton-Jacobi方程的综合此类系统控制律的算法，然后发展了一种具有优越数值特性的新Hamilton-Jacobi公式，并证明了其等价性。采用改进的水平集方法实现了新算法，并通过连续和多模飞机冲突解决机动的三个算例的数值解验证了其有效性。关于整个系列，请参见[Zbl 0934.00029号].审核人：内库莱·柯特阿努（伊阿什伊） 引用于27文件 MSC公司： 93个B03 可达集，可达性 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93个B05 可控性 93C83号 涉及计算机的控制/观察系统（过程控制等） 93C85号 控制理论中的自动化系统（机器人等） 关键词：非线性系统;可达性算子;混合系统;哈密尔顿-雅可比方程;水平集方法;飞机冲突解决 PDF格式BibTeX公司 XML格式引用 \textit{I.Mitchell}和\textit{C.J.Tomlin}，莱克特。票据计算。科学。1790、310-323（2000年；Zbl 0952.93006）