×
阿明，索拉巴;泽维尔·利特里科;S.Shankar，萨斯特里;亚历山大·巴恩（Alexandre M.Bayen）。

对供水SCADA系统的隐蔽欺骗攻击。 （英文） Zbl 1360.93315号

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

引用于11文件

MSC公司：

93C20美元 偏微分方程控制/观测系统
76立方英尺15英寸 水波、重力波；色散和散射，非线性相互作用
93甲13 层次系统
93C85号 控制理论中的自动化系统（机器人等）
93D21号 自适应或鲁棒稳定

关键词：

安全控制系统;切换PDE;水资源管理
PDF格式BibTeX公司 XML格式引用
\textit{S.Amin}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。161-170（2010年；Zbl 1360.93315）
全文： 内政部

参考文献：

[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年·Zbl 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年·兹伯利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. ·Zbl 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。