7.HSCC 2004:美国宾夕法尼亚州费城
拉吉夫·阿鲁尔 , 乔治·J·帕帕斯 :
混合系统:计算与控制,第七届国际研讨会,HSCC 2004,费城,宾夕法尼亚州,美国,2004年3月25日至27日,会议记录。 计算机科学课堂讲稿 2993, 施普林格 2004 ,十亿 3-540-21259-0 马宁德拉·阿格拉沃 , P.S.Thiagarajan先生 :
惰性矩形混合自动机。 1-15 亚伦·D·艾姆斯 , Shankar Sastry公司 :
仿射混合系统。 16-31 尤金细辛 , 陶当(Thao Dang) :
投影抽象及其在多仿射系统中的应用。 32-47 穆罕默德·巴巴利 , 马格努斯·埃格斯泰德 :
切换线性系统的可观测性。 48-63 哈姆萨·巴拉克里什南 , Inseok黄 , 郑顺章(Jung Soon Jang) , 克莱尔·汤姆林 :
自治随机线性混合系统的推理方法。 64-79 安德烈·巴卢奇 , 费德里科·迪纳塔莱 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 简·范·舒彭 :
汽车发动机怠速控制综合。 80-94 亚历山大·巴彦 , 罗宾·拉法德 , 克莱尔·汤姆林 :
使用伴随混合控制缓解网络拥塞:在高速公路上的应用。 95-110 凯琳·贝尔塔 , 彼得·菲宁 , Luc C.G.J.M.哈贝茨 , 阿尔达姆·m·哈尔斯 , 马金·伊米林斯基 , 维杰·库马尔 , 哈维·鲁宾 :
利用混合系统的可达性分析了解细菌的严格反应。 111-125 阿尔贝托·本普拉德 , 尼科尔·乔治蒂 :
一种基于SAT的混合系统最优控制混合求解器。 126-141 巴蒂亚 , 埃米利奥·弗拉佐利 :
连续系统和混合系统可达性分析的增量搜索方法。 142-156 安东尼奥·比奇 , 阿莱西亚·马里戈 , 贝内代托·皮科利 :
离散和混合非完整。 157-172 文森特·德·布隆德尔 , 尤里·内斯特罗夫 , 雅克·泰斯 :
切换线性系统增长率的近似。 173-186 No-l Bonneuil公司 , 帕特里克·圣皮埃尔 :
经济学中的混合保证捕获盆地算法。 187-202 帕特里夏·鲍耶 , 埃德·布林克斯马 , 金·古德斯特兰·拉森 :
尽可能便宜地活着。 203-218 托马斯·布里海耶 , 克里斯蒂安·米肖 , 塞德里克·里维尔 , 克里斯托夫·特洛伊斯特勒 :
关于O-极小混合系统。 219-233 Manuela-Luminita Bujorianu公司 :
扩展随机混合系统及其可达性问题。 234-249 卡纳特·卡姆利贝尔 , W.P.M.H.Heemels公司 , 约翰内斯·舒马赫 :
关于双峰分段线性系统的可控性。 250-264 彼得·柯林斯 , 简·H·范·舒彭 :
分段仿射混合系统的可观测性。 265-279 詹妮弗·达沃伦 , 沃恩·库特哈德 , 尼古拉斯·马基 , 托马斯·摩尔 :
通用流系统的非确定性时间逻辑。 280-295 马丁·德沃尔夫 , 劳伦特·多恩 , Jean-François Raskin女士 :
几乎尽快的语义:从定时模型到定时实现。 296-310 Domitilla Del Vecchio公司 , 理查德·默里 :
格上一类混合系统的离散状态估计。 311-325 安斯加·芬克 , 弗兰乔·伊万西奇 :
混合系统验证基准。 326-341 托比亚斯·盖尔 , 乔治奥斯·帕帕福蒂奥 , 曼弗雷德·莫拉里 :
开关型DC-DC变换器的最优控制。 342-356 Arkadeb Ghosal公司 , 托马斯·亨辛格 , 克里斯托夫·基尔希 , 马可·A·桑维多 :
具有逻辑执行时间的事件驱动编程。 357-371 威廉·格拉夫 , 约翰·利杰罗斯 :
空中交通管制仿真的随机混合模型。 372-386 乔·佩·赫斯帕尼亚 :
随机混合系统:在通信网络中的应用。 387-401 蒂莫西·希基 , 大卫·K·维滕贝格 :
基于区间算术约束的混合系统严格建模。 402-416 江海湖 , 吴伟忠 , 尚卡·萨斯特里 :
利用随机杂交系统模拟枯草芽孢杆菌中的枯草素生产。 417-431 Yerang Hur公司 , 金杰松 , 因苏普·李 , 崔金英(Jin-Young Choi) :
从通信混合模型生成声音代码。 432-447 米查尔·克瓦斯尼卡 , 帕斯卡·格里德 , 马托·鲍提克 , 曼弗雷德·莫拉里 :
多参数工具箱(MPT)。 448-462 娜塔莎·A·尼奥吉 :
用于混合仿真和分析的大型离散事件生物系统的动态分区。 463-476 斯蒂芬·普拉纳 , 阿里·贾德巴比 :
使用屏障证书对混合系统进行安全验证。 477-492 弗雷德里克·罗森奎斯特 , 安德斯·卡尔斯特罗姆 :
方向相关过程中参数估计的分段线性输出误差方法。 493-507 威廉·C·罗兹 :
混合p-演算的空间逻辑。 508-522 雷内·桑切斯 , 罗伯托·霍洛维茨 , Masayoshi Tomizuka先生 , 斯洛博丹·西米奇 :
使用混合自动机的全纸张控制。 523-538 斯里拉姆·桑卡拉纳拉亚南 , 亨尼·西普玛 , 佐哈尔·曼纳 :
混合系统不变量的构造。 539-554 A.J.范德沙夫特 :
动力系统的相互模拟。 555-569 Dharmashankar Subramanian公司 , 卡提克·阿里尤尔 , 尼汀·兰巴 , 兰贾娜·德什潘德 , 索尼娅·格拉瓦斯基 :
混合动力系统的控制设计:NASA生命支持系统。 570-584 史莱亚斯·桑达拉姆 , Christoporos N.Hadjicostis公司 :
切换线性控制器中的非并发错误检测与校正。 585-599 阿什什·蒂瓦里 , 高拉夫·坎纳 :
非线性系统:近似到达集。 600-614 徐平 , 桂生寨 :
混合与切换系统的实用稳定性与镇定。 615-630 克里斯托斯·艾福利斯 , 罗伯特·肖滕 :
线性切换系统稳定性分析的数值技术。 631-645 程桂园 , 约翰·利杰罗斯 :
时滞切换扩散的渐近稳定性和有界性。 646-659 帕特里克·林肯 , 阿什什·蒂瓦里 :
符号系统生物学:生物网络的混合建模和分析。 660-672
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)