停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

6.HSCC 2003：捷克共和国布拉格

>主页 >会议和研讨会 >高速列车控制中心

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/2003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/2003
奥德·马勒,阿米尔·普努利:
混合系统：计算与控制，第六届国际研讨会，HSCC 2003布拉格，捷克共和国，2003年4月3-5日，会议记录。计算机科学课堂讲稿2623,施普林格 2003，国际标准图书编号3-540-00913-2

受邀演讲摘要

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/柏林03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Belinski03
大卫·伯林斯基:
物质数学和心灵数学。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/Harel03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Harel03
哈雷尔:
一个巨大的挑战：多细胞动物的完全反应模型。 2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/Pelless03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Peless03
乌迪·佩利斯:
开发家用机器人产品：挑战和经验教训。三

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/AlurDI03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/AlurDI03
拉杰夫·阿鲁尔,陶当（Thao Dang）,弗兰乔·伊万西奇:
谓词抽象在混合系统可达性分析中的应用进展。 4-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/AsarinDG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/AsarinDG03
尤金·阿萨林,陶当（Thao Dang）,安托万·吉拉德:
非线性系统的守恒逼近可达性分析。 20-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/AstinE03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/AstinE03
亚当·奥斯汀,马格努斯·埃格斯泰德:
信源编码和多模控制的模式重构。 36-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/BakBR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BakBR03
托马斯·贝克,简·戴蒙·本特森,安德斯·拉文:
轮式移动机器人的混合控制设计。 50-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/BarajasKSEGK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BarajasKSEGK03
莱安德罗·巴拉哈斯,阿什什·坎萨尔,阿比纳夫·萨克塞纳,马格努斯·埃格斯泰德,亚历克斯·戈尔茨坦,爱德华·卡门:
基于混合动态系统的SMT生产线建模与控制。 66-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/BemporadBM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BemportoadBM03
阿尔贝托·本普拉德,潘德利·博罗达尼,马西莫·曼内利:
汽车机器人变速箱的混合控制，以减少消耗和排放。 81-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/BemporadGPV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BemportoadGPV03
阿尔贝托·本普拉德,安德烈亚·加鲁利,西蒙·保莱蒂,安东尼奥·维奇诺:
分段仿射模型辨识的贪婪方法。 97-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/BultonHM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BoultonHM03
理查德·博尔顿,鲁思·哈迪,乌苏拉·马丁:
单输入单输出连续时间控制系统的Hoare逻辑。 113-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/BujorianuL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BujorianuL03
Manuela-Luminita Bujorianu公司,约翰·利杰罗斯:
分段确定性马尔可夫过程中的可达性问题。 126-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/PennaIMMCPTZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/PennaIMMCPTZ03
朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,伊戈尔·梅拉蒂,米歇尔·米尼奇诺,埃斯特·西安卡梅拉,安德烈亚·帕里斯,恩里科·特隆西,玛丽莎·文丘里尼·齐利:
用穆尔-瓦尔斐校对器对涡轮燃气控制系统进行自动验证。 141-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/DumasR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/DumasR03
Jean-Guillaume Dumas女士,奥德·隆德皮埃尔:
用连续分段仿射混合系统模拟神经元的电活动。 156-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/El-FarraC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/El-FarraC03
内尔·埃尔·法拉,Panagiotis D.克里斯托菲德斯:
抛物线偏微分方程的混合控制：处理约束控制执行器的故障。 172-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/Ferrari-TrecateS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Ferrari-TrecateS03
吉安卡洛·费拉里·特雷卡特,迈克尔·辛克尔:
分段仿射回归的最优分类条件。 188-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/高LQS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/GaoLQS03
闫高,约翰·利杰罗斯,马克·昆波瓦,尼古拉斯·塞乌伯（Nicolas Seube）:
不确定混合系统的近似稳定性。 203-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/GeyerTM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/GeyerTM03
托比亚斯·盖耶,法比奥·达尼洛·托里西,曼弗雷德·莫拉里:
组合混合系统的有效模式枚举。 216-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/GhoshTT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/GhoshTT03
罗诺霍伊·高什,Ashish蒂瓦里,克莱尔·汤姆林:
自动符号可达性分析；应用于Delta-Notch信令自动机。 233-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/HeemelsCSS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/HeemelsCSS03
W.P.M.H.Heemels公司,卡纳特·卡姆利贝尔,A.J.范德沙夫特,约翰内斯·舒马赫:
开关电网的建模、良好性和稳定性。 249-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/JongGHPSG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/JongGHPSG03
Hidde de Jong公司,Jean-Luc Gouzé,塞琳·埃尔南德斯,米歇尔·佩奇,萨里·特菲克,约翰内斯·盖瑟曼:
遗传调控网络的混合建模与仿真：一种定性方法。 267-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/KapinskiKMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/KapinskiKMS03
詹姆斯·卡宾斯基,布鲁斯·H·克罗,奥德·马勒,奥拉夫·斯特斯伯格:
开放连续系统的系统仿真。 283-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/KoutsoukosKZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/KoutsoukosKZ03
Xenofon D.Koutsoukos公司,詹姆斯·库里安,冯照:
使用粒子滤波方法估计分布式混合系统。 298-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/KwiatkowskiLS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/KwiatkowskiLS03
安德烈亚斯·奎亚特科夫斯基,格瓦德·利希滕贝格,阿克塞尔·席尔德:
基于正交函数的时变阈值切换线性系统的事件预测。 314-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/LiuL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/LiuL03
刘杰（音译）,爱德华·A·李:
关于混合信号模型和混合模型的因果关系。 328-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/MitraWLF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/MitraWLF03
萨扬密特拉,王勇（音）,南希·A·林奇,埃里克·费隆:
使用混合输入/输出自动机对模型直升机控制器进行安全验证。 343-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/MobusBM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/MobusBM03
Rainer Moöbus公司,马托·鲍提克,曼弗雷德·莫拉里:
多目标自适应巡航控制。 359-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/瓦克宁W03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/OuaknineW03
乔尔·瓦克宁,詹姆斯·沃雷尔:
开闭时间自动机的普遍性和语言包容性。 375-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/PalopoliAL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/PalopoliAL03
路易吉·帕洛波利,卢卡·阿贝尼,朱塞佩·利帕里:
混合控制在CPU预留中的应用。 389-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/PicassoB03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/PicassoB03
布鲁诺·毕加索,安东尼奥·比奇:
具有量化状态的LTI系统的稳定性——量化输入静态反馈。 405-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/RamamoorthyK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/RamamoorthyK03
Subramanian Ramamoorthy语,本杰明·库珀斯:
高阶系统的定性异质控制。 417-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/轮次S03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/RoundsS03
威廉·C·罗兹,胡松松（Hosung Song）:
Phi-Calculus：可重构嵌入式系统的分布式控制语言。 435-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/SeneskyEK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/SeneskyEK03
马修·塞内斯基,加布里埃尔·埃里阿,德约翰古:
电力电子的混合建模与控制。 450-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/ShaikhC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/ShaikhC03
沙希德·谢赫先生,彼得·凯恩斯:
混合系统的最优控制：轨迹优化、切换时间、位置调度。 466-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/StursbergK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/StursbergK03
奥拉夫·斯特斯伯格,布鲁斯·H·克罗:
混合系统可达集的有效表示与计算。 482-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/TabuadaP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/TabuadaP03
保罗·塔布阿达,乔治·J·帕帕斯:
可控线性系统的模型检验LTL是可判定的。 498-513
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/Tiwari03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Tiwari03网站
Ashish蒂瓦里:
线性系统的近似可达性。 514-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/VidalCSS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/VidalCSS03
雷内·维达尔,亚历山德罗·齐乌索,斯特凡诺·索托,Shankar Sastry公司:
线性混合系统的可观测性。 526-539
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/XuA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/XuA03
徐平旭,帕诺斯·安萨克利斯:
切换系统最优控制计算方法的结果和展望。 540-555

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。