Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. HSCC 2011: Chicago, IL, USA
- Marco Caccamo, Emilio Frazzoli, Radu Grosu:
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. ACM 2011, ISBN 978-1-4503-0629-4
Keynote
- George J. Pappas:
Wireless control networks: modeling, synthesis, robustness, security. 1-2
Hybrid systems theory
- Aneel Tanwani
, Hyungbo Shim, Daniel Liberzon:
Observability implies observer design for switched linear systems. 3-12 - Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. 13-22 - Marc Geilen, Stavros Tripakis, Maarten Wiggers:
The earlier the better: a theory of timed actor interfaces. 23-32
Stochastic systems
- Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Measuring performance of continuous-time stochastic processes using timed automata. 33-42 - Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. 43-52 - Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. 53-62
Verification
- André Platzer:
Quantified differential invariants. 63-72 - Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. 73-82 - Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre:
Quantitative automata model checking of autonomous stochastic hybrid systems. 83-92
Reachable set computation
- Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. 93-102 - Ian M. Mitchell:
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. 103-112 - Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. 113-122
Approximation and abstraction
- Thao Dang, Romain Testylier:
Hybridization domain construction using curvature estimation. 123-132 - Pavithra Prabhakar, Mahesh Viswanathan:
A dynamic algorithm for approximate flow computations. 133-142 - Sriram Sankaranarayanan:
Automatic abstraction of non-linear systems using change of bases transformations. 143-152
Applications I
- Aaron D. Ames, Ramanarayan Vasudevan, Ruzena Bajcsy:
Human-data based cost of bipedal robotic walking. 153-162 - Aaron D. Ames:
Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach. 163-172 - Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian:
Impulsive control for nanopositioning: stability and performance. 173-180 - Constantin Florin Caruntu, Andreea Elena Balau, Mircea Lazar, Paul P. J. van den Bosch, Stefano Di Cairano:
A predictive control solution for driveline oscillations damping. 181-190
Synthesis I
- Javier Cámara, Antoine Girard, Gregor Gößler:
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. 191-200 - Ji-Woong Lee, Geir E. Dullerud:
Joint synthesis of switching and feedback for linear systems in discrete time. 201-210 - Rupak Majumdar, Elaine Render, Paulo Tabuada:
Robust discrete synthesis against unspecified disturbances. 211-220
Synthesis II
- Krishnendu Chatterjee, Vinayak S. Prabhu:
Synthesis of memory-efficient "real-time" controllers for safety objectives. 221-230 - Manuel Robles, Ricardo G. Sanfelice:
Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approach. 231-240 - Kathrin Flaßkamp, Sina Ober-Blöbaum:
Variational formulation and optimal control of hybrid lagrangian systems. 241-250
Applications II
- Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin:
A stochastic reach-avoid problem with random obstacles. 251-260 - Matthew J. Travers, Todd D. Murphey, Lucy Y. Pao:
Impulsive data association with an unknown number of targets. 261-270 - Jerome Le Ny, Eric Feron, George J. Pappas:
Resource constrained LQR control under fast sampling. 271-280
Network systems
- Heath LeBlanc, Xenofon D. Koutsoukos:
Consensus in networked multi-agent systems with adversaries. 281-290 - Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas:
Reputation-based networked control with data-corrupting channels. 291-300 - Michael D. Lemmon, Xiaobo Sharon Hu:
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts. 301-310
Tool presentation papers
- Maksim Lapin, Linar Mikeev, Verena Wolf:
SHAVE: stochastic hybrid analysis of markov population models. 311-312 - Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray:
TuLiP: a software toolbox for receding horizon temporal logic planning. 313-314 - Pritam Roy, Paulo Tabuada, Rupak Majumdar:
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. 315-316 - Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo:
A step towards verification and synthesis from simulink/stateflow models. 317-318
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
