×
Tichakorn的Wongpiromsarn;Mitra，萨扬;理查德·默里（Richard M.Murray）。;安德鲁·兰帕斯基

周期控制混合系统。验证自动车辆的控制器。 （英语） Zbl 1237.93120号

Majumdar，Rupak（编辑）等人，《混合系统：计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469，396-410（2009）。
摘要：本文引入周期控制混合自动机（PCHA）来描述一类混合控制系统。在PCHA中，控制操作大致定期发生，而内部和输入操作可能会在更改离散状态或设定点期间发生。基于周期性和次切性条件，给出了PCHA不变性的一个新的充分条件。该技术用于验证自主地面车辆的规划器控制子系统的安全性，并用于推导规划器生成路径的几何特性，在环境不确定性下，控制器可以安全地遵循这些路径。
关于整个系列，请参见[Zbl 1161.93001号].

引用于2文件

MSC公司：

93C85号 控制理论中的自动化系统（机器人等）
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

软件：

PVS公司;Sostools公司;QEPCAD公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Wongpiromsarn}等人，Lect。注释计算。科学。5469、396--410（2009年；Zbl 1237.93120）
全文： 内政部

参考文献：

[1] Alur，R.，Courcoubetis，C.，Halbwachs，N.，Henzinger，T.A.，Ho，P.-H.，Nicollin，X.，Olivero，A.，Sifakis，J.，Yovine，S.：混合系统的算法分析。理论计算机科学138（1），3–34（1995）·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[2] Bhatia，N.P.，Szegö，G.P.：动力系统：稳定性理论与应用。数学课堂讲稿，第35卷。斯普林格，海德堡（1967）·兹伯利0155.42201 ·doi:10.1007/BFb0080630
[3] Brown，C.W.：QEPCAD B：使用CAD计算半代数集的程序。SIGSAM牛市。 37(4), 97–108 (2003) ·兹比尔1083.68148 ·数字对象标识代码：10.1145/968708.968710
[4] Burdick，J.W.，DuToit，N.，Howard，A.，Looman，C.，Ma，J.，Murray，R.M.，Wongpiromsarn，T.：DARPA城市挑战的传感、导航和推理技术。技术报告，DARPA城市挑战最终报告（2007年）
[5] DuToit，N.E.，Wongpiromsarn，T.，Burdick，J.W.，Murray，R.M.：城市环境中道路驾驶的情境推理。In:智能车辆控制系统（IVCS）国际研讨会（2008）
[6] Henzinger，T.A.，Kopke，P.W.，Puri，A.，Varaiya，P.：混合自动机的决定因素是什么？收录于：STOC，第373–382页（1995年）·Zbl 0978.68534号 ·doi:10.1145/225058.22562
[7] Kaynar，D.K.，Lynch，N.，Segala，R.，Vaandrager，F.：定时I/O自动机理论。计算机科学综合讲座。Morgan Claypool（2005）·Zbl 1226.68004号
[8] Lafferierre，G.，Pappas，G.J.，Yovine，S.：一类新的可判定混合系统。收录人：Vaandrager，F.W.，van Schuppen，J.H.（编辑）HSCC 1999。LNCS，第1569卷，第137-151页。斯普林格，海德堡（1999）·Zbl 0926.93036号 ·doi:10.1007/3-540-48983-5_15
[9] Lynch，N.、Segala，R.、Vaandrager，F.：混合I/O自动机。信息与计算185（1），105–157（2003）·Zbl 1069.68067号 ·doi:10.1016/S0890-5401（03）00067-1
[10] Mitra，S.：混合系统的验证框架。麻省理工学院博士论文，马萨诸塞州剑桥02139（2007年9月）
[11] Mitra，S.，Wang，Y.，Lynch，N.A.，Feron，E.：使用混合输入/输出自动机对模型直升机控制器进行安全验证。收录人：Maler，O.，Pnueli，A.（编辑）HSCC 2003。LNCS，第2623卷，第343–358页。斯普林格，海德堡（2003）·Zbl 1032.93535号 ·doi:10.1007/3-540-36580-X_26
[12] Owre，S.、Rajan，S.，Rushby，J.M.、Shankar，N.、Srivas，M.K.：PVS：结合规范、验证检查和模型检查。In:Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，第1102卷，第411-414页。斯普林格，海德堡（1996）·doi:10.1007/3-540-61474-591
[13] Prabhakar，P.，Vladimerou，V.，Viswanathan，M.，Dullerud，G.E.：一类可判定的平面线性混杂系统。收录：Egerstedt，M.，Mishra，B.（编辑）HSCC 2008。LNCS，第4981卷，第401-414页。斯普林格，海德堡（2008）·兹比尔1143.68442 ·doi:10.1007/978-3-540-78929-1_29
[14] Prajna，S.，Papachristodoulou，A.，Parrilo，P.A.：介绍SOSTOOLS：通用平方和编程求解器。载于：美国疾病控制与预防中心2002年，第741–746页（2002年）·doi:10.1109/CDC.2002.1184594
[15] Vladimerou，V.、Prabhakar，P.、Viswanathan，M.、Dullerud，G.E.：风暴混合系统。在：Aceto，L.，Damgård，I.，Goldberg，L.A.，Halldórsson，M.M.，Ingólfsdóttir，A.，Walukiewicz，I.（编辑）ICALP 2008，第二部分。LNCS，第5126卷，第136–147页。斯普林格，海德堡（2008）·Zbl 1155.68421号 ·doi:10.1007/978-3-540-70583-3_12
[16] Vladimerou，V.、Prabhakar，P.、Viswanathan，M.、Dullerud，G.E.：定期控制的混合动力系统：验证自动车辆的控制器。技术报告CaltechCDSTR:2008.003，加州理工学院。，http://resolver.caltech.edu/CaltechCDSTR:2008.003
[17] Wongpiromsarn，T.，Murray，R.M.：DARPA城市挑战的分布式任务和应急管理。In:智能车辆控制系统（IVCS）国际研讨会（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。