乔安·赫斯帕尼亚（编辑）;阿什什·蒂瓦里（编辑） 混合系统：计算和控制。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。 （英语） Zbl 1103.68006号 计算机科学课堂讲稿3927.柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。xii，第584页。(2006). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（请参阅Zbl 1069.68011号)。索引文章：马尼德拉·阿格拉瓦尔；Frank Stephan；Thiagarajan，P.S。；杨绍发，限制线性微分混合自动机的行为近似，4-18[Zbl 1178.68305号]拉杰夫·阿鲁尔；米哈伊尔·伯纳德斯基，随机实时系统GSMP模型的有界模型检验，19-33[Zbl 1178.68332号]艾姆斯（Aaron D.Ames）。；保罗·塔布阿达；Shankar Sastry公司，关于Zeno平衡的稳定性，34-48[Zbl 1178.37018号]阿明，索拉巴；亚历山德罗·阿巴特；玛丽亚·普兰迪尼；约翰·莱杰罗斯（John Lygeros）；Shankar Sastry公司，受控离散时间随机混合系统的可达性分析，49-63[Zbl 1178.93069号]顺义Azuma；马格纳斯·埃格斯特德；尤拉伊·沃迪，基于输出的切换系统最佳时序控制，64-78[Zbl 1178.93070号]安德烈·巴卢奇；安东尼奥·比奇（Antonio Bicchi）；伊曼纽尔·马齐（Emanuele Mazzi）；文森特利（Vincentelli）、阿尔贝托·桑吉奥瓦尼（Alberto L.Sangiovanni）；加布里埃尔·塞拉，共轨喷射系统的混合建模和控制，79-92[Zbl 1178.93101号]阿尔贝托·本普拉德；迪·凯拉诺（Di Cairano）、斯特凡诺（Stefano）；豪尔赫·Jülvez，基于事件的模型预测控制和积分连续时间混合自动机的验证，93-107[兹比尔1178.68306]安东尼奥·比奇；阿莱西亚·马里戈；皮科利、贝内代托，通过优化输入集选择提高有限计划的效率，108-122[Zbl 1178.93058号]彼得·凯恩斯（Peter E.Caines）。；谢赫·沙希德，《混合系统的最优区域算法：优化位置和控制计算的有效算法》，123-137[Zbl 1178.93071号]Thao Dang先生，多项式系统的近似可达性计算，138-152[Zbl 1178.93068号]马丁·德·沃尔夫（Martin De Wulf）；Laurent Doyen；Jean-François拉斯金，解决不完全信息博弈的格理论，153-168[Zbl 1178.93072号]D'Inocenzo，A。；医学博士Di Benedetto。；Di Gennaro，S。，通过抽象实现混合自动机的可观测性，169-183[Zbl 1178.68309号]Drulhe，S。；费拉里·特雷卡特，G。；德容，H。；A.维亚里。，遗传调控网络分段仿射模型中开关阈值的重建，184-199[Zbl 1178.92024号]迈克尔·埃米；鲁帕克·马朱姆达尔，实时软件验证的决策问题，200-211[Zbl 1178.68340号]费拉里·特雷卡特，G。；埃格斯特德，M。；布法，A。；吉，M。，拉普拉斯绵羊：基于领导者的遏制控制的混合、走走停停的政策，212-226[Zbl 1178.68595号]Fotiou，Ioannis A。；A.Giovanni Beccuti；乔治奥斯·帕帕福蒂奥（Georgios Papafotiou）；曼弗雷德·莫拉里，使用柱面代数分解的分段多项式混合系统的最优控制，227-241[Zbl 1178.49032号]高燕；约翰·莱杰罗斯（John Lygeros）；马克·昆卡波瓦，《不确定混合系统的可达性问题重温：生存理论视角》，242-256[Zbl 1178.93073号]安托万·吉拉德；勒格尔尼奇（Le Guernic），科拉斯（Colas）；奥德·马勒，输入线性时不变系统可达集的有效计算，257-271[兹比尔1178.93024]安托万·吉拉德；乔治·帕帕斯。，模拟验证，272-286[Zbl 1178.68344号]韩、智；布鲁斯·H·克罗。，使用低维多边形的大规模仿射系统的可达性分析，287-301[Zbl 1178.93025号]Jun-ichi Imura；平口松岛，同时优化连续控制输入和离散状态航路点，302-317[Zbl 1178.49033号]A.Agung朱利叶斯，随机混合自动机的近似抽象，318-332[Zbl 1178.68318号]马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔，根据LTL规范控制线性系统的全自动框架，333-347[Zbl 1178.93067号]马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔，多仿射系统的可达性分析，348-362[Zbl 1178.93026号]科塞里尼，奇赫布；保罗·卡斯皮，混合计算系统中的近似、采样和投票，363-376[Zbl 1178.68267号]Koutsoukos，Xenofon；莱利，德里克，随机混合系统可达性分析的计算方法，377-391[Zbl 1178.93027号]费边·克拉茨（Fabian Kratz）；奥列格·索科尔斯基（Oleg Sokolsky）；乔治·帕帕斯（George J.Pappas）。；李因苏普，R-Charon，可重构混合系统的建模语言，392-406[Zbl 1178.93074号]查尔斯·莱斯雷；凯瑟琳·特西尔，人控系统中的估计和冲突检测，407-420[Zbl 1178.93075号]丹尼尔·利伯松（Daniel Liberzon）；德拉甘·内什奇，通过小增益定理进行混合系统的稳定性分析，421-435[兹比尔1178.93115]约翰·莱杰罗斯（John Lygeros）；毛雪荣；袁成贵，随机混合延迟种群动力学，436-450[Zbl 1178.92045号]努诺·C·马丁斯。，比特率约束反馈不可能实现有限增益（l_{p}）稳定，451-459[Zbl 1178.93116号]何塞·梅塞盖尔；Raman Sharykin女士，基于分布式对象的随机混合系统的规范和分析，460-475[Zbl 1178.68350号]密特拉，萨扬；南希·林奇；丹尼尔·利伯松，通过解决优化问题验证平均停留时间，476-490[Zbl 1178.93076号]亚历山德罗·平托；Luca P.Carloni。；罗伯托·帕塞罗内（Roberto Passerone）；阿尔贝托Sangiovanni-Vincentelli，混合系统的交换格式：抽象语义，491-506[Zbl 1178.93105号]安德烈亚斯·波德尔斯基；希尔克·瓦格纳，混合系统的模型检验：从可达性到稳定性，507-521[兹比尔1178.93077]桑菲利斯，里卡多·G·。；拉斐尔·戈贝尔（Rafal Goebel）；安德鲁·蒂尔（Andrew R.Teel）。，混合系统广义解的反馈控制动机，522-536[Zbl 1178.93078号]桑卡拉纳拉亚南，斯里拉姆；亨尼·B·西普玛（Henny B.Sipma）。；佐哈尔·曼纳，用于计算时间流逝运算符的定点迭代，537-551[Zbl 1178.93053号]Issam S.斯特鲁布。；亚历山大·巴恩（Alexandre M.Bayen）。，标量守恒律的混合初边值问题：在交通网络建模中的应用，552-567[兹比尔1178.65104]郑海阳；爱德华·A·李。；亚伦·D·埃姆斯。超越芝诺：继续！，568-582 [Zbl 1178.93079号] 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 00B25型 杂项特定利益的会议记录 引文：Zbl 1069.68011号 PDF格式BibTeX公司 XML格式引用 \textit{J.Hespanha}（编辑）和textit{A.Tiwari}（主编），混合系统：计算和控制。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（2006；Zbl 1103.68006） 全文： 内政部