首页>外文会议>其他>Workshop on Hybrid Systems: Computation and Control

Workshop on Hybrid Systems: Computation and Control

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Pull Paper Sheet Control Using Hybrid Automata

机译：使用混合自动机拉动纸张控制
- 作者：Rene Sanchez;Roberto Horowitz;Masayoshi Tomizuka;Slobodan N. Simic
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
2.On the Controllability of Bimodal Piecewise Linear Systems

机译：关于双峰分段线性系统的可控性
- 作者：M.K. Qamhbel;W.P.M.H. Heemels;J.M. Schumacher
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
3.Discrete State Estimators for a Class of Hybrid Systems on a Lattice

机译：关于格子上一类混合系统的离散状态估计
- 作者：Domitilla Del Vecchio;Richard M. Murray
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
4.On the Optimal Control of Switch-Mode DC-DC Converters

机译：关于开关模式DC-DC转换器的最优控制
- 作者：Tobias Geyer;Georgios Papafotiou;Manfred Morari
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
- power electronics;
- DC-DC converters;
- model predictive control;
- hybrid systems;
5.Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis

机译：混合仿真和分析大型离散事件生物学系统的动态分配
- 作者：Natasha A. Neogi
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
6.Safety Verification of Hybrid Systems Using Barrier Certificates

机译：使用屏障证书的混合系统安全验证
- 作者：Stephen Prajna;Ali Jadbabaie
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
7.Event-Driven Programming with Logical Execution Times

机译：具有逻辑执行时间的事件驱动程序
- 作者：Arkadeb Ghosal;Thomas A. Henzinger;Christoph M. Kirsch;Marco A.A. Sanvido
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
8.On Practical Stability and Stabilization of Hybrid and Switched Systems

机译：杂交和交换系统的实用稳定性与稳定性
- 作者：Xuping Xu;Guisheng Zhai
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
9.Extended Stochastic Hybrid Systems and Their Reachability Problem

机译：扩展随机混合系统及其可达性问题
- 作者：Manuela L. Bujorianu
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
- stochastic hybrid systems;
- reachability problem;
- extended automata;
- Markov processes;
- Dirichlet forms;
10.Asymptotic Stability and Boundedness of Delay Switching Diffusions

机译：延迟切换扩散的渐近稳定性和界限
- 作者：Chenggui Yuan;John Lygeros
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
- Ito formula;
- switching diffusions;
- lyapunov function;
- stochastic asymptotic stability;
11.Observability of Switched Linear Systems

机译：切换线性系统的可观察性
- 作者：Mohamed Babaali;Magnus Egerstedt
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
12.Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes

机译：方向依赖过程中参数估计的分段 - 线性输出误差方法
- 作者：Fredrik Rosenqvist;Anders Karlstom
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
13.Bisimulation of Dynamical Systems

机译：动态系统的分析
- 作者：Arjan van der Schaft
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
14.On O-Minimal Hybrid Systems

机译：在O-MIMIMAL混合系统上
- 作者：Thomas Brihaye;Christian Michaux;Cedric Riviere;Christophe Troestler
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
15.Multi-Parametric Toolbox (MPT)

机译：多参数工具箱（MPT）
- 作者：Michal Kvasnica;Pascal Grieder;Mato Baotic;Manfred Morari
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
16.The Hybrid Guaranteed Capture Basin Algorithm in Economics

机译：杂交保证捕获盆地经济学
- 作者：Noel Bonneuil;Patrick Saint-Pierre
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
17.Nonlinear Systems: Approximating Reach Sets

机译：非线性系统：近似范围
- 作者：Ashish Tiwari;Gaurav Kharma
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
18.Non-concurrent Error Detection and Correction in Switched Linear Controllers

机译：交换线性控制器中的非并发错误检测和校正
- 作者：Shreyas Sundaram;Christoforos N. Hadjicostis
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
19.Affine Hybrid Systems

机译：仿射混合系统
- 作者：Aaron D. Ames;Shankar Sastry
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
20.Sound Code Generation from Communicating Hybrid Models

机译：来自通信混合模型的声音代码
- 作者：Yerang Hur;Jesung Kim;Insup Lee;Jin-Young Choi
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
21.Synthesis for Idle Speed Control of an Automotive Engine

机译：用于怠速控制汽车发动机的综合
- 作者：Andrea Balluchi;Federico Di Natale;Alberto Sangiovanni-Vincentelli;Jan H. van Schuppen
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
22.Stochastic Hybrid Systems: Application to Communication Networks

机译：随机混合系统：通信网络的应用
- 作者：Joao P. Hespanha
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
23.Abstraction by Projection and Application to Multi-affine Systems

机译：通过投影和应用于多仿照系统的抽象
- 作者：Eugene Asarin;Thao Dang
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
24.Almost ASAP Semantics: From Timed Models to Timed Implementations

机译：几乎ASAP语义：从定时模型到定时实现
- 作者：Martin De Wulf;Laurent Doyen;Jean-Francois Raskin
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
25.Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems

机译：用混合系统的可达性分析了解细菌严格响应
- 作者：Calin Belta;Peter Finin;Luc C.G.J.M. Habets;Adam M. Halasz;Marcin Imielinski;R. Vijay Kumar;Harvey Rubin
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
26.Approximations of the Rate of Growth of Switched Linear Systems

机译：开关线性系统的生长速率近似
- 作者：Vincent D. Blondel;Yurii Nesterov;Jacques Theys
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
27.Inference Methods for Autonomous Stochastic Linear Hybrid System

机译：自主随机线性混合系统的推理方法
- 作者：Hamsa Balakrishnan;Inseok Hwang;Jung Soon Jang;Claire J. Tomlin
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
28.Non-deterministic Temporal Logics for General Flow Systems

机译：一般流量系统的非确定性时间逻辑
- 作者：Jennifer M. Davore;Vangham Coulthard;Nicolas Markey;Thomas Moor
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
29.Control Design for a Hybrid Dynamic System: A NASA Life Support System

机译：混合动力系统的控制设计：美国宇航局生活支持系统
- 作者：Dharmashankar Subramanian;Kartik Ariyur;Nitin Lamba;Ranjana Deshpande;Sonja Glavaski
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
30.A Numerical Technique for Stability Analysis of Linear Switched Systems

机译：线性交换系统稳定性分析的数值技术
- 作者：Christos A. Yfoulis;Robert Shorten
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
31.Staying Alive as Cheaply as Possible

机译：尽可能便宜地保持廉价
- 作者：Patricia Bouyer;Ed Brinksma;Kim G. Larsen
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
32.Full Paper Sheet Control Using Hybrid Automata

机译：使用混合自动机的全纸板控制
- 作者：Roberto Horowitz;Masayoshi Tomizuka;Slobodan N. Simic
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
33.A Spatial Logic for the Hybrid π-Calculus

机译：混合π微积分的空间逻辑
- 作者：William C. Rounds
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
34.Observability of Piecewise-Affine Hybrid Systems

机译：分段 - 仿射混合系统的可观察性
- 作者：Pieter Collins;Jan H. van Schuppen
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
35.Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways

机译：使用伴随混合控制的网络拥塞减轻：高速公路应用
- 作者：Alexandre M. Bayen;Robin L. Raffard;Claire J. Tomlin
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
36.Constructing Invariants for Hybrid Systems

机译：构建混合系统的不变性
- 作者：Sriram Sankaranarayanan;Heriny B. Sipma;Zohar Manna
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
37.Discrete and Hybrid Nonholonomy

机译：离散和混合的非完美
- 作者：Antonio Bicch;Alessia Marigo;Benedetto Piccoli
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
38.Benchmarks for Hybrid Systems Verification

机译：混合系统验证的基准
- 作者：Ansgar Fehnker;Franjo Ivancic
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
39.Lazy Rectangular Hybrid Automata

机译：懒惰的矩形混合自动机
- 作者：Manindra Agrawal;P.S. Thiagarajan
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
40.Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems

机译：利用随机杂交系统造型枯草芽孢杆菌生产枯草芽孢杆菌
- 作者：Jianghai Hu;Wei-Chung Wu;Shankar Sastry
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
41.Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

机译：符号系统生物学：混合建模与生物网络分析
- 作者：Patrick Lincoln;Ashish Tiwari
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
42.Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems

机译：连续和混合系统可达性分析的增量搜索方法
- 作者：Amit Bhatia;Emilio Frazzoli
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
43.Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

机译：使用间隔算术约束的混合系统严格建模
- 作者：Timothy J. Hickey;David K. Wittenberg
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
44.A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems

机译：基于SAT的混合求解器，用于混合系统的最佳控制
- 作者：Alberto Bemporad;Nicolo Giorgetti
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年
45.A Stochastic Hybrid Model for Air Traffic Control Simulation

机译：用于空中交通管制模拟的随机混合模型
- 作者：William Glover;John Lygeros
- 会议名称：《Workshop on Hybrid Systems: Computation and Control》 | 2004年