×
桑卡拉纳拉亚南，斯里拉姆

使用理想不动点的混合系统的自动不变量生成。 （英语） Zbl 1360.34082号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).

引用于21文件

MSC公司：

34立方厘米 对称性，常微分方程的不变量
13N10型 微分算子的交换环及其模
34A38型 常微分方程混合系统
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

代数几何；守恒定律；混合系统；不变性；验证
PDF格式BibTeX公司 XML格式引用
\textit{S.Sankaranarayanan}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082）
全文： DOI程序

参考文献：

[1] M.Agrawal和P.S.Thiagarajan。懒惰的矩形混合自动机。在第七届HSCC中，LNCS 2993，第115页。斯普林格，2004年·Zbl 1133.68359号
[2] M.Agrawal和P.S.Thiagarajan。惰性线性混合自动机的离散时间行为。在第八届HSCC中，LNCS 3414，第55 69页。斯普林格，2005年·兹比尔1078.68069
[3] R.Alur、T.A.Henzinger、G.La.erierre和G.J.Pappas。混合系统的离散抽象。程序。IEEE标准，88:971 9842000。
[4] E.Asarin、O.Bournez、T.Dang和O.Maler。分段线性动力系统的可达性分析。在HSCC 2000中，LNCS 1790，第20-31页。斯普林格，2000年·Zbl 0938.93502号
[5] P.Caspi、A.Curic、A.Maignan、C.Sofronis、S.Tripakis和P.Niebert。从Simulink到SCADE/Lustre再到TTA：一种用于分布式嵌入式应用程序的分层方法。程序中。LCTES 2003年03月发布。
[6] O.Clarke、E.M.Grumberg和D.A.Peled。模型检查。麻省理工学院出版社，1999年。
[7] F.Commoner、A.W.Holt、S.Even和A.Pnueli。标记的有向图。《计算机与系统科学杂志》，5:511 5231971年·Zbl 0238.05109号
[8] V.Diekert和G.Rozenberg，编辑。《痕迹之书》。《世界科学》，1995年。
[9] M.C.F.Donkers、L.Hetel、W.P.M.H.Heemels、N.van de Wouw和M.Steinbuch。使用切换线性系统方法对网络控制系统进行稳定性分析。在HSCC 2009中，LNCS 5469，第150 164页，2009年·Zbl 1237.93136号
[10] J.Esparza和K.Heljanko。展开模型检查的部分顺序方法。施普林格，2008年。EATCS理论计算机科学专著·Zbl 1153.68035号
[11] P.戈德弗里德。并发系统验证的部分序方法——状态爆炸问题的一种方法。施普林格，1996年。LNCS 1032·Zbl 1293.68005号
[12] T.A.亨辛格。具有.nite互模拟的混合自动机。第22届ICALP，LNCS 944，第324 335页。斯普林格，1995年。
[13] T.A.亨廷格。混合自动机理论。在第11版LICS中，第278 292页。IEEE出版社，1996年·Zbl 0959.68073号
[14] T.A.Henzinger和P.W.Kopke。矩形混合自动机的离散时间控制。理论比较。科学。，221:369 392, 1999. ·Zbl 0930.68086号
[15] T.A.Henzinger、P.W.Kopke、A.Puri和P.Varaiya。混合自动机的决定因素是什么？公司J。和系统。科学。，57:94 124, 1998. ·兹布尔0920.68091
[16] J.Hespanha、P.Naghshtabrizi和Y.Xu。网络控制系统的最新成果综述。程序。IEEE，95（1）：138 162，2007年。
[17] S.Tripakis公司。具有有界或无界延迟通信的离散事件系统的分散控制。IEEE传输。关于自动控制，49（9）：1489 15012004·Zbl 1365.93022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。