掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Hybrid systems: computation and control
Hybrid systems: computation and control
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
条码与信息系统
博客族
计算机测量与控制
信息与电脑
计算机光盘软件与应用
自动化博览
家庭电子
课堂内外·中学生电脑
模式识别与人工智能
直通VIP
更多>>
相关外文期刊
Computer
Information Systems Research
Journal of Control Theory and Applications
Automatika
Intelligent control and automation
Learning & Leading with Technology
Environmental Modelling & Software
Performance evaluation review
Knowledge-Based Systems
Natural language & linguistic theory
更多>>
相关中文会议
2009年全国高性能计算学术年会
2012河南省计算机大会暨学术年会
第21届中国过程控制会议
LMS2011年用户大会
全国第三届DCS、PLC和现场总线应用学术交流会议
全国首届定量遥感学术论坛
《通信学报》学术论坛暨2011云计算学术会议
第八届全国信息隐藏与多媒体安全学术大会暨湖南省计算机学会第十一届学术年会(CIHW 2009)
2000年CERNET第七届学术会议
第22届中国数字广播电视与网络发展年会暨第13届全国互联网与音视频广播发展研讨会
更多>>
相关外文会议
On the move to meaningful internet systems: OTM 2012 Workshops
Semantic Multimedia
49th Annual IEEE International Carnahan Conference on Security Technology
Supercomputing '90
International Conference on Fundamental Approaches to Software Engineering(FASE 2006) Held as Part of the Joint European Conferences on Theory and Practice of Software(ETABS 2006); 20060327-28; Vienna(AT)
Discrete Geometry for Computer Imagery
Real-Time Systems Symposium, 2009, RTSS 2009
Progress in artificial intelligence
Advances in geometric modeling and processing
Ubiquitous information technologies and applications
更多>>
热门会议
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.
Applications of MetiTarski in the Verification of Control and Hybrid Systems
机译:
MetiTarski在控制和混合系统验证中的应用
作者:
Behzad Akbarpour
;
Lawrence C. Paulson
会议名称:
《Hybrid systems: computation and control》
|
2009年
2.
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
机译:
拒绝服务攻击下的安全网络控制系统
作者:
Saurabh Amin
;
Alvaro A. Cardenas
;
S. Shankar Sastry
会议名称:
《Hybrid systems: computation and control》
|
2009年
3.
Local Identification of Piecewise Deterministic Models of Genetic Networks
机译:
遗传网络分段确定性模型的局部辨识
作者:
Eugenio Cinquemani
;
Andreas Milias-Argeitis
;
Sean Summers
;
John Lygeros
会议名称:
《Hybrid systems: computation and control》
|
2009年
关键词:
piecewise deterministic systems;
state-space identification;
markov processes;
sampled systems;
convex optimization;
4.
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
机译:
混合路径空间的Epsilon-Tubes和广义Skorokhod度量
作者:
J.M. Davoren
会议名称:
《Hybrid systems: computation and control》
|
2009年
5.
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem
机译:
分布式WSN算法的收敛性:唤醒散射问题
作者:
Daniele Fontanelli
;
Luigi Palopoli
;
Roberto Passerone
会议名称:
《Hybrid systems: computation and control》
|
2009年
6.
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
机译:
时空线性系统的有限自动机可观测性,可到达性及更多
作者:
Radii Grosu
会议名称:
《Hybrid systems: computation and control》
|
2009年
7.
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
机译:
具有二元控制功能的常规反应运输系统的最优边界控制
作者:
Falk M. Hante
;
Guenter Leugering
会议名称:
《Hybrid systems: computation and control》
|
2009年
8.
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata
机译:
有限混合自动机的更充分现象分析
作者:
Katsunori Nakamura
;
Akira Fusaoka
会议名称:
《Hybrid systems: computation and control》
|
2009年
9.
Trajectory Based Verification Using Local Finite-Time Invariance
机译:
使用局部有限时间不变性的基于轨迹的验证
作者:
A. Agung Julius
;
George J. Pappas
会议名称:
《Hybrid systems: computation and control》
|
2009年
10.
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers
机译:
事件驱动控制器的最佳边界和调节器设计问题
作者:
Pau Marti
;
Manel Velasco
;
Enrico Bini
会议名称:
《Hybrid systems: computation and control》
|
2009年
11.
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
机译:
代数混合系统非平凡非线性不变生成的形态
作者:
Nadir Matringe
;
Arnaldo Vieira Moura
;
Rachid Rebiha
会议名称:
《Hybrid systems: computation and control》
|
2009年
12.
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
机译:
非线性采样系统任意记忆跨度的离散抽象计算
作者:
Gunther Reissig
会议名称:
《Hybrid systems: computation and control》
|
2009年
13.
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
机译:
使用多分辨率量化器的非线性系统的离散状态抽象
作者:
Yuichi Tazaki
;
Jun-ichi Imura
会议名称:
《Hybrid systems: computation and control》
|
2009年
14.
Specification and Analysis of Network Resource Requirements of Control Systems
机译:
控制系统网络资源需求的规范与分析
作者:
Gera Weiss
;
Sebastian Fischmeister
;
Madhukar Anand
;
Rajeev Alur
会议名称:
《Hybrid systems: computation and control》
|
2009年
15.
Periodically Controlled Hybrid Systems Verifying a Controller for an Autonomous Vehicle
机译:
验证自动驾驶车辆控制器的周期性控制混合动力系统
作者:
Tichakorn Wongpiromsarn
;
Sayan Mitra
;
Richard M. Murray
;
Andrew Lamperski
会议名称:
《Hybrid systems: computation and control》
|
2009年
16.
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
机译:
离散时间线性切换系统的镇定:一种控制-Lyapunov函数方法
作者:
Wei Zhang
;
Alessandro Abate
;
Jianghai Hu
会议名称:
《Hybrid systems: computation and control》
|
2009年
17.
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
机译:
环境中密集时间系统的符号分支双仿真检查
作者:
Farn Wang
会议名称:
《Hybrid systems: computation and control》
|
2009年
关键词:
branching bisimulation;
TCTL;
model-checking;
timed automata;
algorithms;
experiment;
18.
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets
机译:
一类具有可控复位的平面脉冲混合系统的轨道控制
作者:
Axel Schild
;
Magnus Egerstedt
;
Jan Lunze
会议名称:
《Hybrid systems: computation and control》
|
2009年
19.
Distributed Tree Rearrangements for Reachability and Robust Connectivity
机译:
分布式树重新排列以实现可访问性和强大的连接性
作者:
Michael Schuresko
;
Jorge Cortes
会议名称:
《Hybrid systems: computation and control》
|
2009年
20.
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters
机译:
混合系统最优成本函数对流形参数切换的敏感性
作者:
Farzin Taringoo
;
Peter E. Caines
会议名称:
《Hybrid systems: computation and control》
|
2009年
关键词:
hybrid control systems;
switching manifolds;
variational methods;
optimal control;
21.
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
机译:
三维揉合双足行走:一种混合几何方法
作者:
Aaron D. Ames
;
Ryan W. Sinnet
;
Eric D.B. Wendel
会议名称:
《Hybrid systems: computation and control》
|
2009年
22.
Actors without Directors: A Kahnian View of Heterogeneous Systems
机译:
没有导演的演员:异构系统的卡恩式观点
作者:
P. Caspi
;
A. Benveniste
;
R. Lublinerman
;
S. Tripakis
会议名称:
《Hybrid systems: computation and control》
|
2009年
23.
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection
机译:
同时最优控制和离散随机传感器选择
作者:
D. Bernardini
;
D. Munoz de la Pena
;
A. Bemporad
;
E. Frazzoli
会议名称:
《Hybrid systems: computation and control》
|
2009年
24.
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks
机译:
认知无线电网络的混合建模,功率管理和稳定性
作者:
Alessandro Borri
;
Maria Domenica Di Benedetto
;
Maria-Gabriella Di Benedetto
会议名称:
《Hybrid systems: computation and control》
|
2009年
25.
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
机译:
鲁棒最优控制器的自动综合-工业案例研究
作者:
Franck Cassez
;
Jan J. Jessen
;
Kim G. Larsen
;
Jean-Francois Raskin
;
Pierre-Alain Reynier
会议名称:
《Hybrid systems: computation and control》
|
2009年
26.
Distributed Wombling by Robotic Sensor Networks
机译:
通过机器人传感器网络进行分布式联网
作者:
Jorge Cortes
会议名称:
《Hybrid systems: computation and control》
|
2009年
27.
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
机译:
使用切换线性系统方法的网络控制系统的稳定性分析
作者:
M.C.F. Donkers
;
L. Hetel
;
W.P.M.H. Heemels
;
N. van de Wouw
;
M. Steinbuch
会议名称:
《Hybrid systems: computation and control》
|
2009年
28.
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
机译:
混合系统的参数综合及其在Simulink模型中的应用
作者:
Alexandre Donze
;
Bruce Krogh
;
Akshay Rajhans
会议名称:
《Hybrid systems: computation and control》
|
2009年
29.
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program
机译:
通过单个线性程序综合轨迹相关控制Lyapunov函数
作者:
Mircea Lazar
;
Andrej Jokic
会议名称:
《Hybrid systems: computation and control》
|
2009年
30.
Uniform Consensus among Self-driven Particles
机译:
自驱动粒子之间的一致共识
作者:
Ji-Woong Lee
会议名称:
《Hybrid systems: computation and control》
|
2009年
31.
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
机译:
用于机器人木偶的多主体运动程序的优化
作者:
Patrick Martin
;
Magnus Egerstedt
会议名称:
《Hybrid systems: computation and control》
|
2009年
32.
Decompositional Construction of Lyapunov Functions for Hybrid Systems
机译:
混合系统的Lyapunov函数的分解构造
作者:
Jens Oehlerking
;
Oliver Theel
会议名称:
《Hybrid systems: computation and control》
|
2009年
33.
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
机译:
完整拉格朗日混合系统中具有芝诺行为的周期轨道的存在
作者:
Yizhar Or
;
Aaron D. Ames
会议名称:
《Hybrid systems: computation and control》
|
2009年
34.
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management
机译:
混合建模,识别和预测控制:在混合电动汽车能源管理中的应用
作者:
G. Ripaccioli
;
A. Bemporad
;
F. Assadian
;
C. Dextreit
;
S. Di Cairano
;
I.V. Kolmanovsky
会议名称:
《Hybrid systems: computation and control》
|
2009年
关键词:
hybrid systems;
model predictive control;
powertrain control;
hybrid electric vehicles;
piecewise affine systems;
piecewise affine system identification;
35.
On Event Based State Estimation
机译:
基于事件的状态估计
作者:
Joris Sijs
;
Mircea Lazar
会议名称:
《Hybrid systems: computation and control》
|
2009年
36.
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays
机译:
具有数据丢失和延迟的分布式网络系统中的事件触发
作者:
Xiaofeng Wang
;
Michael D. Lemmon
会议名称:
《Hybrid systems: computation and control》
|
2009年
37.
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
机译:
使用双模拟量度的有界和无界安全验证
作者:
Gang Zheng
;
Antoine Girard
会议名称:
《Hybrid systems: computation and control》
|
2009年
38.
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems
机译:
线性离散时间马尔可夫跳跃系统的带预览的随机最优跟踪
作者:
Gou Nakura
会议名称:
《Hybrid systems: computation and control》
|
2009年
关键词:
markovian jump systems;
stochastic optimization theory;
tracking control with preview;
coupled riccati difference equations;
coupled feedforward compensators;
39.
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
机译:
基于多级分裂的随机混合系统可达性分析
作者:
Derek Riley
;
Xenofon Koutsoukos
;
Kasandra Riley
会议名称:
《Hybrid systems: computation and control》
|
2009年
40.
STORMED Hybrid Games
机译:
风暴混合游戏
作者:
Vladimeros Vladimerou
;
Pavithra Prabhakar
;
Mahesh Viswanathan
;
Geir Dullerud
会议名称:
《Hybrid systems: computation and control》
|
2009年
意见反馈
回到顶部
回到首页