×
马西莫·贝内雷切蒂;马可·费拉

跟踪线性混合系统中的平滑轨迹。 （英语） Zbl 1381.93019号

Inf.计算。 257, 114-138 (2017).
摘要：我们分析了常微分包含下光滑轨迹的性质，常微分包含约束一阶导数属于给定的凸多面体。我们提出了第一个精确的符号算法，该算法计算出一个轨迹到达给定多面体的点集，同时避免另一个（可能是非凸的）多面体。我们证明，如果平滑约束被较弱的可微性约束替换，则该点集保持不变，但如果它被几乎处处可微性替换，则不保持不变。我们讨论了与（线性）混合自动机的联系，特别是与线性混合自动机可达性分析的经典算法的关系。

MSC公司：

93个B03 可达集，可达性
93二氧化碳 控制理论中的线性系统
68瓦30 符号计算和代数计算
65年第68季度 形式语言和自动机

关键词：

混成自动机;可达性;控制器综合

软件：

SpaceEx公司;应用程序
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}和\textit{M.Faella}，Inf.Compute。257114--138（2017；Zbl 1381.93019）
全文： DOI程序

参考文献：

[1] 阿鲁尔（Alur，R.）。；Henzinger，T。；Ho，P.-H.，嵌入式系统的自动符号验证，IEEE Trans。柔和。工程，22，181-201（1996）
[2] Henzinger，T。；Ho，P.-H。；Wong-Toi，H.，非线性混合系统的算法分析，IEEE Trans。自动。控制，43，540-554（1998）·Zbl 0918.93019号
[3] 托姆林，C。；Lygeros，J。；Shankar Sastry，S.，混合系统控制器设计的博弈论方法，Proc。IEEE，88，7，949-970（2000）
[4] A.巴卢奇。；Benvenuti，L。；T.维拉。；Wong-Toi，H。；Sangiovanni-Vincentelli，A.，事件分离下限混合系统的控制器综合，国际控制杂志，76，12，1171-1200（2003）·Zbl 1048.93051号
[5] Benerecetti，M。；费拉，M。；Minopoli，S.，线性混合系统的可达性游戏，（HSCC 12:混合系统计算与控制，第15届国际会议（2012），ACM），65-74·兹比尔1361.68116
[6] Benerecetti，M。；Faella，M.，线性混合系统开关控制器的自动综合：可达性控制，ACM Trans。嵌入。计算。系统。，16, 4, 104:1-104:27 (2017)
[7] Henzinger，T。；霍洛维茨，B。；Majumdar，R.，《矩形混合游戏》，（CONCUR 99:并发理论，第十届国际会议。CONCUR 99：并发理论，《第十届国内会议》，《计算机科学评论》，第1664卷（1999），Springer），第320-335页·Zbl 0937.91005号
[8] Benerecetti，M。；Faella，M.，《追踪多面体边界上的可微分轨迹》，（HSCC 13：混合系统计算与控制，第16届国际会议（2013），ACM），193-202·兹比尔1361.68115
[9] Benerecetti，M。；费拉，M。；Minopoli，S.，《线性混合系统开关控制器的自动综合：安全控制》，Theor。计算。科学。，493, 116-138 (2013) ·Zbl 1294.93041号
[10] Benerecetti，M。；费拉，M。；Minopoli，S.，《线性混合系统的高效精确综合》，（GandALF 11:第二届国际游戏、自动机、逻辑和形式验证研讨会，GandALF11:第二期国际游戏、自动、逻辑和格式验证研讨会，理论计算机科学电子论文集，第54卷（2011））·Zbl 1457.68139号
[11] Halbwachs，N。；普罗，Y.-E。；Roumanoff，P.，使用线性关系分析验证实时系统，形式方法系统。设计。，11, 157-185 (1997)
[12] Benerecetti，M。；费拉，M。；Minopoli，S.，《重新审视线性混合系统开关控制器的综合》，（第50届IEEE决策与控制会议（2011年），IEEE）
[13] 阿鲁尔（Alur，R.）。；亨辛格，T。；Ho，P.-H.，嵌入式系统的自动符号验证，（RTSS 93：实时系统研讨会（1993）），2-11
[14] 巴格纳拉，R。；希尔，P.M。；Zaffanella，E.，《不一定是闭凸多面体和双重描述方法》，Form.Asp。计算。，17, 222-257 (2005) ·Zbl 1101.68674号
[15] 巴格纳拉，R。；希尔，P.M。；Zaffanella，E.，《帕尔马多面体图书馆：为硬件和软件系统的分析和验证实现一整套数字抽象》，科学。计算。程序。，72, 1-2, 3-21 (2008)
[16] 弗雷斯，G。；Guernic，C.L。；A.Donzé。；棉花，S。；雷·R。；O.勒贝特尔。；Ripado，R。；Girard，A。；Dang，T。；Maler，O.，SpaceEx：混合系统的可扩展验证，（CAV 11:第23届计算机辅助验证大会程序（2011）），379-395
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。