尤金·亚萨林；奥德·马勒 尽快：时间自动机的时间最优控制。 （英语） Zbl 0952.93064号 Vaandrager，Frits W.（编辑）等，《混合系统：计算和控制》。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999). 本文讨论了时间自动机的以下时间最优控制问题：给定一个时间自动机和一个目标配置集（F），系统地限制其转换关系，以便对于每个状态，剩余的行为都能尽快达到（F）。时间自动机（TA）是一种系统模型，其中离散转换具有时间约束。作为TA行为的性能度量，指TA行为达到（F）之前所经过的时间。该问题是通过使用所谓的时间博弈自动机模型（TGA）来解决的，该模型是一个TA，其动作被划分为控制器动作和非受控环境动作。通过对由状态锁配置定义的TGA的状态空间进行反向定点计算，找到了解决方案。有关整个系列，请参见[Zbl 0911.00057号].审核人：S.G.Tzafestas（雅典） 引用于1审查引用于31文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 49号05 线性最优控制问题 关键词：定量性质；时间最优控制；时间自动机；时间博弈自动机；反向定点计算 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}和\textit{O.Maler}，莱克特。注释计算。科学。1569、19-30（1999年；Zbl 0952.93064）