拉杰夫·阿鲁尔（编辑）；乔治·J·帕帕斯。（编辑） 混合系统：计算和控制。2004年3月25日至27日，第七届国际研讨会，HSCC 2004，美国宾夕法尼亚州费城。诉讼程序。 （英语） 兹比尔1046.93002 计算机科学课堂讲稿2993.柏林：施普林格出版社（ISBN 3-540-21259-0/pbk）。xii，674页。(2004). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（请参阅Zbl 1017.00053号).索引文章：马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。，惰性矩形混合自动机，1-15[Zbl 1133.68359号]艾姆斯（Aaron D.Ames）。；Shankar Sastry公司，仿射混合系统，16-31[Zbl 1135.93338号]细辛，尤金；Thao Dang先生，投影抽象及其在多仿射系统中的应用，32-47[Zbl 1135.93339号]穆罕默德·巴巴利；马格纳斯·埃格斯特德，切换线性系统的可观测性，48-63[Zbl 1135.93320号]Balakrishnan，Hamsa；黄，Inseok；Jang，Jung Soon；克莱尔·汤姆林。，自治随机线性混合系统的推理方法，64-79[Zbl 1135.93372号]安德烈·巴卢奇；费德里科·迪·纳塔莱；阿尔贝托Sangiovanni-Vincentelli；van Schuppen，Jan H。，汽车发动机怠速控制综合，80-94[兹比尔1135.93327]亚历山大·巴恩（Alexandre M.Bayen）。；罗宾·拉法德（Robin L.Raffard）。；克莱尔·汤姆林。，使用伴随混合控制缓解网络拥堵：在高速公路上的应用，95-110[Zbl 1135.93330号]柯林·贝尔塔；Peter Finin；Luc C.G.J.M.哈贝茨。；阿尔达姆·m·哈尔ász。；马钦·伊米利安斯基；R.Vijay Kumar；哈维·鲁宾，使用混合系统的可达性分析了解细菌的严格响应，111-125[Zbl 1135.93334号]阿尔贝托·本普拉德；尼科尔·乔治蒂，用于混合系统最优控制的基于SAT的混合求解器，126-141[Zbl 1135.93348号]阿米特·巴蒂亚；埃米利奥·弗雷佐利，连续和混合系统可达性分析的增量搜索方法，142-156[Zbl 1135.93316号]安东尼奥·比奇（Antonio Bicchi）；阿莱西亚·马里戈；皮科利、贝内代托，离散和混合非完整，157-172[Zbl 1135.93335号]文森特·布隆德尔。；尤里·内斯特罗夫；他们，雅克，切换线性系统增长率的近似，173-186[兹比尔1135.93333]博纳尔；帕特里克·圣皮埃尔，《经济学中的混合保证捕获盆地算法》，187-202年[Zbl 1135.93336号]Patricia Bouyer；Brinksma，Ed；Larsen，Kim G。，尽可能便宜地活着，203-218年[Zbl 1135.93352号]托马斯·布里海耶（Thomas Brihaye）；克里斯蒂安·米绍（Christian Michaux）；里维埃，塞德里克；克里斯托夫·特洛伊斯特勒，关于o-minimal混合系统，219-233[Zbl 1135.93353号]曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。，扩展随机混合系统及其可达性问题，234-249[Zbl 1135.93373号]乔姆勒贝尔，M.K。；Heemels，W.P.M.H。；舒马赫，J.M。，关于双峰分段线性系统的能控性，250-264[Zbl 1135.93319号]Pieter Collins；van Schuppen，Jan H。，分段仿射混合系统的可观测性，265-279[Zbl 1135.93321号]Jennifer M.Davoren。；Vangham库特哈德；尼古拉斯·马基（Nicolas Markey）；托马斯·摩尔，通用流系统的非确定性时序逻辑，280-295[兹比尔1135.93340]马丁·德·沃尔夫（Martin De Wulf）；Laurent Doyen；让-弗朗索瓦·拉斯金，几乎尽快语义：从定时模型到定时实现，296-310[Zbl 1135.93345号]Domitilla Del的Vecchio；理查德·默里（Richard M.Murray）。，格上一类混合系统的离散状态估计，311-325[Zbl 1135.93344号]芬克（Fehnker）、安斯加（Ansgar）；弗兰乔·伊万契奇，混合系统验证基准，326-341[Zbl 1135.93324号]Geyer，Tobias；乔治奥斯·帕帕福蒂奥（Georgios Papafotiou）；曼弗雷德·莫拉里，关于开关模式DC-DC转换器的最佳控制，342-356[Zbl 1135.93359号]阿卡德布州戈萨；托马斯·亨辛格（Thomas A.Henzinger）。；克里斯托夫·基尔希（Christoph M.Kirsch）。；Marco A.Sanvido。，具有逻辑执行时间的事件驱动编程，357-371[Zbl 1135.93354号]威廉·格洛弗（William Glover）；约翰·莱杰罗斯，空中交通管制仿真的随机混合模型，372-386[Zbl 1135.93374号]若昂·赫斯潘哈。，《随机混合系统：在通信网络中的应用》，387-401[Zbl 1135.93375号]蒂莫西·希基。；大卫·K·维滕贝格（David K.Wittenberg）。，使用区间算术约束对混合系统进行严格建模，402-416[Zbl 1135.93341号]胡，江海；吴伟聪；Shankar Sastry公司，使用随机杂交系统模拟枯草芽孢杆菌中的枯草素生产，417-431[Zbl 1135.93307号]Hur，Yerang；Kim，Jesung；Lee，Insup；Choi，Jin-Young先生，通过通信混合模型生成声音代码，432-447[Zbl 1135.93355号]米查尔·科瓦斯尼察；帕斯卡·格里德；Baotić，马托；曼弗雷德·莫拉里，多参数工具箱（MPT），448-462[Zbl 1135.93332号]娜塔莎·A·尼奥吉。，用于混合模拟和分析的大型离散事件生物系统的动态划分，463-476[Zbl 1135.93311号]史蒂芬·般若（Stephen Prajna）；阿里·贾德巴比，使用屏障证书对混合系统进行安全验证，477-492[Zbl 1135.93317号]弗雷德里克·罗森奎斯特（Fredrik Rosenqvist）；安德斯·卡尔瑟姆，方向相关过程中参数估计的分段线性输出误差方法，493-507[Zbl 1135.93379号]威廉·罗恩斯（William C.Rounds）。，混合微积分的空间逻辑，508-522[Zbl 1135.93342号]雷内·桑切斯；罗伯托·霍洛维茨；丰田聪，Masayoshi；Simić，Slobodan N。，使用混合自动机的全纸张控制，523-538[Zbl 1135.93357号]桑卡拉纳拉亚南，斯里拉姆；亨尼·B·西普玛（Henny B.Sipma）。；佐哈尔·曼纳，构建混合系统的不变量，539-554[Zbl 1135.93322号]范德沙夫特，阿尔扬，动力系统的相互模拟，555-569[兹比尔1135.93323]Subramanian，Dharmashankar；卡提克·阿里尤尔；尼廷·兰巴；兰加纳德什潘德；索尼娅·格拉瓦斯基，混合动力系统的控制设计：NASA生命支持系统，570-584[Zbl 1135.93329号]Shreyas Sundaram；Hadjicostis，Christopros N。，切换线性控制器中的非并发错误检测和纠正，585-599[Zbl 1135.93343号]蒂瓦里，阿什什；高拉夫·坎纳，非线性系统：近似可达集，600-614[Zbl 1135.93318号]徐，徐平；翟桂生，关于混合和切换系统的实际稳定性和稳定性，615-630[Zbl 1135.93370号]克里斯托斯·伊福利斯（Christos A.Yfoulis）。；肖顿，罗伯特，线性切换系统稳定性分析的数值技术，631-645[Zbl 1135.93371号]袁成贵；约翰·莱杰罗斯，延迟切换扩散的渐近稳定性和有界性，646-659[Zbl 1135.93366号]帕特里克·林肯；阿什什·蒂瓦里《符号系统生物学：生物网络的混合建模和分析》，660-672[Zbl 1135.93308号] 引用于2评论引用于9文件 MSC公司： 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 68-06 与计算机科学有关的论文集、会议、文集等 00B25型 杂项特定利益的会议记录 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 引文：Zbl 1017.00053号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}（编辑）和\textit{G.J.Pappas}（主编），混合系统：计算和控制。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林：施普林格出版社（2004；Zbl 1046.93002）