掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416
Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
信息方略
计算机应用研究
测试技术学报
计算机应用文摘
计算机辅助设计与图形学学报
系统仿真技术
程序员
数码
计算机集成制造系统
中文信息学报
更多>>
相关外文期刊
Ergonomics
Information & Management
Journal of Electronic Commerce in Organizations
RAIRO Theoretical Informatics and Applications
International Journal of Web-Based Learning and Teaching Technologies
Assembly Automation
Cybernetics and Systems Analysis
International journal of intelligent engineering informatics
Computing in science & engineering
International journal of open source software & processes
更多>>
相关中文会议
华东师范大学“数据科学与工程”论坛内存计算数据管理主题报告会
第三届中国科学院超级计算机应用大会
第二届全国虚拟仪器学术交流会
“网络与青少年成长”——2005年沪港新专家圆桌会议暨第五届上海青年发展战略论坛
2005年中国模糊逻辑与计算智能联合学术会议
第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会
第三届中国计算机图形学大会
油库站技术装备与物联网应用研讨会
第十七届计算机工程与工艺年会暨第三届微处理器技术论坛
2014全国文档信息处理学术会议
更多>>
相关外文会议
Nonvolatile memory and lts evolution
1st ACM SIGMM international workshop on social media 2009
2014 International Conference on Soft Computing & Machine Intelligence
Advances in Natural Language Processing
2017 IEEE 19th International Conference on High Performance Computing and Communications Workshops
Three-Dimensional and Multidimensional Microscopy: Image Acquisition and Processing XIV; Progress in Biomedical Optics and Imaging; vol.8 no.20; Proceedings of SPIE-The International Society for Optical Engineering; vol.6443
Hybrid learning
Photonic Devices and Algorithms for Computing VI
Compressive sensing II
11th European advanced equipment control/advanced process control conference 2011
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
A Controller Design Method Under Infrequent,Asynchronous Sensing
机译:
异步感应下的控制器设计方法
作者:
Fumin Zhang
;
Naomi Ehrich Leonard
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
2.
A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant
机译:
一种启发式预测逻辑控制器,应用于混合太阳能空调厂
作者:
Darine Zambrano
;
Winston Garcia-Gabin
;
Eduardo F. Camacho
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
3.
Case Studies in Event-Driven Control
机译:
事件驱动控制中的案例研究
作者:
J.H. Sandee
;
W.P.M.H. Heemels
;
P.P.J. van den Bosch
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
4.
The Concept of Deadlock and Livelock in Hybrid Control Systems
机译:
混合控制系统中死锁和活锁的概念
作者:
Alessandro Abate
;
Alessandro DInnocenzo
;
Giordano Pola
;
Maria Domenica Di Benedetto
;
Shankar Sastry
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
5.
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems
机译:
混合刚体机械系统的建模与最优控制
作者:
Kerim Yunt
;
Christoph Glocker
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
关键词:
impulsive optimal control;
impactive systems;
non-smooth analysis;
hybrid;
mechanical systems;
6.
Impulse Differential Inclusions Driven by Discrete Measures
机译:
离散测量驱动的脉冲微分包含
作者:
John Lygeros
;
Marc Quincampoix
;
Tadeusz Rzezuchowski
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
7.
Solving Coverage Problems with Embedded Graph Grammars
机译:
用嵌入式图文法解决覆盖问题
作者:
John-Michael McNew
;
Eric Klavins
;
Magnus Egerstedt
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
8.
Hybrid Control and Verification of a Pulsed Welding Process
机译:
脉冲焊接过程的混合控制和验证
作者:
Jesper A. Larsen
;
Rafael Wisniewski
;
Roozbeh Izadi-Zamanabadi
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
9.
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks
机译:
电能传输网络中基于价格的最优潮流控制
作者:
A. Jokic
;
M. Lazar
;
P.P.J. van den Bosch
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
10.
Approximately Bisimilar Finite Abstractions of Stable Linear Systems
机译:
稳定线性系统的近似双相似有限抽象
作者:
Antoine Girard
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
11.
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults
机译:
具有连续和离散故障的混合系统的故障调节
作者:
Hao Yang
;
Bin Jiang
;
Vincent Cocquempot
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
12.
Networks of Hybrid Systems: Connections Faults Modelling and Detection
机译:
混合系统网络:连接故障建模和检测
作者:
Marta Capiluppi
;
Manfred Morari
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
13.
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
机译:
量化控制系统的近似仿真关系和有限抽象
作者:
Paulo Tabuada
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
14.
A New Hybrid State Estimator for Systems with Limited Mode Changes
机译:
具有有限模式变化的系统的新型混合状态估计器
作者:
Kaushik Roy
;
Claire J. Tomlin
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
关键词:
hybrid systems;
hybrid state estimation;
monte carlo;
15.
A Hybrid Bellman Equation for Bimodal Systems
机译:
双峰系统的混合Bellman方程
作者:
Peter Caines
;
Magnus Egerstedt
;
Roland Malhame
;
Angela Schoellig
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
16.
Comparing Forward and Backward Reachability as Tools for Safety Analysis
机译:
比较前后可达性作为安全性分析的工具
作者:
Ian M. Mitchell
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
17.
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares
机译:
使用平方和逼近一组矩阵的联合谱半径
作者:
Pablo A. Parrilo
;
Ali Jadbabaie
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
18.
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation
机译:
Hamilton-Jacobi-Bellman方程的解的基于生存力的计算
作者:
Alexandre M. Bayen
;
Christian Claudel
;
Patrick Saint-Pierre
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
19.
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
机译:
迈向实时控制任务的灵活调度:回顾基本控制模型
作者:
Pau Marti
;
Manel Velasco
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
20.
Invertibility and Flatness of Switched Linear Discrete-Time Systems
机译:
切换线性离散时间系统的可逆性和平坦度
作者:
Gilles Millerioux
;
Jamal Daafouz
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
21.
Systematic Simulation Using Sensitivity Analysis
机译:
使用灵敏度分析的系统仿真
作者:
Alexandra Donze
;
Oded Maler
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
22.
Computation in One-Dimensional Piecewise Maps
机译:
一维分段映射的计算
作者:
Oleksiy Kurganskyy
;
Igor Potapov
;
Fernando Sancho Caparrini
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
23.
Optimal Switches in Multi—inventory Systems
机译:
多库存系统中的最佳开关
作者:
Dario Bauso
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
24.
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
机译:
完善的混合系统区域稳定性证明规则
作者:
Andreas Podelski
;
Silke Wagner
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
25.
Switch Detection in Genetic Regulatory Networks
机译:
遗传监管网络中的开关检测
作者:
Riccardo Porreca
;
Giancarlo Ferrari-Trecate
;
Daniela Chieppi
;
Lalo Magni
;
Olivier Bernard
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
26.
Differential Logic for Reasoning About Hybrid Systems
机译:
混合系统推理的微分逻辑
作者:
Andre Platzer
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
关键词:
dynamic logic, hybrid systems, parametric verification;
27.
Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems
机译:
生物分段仿射混合系统的可达性算法
作者:
Anil Aswani
;
Claire Tomlin
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
28.
A Hybrid Model for Subliminal Air Traffic Control
机译:
阈下空中交通管制的混合模型
作者:
Eva Crueck
;
John Lygeros
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
29.
On Bicontinuous Bisimulation and the Preservation of Stability
机译:
关于双连续双仿真和稳定性的保持
作者:
P.J.L. Cuijpers
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
30.
Hybrid Estimation for Stochastic Piecewise Linear Systems
机译:
随机分段线性系统的混合估计
作者:
Chze Eng Seah
;
Inseok Hwang
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
31.
Composition of Dynamical Systems for Estimation of Human Body Dynamics
机译:
估计人体动力学的动力学系统的组成
作者:
Sumitra Ganesh
;
Aaron D. Ames
;
Ruzena Bajcsy
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
32.
Metrics and Topology for Nonlinear and Hybrid Systems
机译:
非线性和混合系统的度量和拓扑
作者:
Mihaly Petreczky
;
Rene Vidal
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
33.
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
机译:
MARCO:多仿射系统的可达性算法及其在生物系统中的应用
作者:
Spring Berman
;
Adam Halasz
;
Vijay Kumar
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
34.
Optimal Switching of 1-DOF Oscillating Systems
机译:
一自由度振荡系统的最佳切换
作者:
Paolo Bolzern
;
Patrizio Colaneri
;
Jose Claudio Geromel
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
35.
On Simulations and Bisimulations of General Flow Systems
机译:
通用流系统的仿真与双仿真
作者:
J.M. Davoren
;
Paulo Tabuada
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
36.
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
机译:
控制系统中的类群和一类具有非阿贝尔对称性的量化控制系统的可达性问题
作者:
Alessandro Arsie
;
Emilio Frazzoli
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
37.
Minimum Time for a Hybrid System with Thermostatic Switchings
机译:
具有恒温开关的混合系统的最短时间
作者:
Fabio Bagagiolo
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
38.
Complexity Reduction for the Design of Interacting Controllers
机译:
交互控制器设计的复杂度降低
作者:
A. Balluchi
;
E. Mazzi
;
A.L. Sangiovanni Vincentelli
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
39.
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
机译:
参数不确定性的遗传控制网络模型检验
作者:
Gregory Batt
;
Calin Belta
;
Ron Weiss
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
40.
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
机译:
随机混合系统可达性分析的计算方法
作者:
Alessandro Abate
;
Saurabh Amin
;
Maria Prandini
;
John Lygeros
;
Shankar Sastry
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
41.
Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions
机译:
具有分段仿射函数的非线性生化网络的定性分析
作者:
M.W.J.M. Musters
;
H. de Jong
;
P.P.J. van den Bosch
;
N.A.W. van Riel
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
42.
Guided Randomized Simulation
机译:
引导随机模拟
作者:
Tarik Nahhal
;
Thao Dang
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
43.
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System
机译:
分段光滑系统中分叉分析的控制器参数选择
作者:
Eva M. Navarro-Lopez
;
Domingo Cortes
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
关键词:
discontinuous systems;
sliding motions;
bifurcation analysis;
oilwell drillstrings;
dry friction;
stick-slip oscillations;
44.
Composing Semi-algebraic O-Minimal Automata
机译:
组成半代数O极小自动机
作者:
A. Casagrande
;
P. Corvaja
;
C. Piazza
;
B. Mishra
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
45.
Learning Cycle-Linear Hybrid Automata for Excitable Cells
机译:
学习可激发细胞的周期线性混合自动机
作者:
R. Grosu
;
S. Mitra
;
P. Ye
;
E. Entcheva
;
I.V. Ramakrishnan
;
S.A. Smolka
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
46.
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
机译:
基于粒子的跳跃马尔可夫线性系统的鲁棒最优预测控制
作者:
Lars Blackmore
;
Askar Bektassov
;
Masahiro Ono
;
Brian C. Williams
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
47.
A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems
机译:
自治混合系统最优切换面的设计方法。
作者:
Mauro Boccadoro
;
Paolo Valigi
;
Yorai Wardi
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
48.
Symbolic Analysis for GSMP Models with One Stateful Clock
机译:
具有一个状态时钟的GSMP模型的符号分析
作者:
Mikhail Bernadsky
;
Rajeev Alur
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
49.
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems
机译:
使用随机混合系统进行白内障白糖发育的安全性分析
作者:
Derek Riley
;
Xenofon Koutsoukos
;
Kasandra Riley
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
50.
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors
机译:
带有二进制传感器的稳定开关系统的有限状态控制器
作者:
Danielle C. Tarraf
;
Alexandre Megretski
;
Munther A. Dahleh
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
51.
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
机译:
飞机着陆协议的安全验证:一种完善的方法
作者:
Shinya Umeno
;
Nancy Lynch
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
52.
Foundations of a Compositional Interchange Format for Hybrid Systems
机译:
混合系统的组成交换格式的基础
作者:
D.A. van Beek
;
M.A. Reniers
;
R.R.H. Schiffelers
;
J.E. Rooda
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
53.
On Self-triggered Full-Information H-Infinity Controllers
机译:
自触发全信息H-∞控制器
作者:
Michael Lemmon
;
Thidapat Chantem
;
Xiaobo Sharon Hu
;
Matthew Zyskowski
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
54.
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
机译:
基于CEGAR的离散时间混合系统有界模型检验。
作者:
Federico Mari
;
Enrico Tronci
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
55.
Robust Test Generation and Coverage for Hybrid Systems
机译:
混合系统的可靠测试生成和覆盖范围
作者:
A. Agung Julius
;
Georgios E. Fainekos
;
Madhukar Anand
;
Insup Lee
;
George J. Pappas
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
56.
Minimalilty of Finite Automata Representation in Hybrid Systems Control
机译:
混合系统控制中有限自动机表示的极小值
作者:
Koichi Kobayashi
;
Jun-ichi Imura
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
57.
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
机译:
使用迭代松弛抽象的线性混合自动机的可达性
作者:
Sumit K. Jha
;
Bruce H. Krogh
;
James E. Weimer
;
Edmund M. Clarke
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
58.
Sporadic Control of First-Order Linear Stochastic Systems
机译:
一阶线性随机系统的零星控制
作者:
Erik Johannesson
;
Toivo Henningsson
;
Anton Cervin
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
59.
Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application
机译:
具有基于观察者的控制应用的不连续动态系统的输入状态稳定性
作者:
W.P.M.H. Heemels
;
S. Weiland
;
A. Lj. Juloski
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
60.
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems
机译:
混合系统辨识的随机框架及其在神经生理系统中的应用
作者:
Nicolas Hudson
;
Joel Burdick
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
61.
Rate Admission Control for Hard Real-Time Task Scheduling
机译:
硬实时任务调度的速率准入控制
作者:
Vladimiro Vacca
;
Francesco Vasca
;
Luigi Iannelli
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
62.
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems
机译:
蚁群与遗传算法的电力系统约束预测控制
作者:
Guillaume Sandou
;
Sorin Olaru
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
63.
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces
机译:
通过控制切换面来稳定离散控制连续系统的极限环
作者:
Axel Schild
;
Jan Lunze
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
64.
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems
机译:
开关模式混合动力系统的在线优化
作者:
Yorai Wardi
;
Xu Chu Ding
;
Shun-ichi Azuma
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
65.
State Nullification of Switched Systems by Linear Output Feedback
机译:
线性输出反馈对切换系统的状态无效化
作者:
Gera Weiss
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
66.
Automata Based Interfaces for Control and Scheduling
机译:
基于自动机的控制和调度界面
作者:
Gera Weiss
;
Rajeev Alur
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
67.
Trace-Based Semantics for Probabilistic Timed I/O Automata
机译:
概率定时I / O自动机的基于迹线的语义
作者:
Sayan Mitra
;
Nancy Lynch
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
68.
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
机译:
点对点系统的文件共享混合模型中的过去耦合
作者:
Bruno Gaujal
;
Florence Perronnin
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
69.
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems
机译:
一类混合系统离散动态反馈的偏序方法
作者:
Domitilla Del Vecchio
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
70.
Motion Programs for Puppet Choreography and Control
机译:
用于人偶编排和控制的运动程序
作者:
Magnus Egerstedt
;
Todd Murphey
;
Jon Ludwig
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
71.
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
机译:
基于时间逻辑规范的混合控制器的层次综合
作者:
Georgios E. Fainekos
;
Antoine Girard
;
George J. Pappas
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
72.
Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli
机译:
基因调控网络的混合模型:大肠杆菌中的lac操纵子的情况。
作者:
Marcello Farina
;
Maria Prandini
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
73.
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems
机译:
一类混合最优控制问题的必要最优性条件
作者:
Vadim Azhmyakov
;
Sid Ahmed Attia
;
Dmitry Gromov
;
Joerg Raisch
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
74.
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems
机译:
基于切换的李雅普诺夫函数与一类非完整系统的镇定
作者:
Daniele Casagrande
;
Alessandro Astolfi
;
Thomas Parisini
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
75.
Fully Automated Stability Verification for Piecewise Affine Systems
机译:
分段仿射系统的全自动稳定性验证
作者:
Jens Oehlerking
;
Henning Burchardt
;
Oliver Theel
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
76.
Diagnosability Verification for Hybrid Automata
机译:
混合自动机的可诊断性验证
作者:
Maria Domenica Di Benedetto
;
Stefano Di Gennaro
;
Alessandro DInnocenzo
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
77.
Piecewise Constant Feedback Control of Piece wise Affine Gene Network Models
机译:
分段仿射基因网络模型的分段恒定反馈控制
作者:
Etienne Farcot
;
Jean-Luc Gouze
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
78.
Reachability Analysis of a Switched Buffer Network
机译:
交换缓冲区网络的可达性分析
作者:
Goran Frehse
;
Oded Maler
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
79.
Asymptotic Stability of Switched Higher Order Laplacians
机译:
切换高阶拉普拉斯算子的渐近稳定性
作者:
Abubakr Muhammad
;
Ali Jadbabaie
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
80.
The Image Computation Problem in Hybrid Systems Model Checking
机译:
混合系统模型检查中的图像计算问题
作者:
Andre Platzer
;
Edmund M. Clarke
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
关键词:
model checking;
hybrid systems;
image computation;
81.
Feedback Scheduling for Pipelines of Tasks
机译:
任务流水线的反馈调度
作者:
Tommaso Cucinotta
;
Luigi Palopoli
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
82.
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games
机译:
多购买者多逃避游戏的分布式混合控制
作者:
Michael M. Zavlanos
;
George J. Pappas
会议名称:
《Hybrid Systems: Computation and Control; Lecture Notes in Computer Science; 4416》
|
2007年
意见反馈
回到顶部
回到首页