首页>外文会议>其他>Proceedings of the 14th international conference on hybrid systems: Computation and control.

Proceedings of the 14th international conference on hybrid systems: Computation and control.

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Joint Synthesis of Switching and Feedback for Linear Systems in Discrete Time

机译：离散时间线性系统切换与反馈的联合综合
- 作者：Ji-Woong Lee;Geir E. Dullerud
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- stability;
- feedback control;
- hybrid systems;
- small gain property;
- linear matrix inequality;
2.Characterizing Knee-Bounce in Bipedal Robotic Walking: A Zeno Behavior Approach

机译：表征双足机器人行走中的膝盖弹跳：Zeno行为方法
- 作者：Aaron D. Ames
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- hybrid mechanical systems;
- bipedal robotic walking;
- zeno behavior;
- stability;
- periodic orbits;
3.Observability Implies Observer Design for Switched Linear Systems

机译：可观察性意味着开关线性系统的观察器设计
- 作者：Aneel Tanwani;Hyungbo Shim;Daniel Liberzon
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- observability;
- observer design;
- switched linear systems;
4.Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid Automata

机译：合理的线性混合自动机安全性验证的可判定性和复杂性
- 作者：Werner Damm;Carsten Ihlemann;Viorica Sofronie-Stokkermans
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- theory;
- verification;
5.Measurability and Safety Verification for Stochastic Hybrid Systems

机译：随机混合系统的可测量性和安全性验证
- 作者：Martin Fraenzle;Ernst Moritz Hahn;Holger Hermanns;Nicolas Wolovick;Lijun Zhang
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- reliability;
- verification;
6.Automatic Abstraction of Non-Linear Systems Using Change of Bases Transformations

机译：使用基变换的非线性系统自动抽象
- 作者：Sriram Sankaranarayanan
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- ordinary differential equations;
- hybrid systems;
- algebraic geometry;
- invariants;
- verification;
- abstraction;
7.Quantified Differential Invariants

机译：量化微分不变量
- 作者：Andre Platzer
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
8.Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

机译：用于安全目标的内存高效实时控制器的综合
- 作者：Krishnendu Chatterjee;Vinayak S. Prabhu
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- timed automata;
- timed games;
- safety objectives;
- control;
9.Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems

机译：自治随机混合系统的定量自动机模型检验
- 作者：Alessandro Abate;Joost-Pieter Katoen;Alexandru Mereacre
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- stochastic hybrid systems;
- finite state automata;
- LTL;
10.Robust Discrete Synthesis against Unspecified Disturbances

机译：稳健的离散合成，针对未指定的干扰
- 作者：Rupak Majumdar;Elaine Render;Paulo Tabuada
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- cyber-physical systems;
- robustness;
- linear temporal logic;
11.SHAVE - Stochastic Hybrid Analysis of Markov Population Models

机译：SHAVE-马尔可夫种群模型的随机混合分析
- 作者：Maksim Lapin;Linar Mikeev;Verena Wolf
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- markov processes;
- tool;
- transient analysis;
12.Resource Constrained LQR Control Under Fast Sampling

机译：快速采样下的资源受限LQR控制
- 作者：Jerome Le Ny;Eric Feron;George J. Pappas
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- networked and embedded control systems;
13.Reachable Set Computation for Uncertain Time-Varying Linear Systems

机译：不确定时变线性系统的可到达集合计算
- 作者：Matthias Althoff;Colas Le Guernic;Bruce H. Krogh
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- reachability analysis;
- linear systems;
- uncertain parameters;
- peano-baker series;
- safety;
14.Impulsive Data Association with an Unknown Number of Targets

机译：具有未知数量目标的脉冲数据关联
- 作者：Matthew Travers;Todd Murphey;Lucy Pad
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- data association;
- optimization;
- filtering theory;
15.Consensus in Networked Multi-Agent Systems with Adversaries

机译：带有对手的网络化多代理系统的共识
- 作者：Heath LeBlanc;Xenofon Koutsoukos
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- consensus;
- dynamic agent;
- networked multi-agent system;
- robustness;
- adversary;
16.Computing Bounded e-Reach Set with Finite Precision Computations for a Class of Linear Hybrid Automata

机译：一类线性混合自动机的有限精度计算有界电子到达集
- 作者：Kyoung-Dae Kim;Sayan Mitra;P. R. Kumar
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- linear hybrid automata;
- reachability;
- transversal discrete transition;
- deterministic discrete transition;
17.Hybridization Domain Construction using Curvature Estimation

机译：使用曲率估计的杂交域构建
- 作者：Thao Dang;Romain Testylier
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- hybrid systems;
- formal verification;
- reachability analysis;
18.Almost Sure Stability of Networked Control Systems under Exponentially Bounded Bursts of Dropouts

机译：指数范围的辍学突发事件下网络控制系统的几乎肯定的稳定性
- 作者：Michael Lemmon;Xiaobo Sharon Hu
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- wireless;
- networked control systems;
- almost sure stability;
- dropout process;
- burstiness;
- network calculus;
19.Reputation-Based Networked Control with Data-Corrupting Channels

机译：具有数据损坏通道的基于信誉的网络控制
- 作者：Shreyas Sundaram;Jian Chang;Krishna K. Venkatasubramanian;Chinwendu Enyioha;Insup Lee;George J. Pappas
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- networked control;
- reputation. majority voting;
- stability analysis;
20.TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning

机译：TuLiP：用于撤消Horizon时间逻辑计划的软件工具箱
- 作者：Tichakorn Wongpiromsarn;Ufuk Topcu;Necrniye Ozay;Huan Xu;Richard M. Murray
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- linear temporal logic;
- receding horizon control;
21.A Step Towards Verification and Synthesis from Simulink/Stateflow Models

机译：从Simulink / Stateflow模型进行验证和综合的步骤
- 作者：Karthik Manamcheri;Sayan Mitra;Stanley Bak;Marco Caccamo
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- simulink;
- stateflow;
- hybrid automata;
22.Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions

机译：近似双相似多尺度抽象的开关控制器综合
- 作者：Javier Camara;Antoine Girard;Gregor Goessler
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- switched systems;
- multiscale abstractions;
- approximate bisimulation;
- optimal control;
- self-triggered controllers;
23.Human-Data Based Cost of Bipedal Robotic Walking

机译：基于人数据的双足机器人行走成本
- 作者：Aaron D. Ames;Ram Vasudeyan;Ruzena Bajcsy
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- bipedal walking;
- gait design;
- human locomotion;
- hybrid systems;
- cost functions;
24.A Dynamic Algorithm for Approximate Flow Computations

机译：近似流量计算的动态算法
- 作者：Pavithra Prabhakar;Mahesh Viswanathan
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- approximation;
- linear dynamical systems;
- post computation;
25.Scalable Calculation of Reach Sets and Tubes for Nonlinear Systems with Terminal Integrators A Mixed Implicit Explicit Formulation

机译：带有终端积分器的非线性系统的到达集和管道的可伸缩计算，混合隐式显式表示
- 作者：Ian M. Mitchell
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- nonlinear systems;
- continuous reachability;
- hamilton-jacobi equations;
- optimal control;
26.Impulsive Control for Nanopositloning: Stability and Performance

机译：纳米定位的脉冲控制：稳定性和性能
- 作者：Tomas Tuma;Angeliki Pantazi;John Lygeros;Abu Sebastian
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- hybrid systems;
- impulsive control;
- nanopositioning;
27.A Predictive Control Solution for Driveline Oscillations Damping

机译：传动系统振动阻尼的预测控制解决方案
- 作者：C.F. Caruntu;A.E. Balau;M. Lazar;P.RJ. v.d. Bosch;S. Di Cairano
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- automotive drivelines;
- predictive control;
- lyapunov methods;
28.Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

机译：使用定时自动机测量连续时间随机过程的性能
- 作者：Tomas Brazdil;Jan Krcal;Jan Kretinsky;Antonin Kucera;Vojtech Rehak
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- semi-markov processes;
- timed automata;
- performance analysis;
- general state space markov chains;
- stochastic stability;
29.Analysis of the Joint Spectral Radius via Lyapunov Functions on Path-Complete Graphs

机译：通过路径完全图上的Lyapunov函数分析联合光谱半径
- 作者：Amir Ali Ahmadi;Raphaeel M. Jungers;Pablo A. Parrilo;Mardavij Roozbehani
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- joint spectral radius;
- lyapunov methods;
- finite automata;
- semidefinite programming;
- stability of switched systems;
30.The Earlier the Better: A Theory of Timed Actor Interfaces

机译：越早越好：定时演员接口理论
- 作者：Marc Geilen;Stavros Tripakis;Maarten Wiggers
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- actors;
- dataflow;
- compositionality;
- throughput;
- latency;
- interfaces;
- refinement;
31.Stochastic Non Sequitur Behavior Analysis of Fault Tolerant Hybrid Systems

机译：容错混合系统的随机非严格行为分析
- 作者：Manuela L. Bujorianu;Marius C. Bujorianu
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- non sequitur behavior;
- manoeuvre automata;
- markov models;
- stochastic hybrid systems;
- fault tolerant control;
32.Hybrid Controllers for Tracking of Impulsive Reference State Trajectories: A Hybrid Exosystem Approach

机译：跟踪脉冲参考状态轨迹的混合控制器：混合外系统方法
- 作者：Manuel Robles;Ricardo G. Sanfelice
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- hybrid dynamical systems;
- tracking control;
- exosystem;
- asymptotic stability;
33.Variational Formulation and Optimal Control of Hybrid Lagrangian Systems

机译：混合拉格朗日系统的变分公式化和最优控制
- 作者：Kathrin Flasskamp;Sina Ober-Bioebaum
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- discrete mechanics;
- hybrid lagrangian system;
- multiobjective optimization;
- optimal control;
- variational mechanics;
34.A Stochastic Reach-Avoid Problem with Random Obstacles

机译：具有随机障碍的随机趋近避免问题
- 作者：Sean Summers;Maryam Kamgarpour;Claire Tomlin;John Lygeros
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- reachability;
- dynamic programming;
- markov processes;
- random sets;
35.Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems

机译：Pessoa 2.0：用于网络物理系统的控制器综合工具
- 作者：Pritam Roy;Paulo Tabuada;Rupak Majumdar
- 会议名称：《Proceedings of the 14th international conference on hybrid systems: Computation and control.》 | 2011年
- cyber-physical systems;
- controller synthesis;
- symbolic algorithms;
- linear temporal logic;