Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ernst Moritz Hahn, Holger Hermanns |
Rewarding probabilistic hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 313-322, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001 |
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 323-332, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ebru Aydin Gol, Mircea Lazar |
Temporal logic model predictive control for discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 343-352, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sarah M. Loos, David W. Renshaw, André Platzer |
Formal verification of distributed aircraft controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 125-130, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Rajat Kateja, Colas Le Guernic |
Flowpipe approximation and clustering in space-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 203-212, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Van Luong Le, Fabien Lauer, Laurent Bako, Gérard Bloch |
Learning nonlinear hybrid systems: from sparse optimization to support vector regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 33-42, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice, David A. Copp, Pablo Nanez |
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 101-106, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Rajhans, Bruce H. Krogh |
Compositional heterogeneous abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 253-262, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koushil Sreenath, Connie R. Hill Jr., Vijay Kumar 0001 |
A partially observable hybrid system model for bipedal locomotion for adapting to terrain variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 137-142, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
On the decidability of stability of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 53-62, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Resilient synchronization in robust networked multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 21-30, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin |
One-shot computation of reachable sets for differential games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 183-192, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh P. Kumar 0001, Aurélie Buffin, Theodore P. Pavlic, Stephen Pratt, Spring Berman |
A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 119-124, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebti Mouelhi, Antoine Girard, Gregor Gößler |
CoSyMA: a tool for controller synthesis using multi-scale abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 83-88, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames |
Human-inspired control of bipedal robots via control lyapunov functions and quadratic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 31-32, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray |
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 89-94, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi |
Iterative temporal motion planning for hybrid systems in partially unknown environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 353-362, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Calin Belta, Franjo Ivancic (eds.) |
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-1567-8 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia |
Mining requirements from closed-loop control models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 43-52, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Cairano, Maurice Heemels, Mircea Lazar, Alberto Bemporad |
Hybrid control lyapunov functions for the stabilization of hybridsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 73-82, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon |
Limited-information control of hybrid systems via reachable set propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 11-20, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Kamgarpour, Sean Summers, John Lygeros |
Control design for specifications on stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 303-312, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Fontanelli, Luigi Palopoli 0002, Luca Greco 0003 |
Optimal CPU allocation to a set of control tasks with soft real-time execution constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 233-242, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001 |
Safe schedulability of bounded-rate multi-mode systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 243-252, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Quantitative timed simulation functions and refinement metrics for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 273-282, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Marco Faella |
Tracking differentiable trajectories across polyhedra boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 193-202, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhi Han, Pieter J. Mosterman |
Towards sensitivity analysis of hybrid systems using simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 95-100, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Thai, Alexandre M. Bayen |
State estimation for polyhedral hybrid systems and applications to the Godunov scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 143-152, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate |
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 293-302, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada |
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 333-342, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 283-292, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Posa, Mark M. Tobenkin, Russ Tedrake |
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 63-72, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides |
Certifying the safe design of a virtual fixture control algorithm for a surgical robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 263-272, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff |
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 173-182, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 131-136, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus |
Least-violating control strategy synthesis with safety rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 1-10, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 207-216, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
Transcendental inductive invariants generation for non-linear differential and hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 25-34, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Eric A. Cousineau, Matthew J. Powell |
Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 135-144, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Rajhans, Bruce H. Krogh |
Heterogeneous verification of cyber-physical systems using behavior relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 35-44, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Bertrand Jeannet |
From hybrid data-flow languages to hybrid automata: a complete translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 167-176, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Zuliani, Christel Baier, Edmund M. Clarke |
Rare-event verification for stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 217-226, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Linar Mikeev, Verena Wolf |
Parameter estimation for stochastic hybrid models of biochemical reaction networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 155-166, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Feng Zhu 0021, Han Yu 0002, Michael J. McCourt, Panos J. Antsaklis |
Passivity and stability of switched systems under quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 237-244, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ufuk Topcu, Necmiye Ozay, Jun Liu 0015, Richard M. Murray |
On synthesizing robust discrete controllers under modeling uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 85-94, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire J. Tomlin |
Verification and control of hybrid systems using reachability analysis with machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 1-2, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto |
A symbolic approach to the design of nonlinear networked control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 255-264, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Georgios Fainekos |
Falsification of temporal properties of hybrid systems using the cross-entropy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 125-134, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Reachability games for linear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 65-74, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhikun She, Bai Xue 0001 |
Algebraic analysis on asymptotic stability of switched hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 187-196, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron |
A generic ellipsoid abstract domain for linear time invariant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 105-114, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff, Bruce H. Krogh |
Avoiding geometric intersection operations in reachability analysis of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 45-54, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Low complexity resilient consensus in networked multi-agent systems with adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 5-14, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont |
Computing the viability kernel using maximal reachable sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 55-64, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Calin Belta |
Formal methods for dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 3-4, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen |
Robust PCTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 275-286, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue 0001, Xenofon D. Koutsoukos, Janos Sztipanovits |
NCSWT: an integrated modeling and simulation tool for networked control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 287-290, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra |
Lyapunov abstractions for inevitability of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 115-124, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Verification of linear duration properties over continuous-time markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 265-274, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Sloth, George J. Pappas, Rafael Wisniewski |
Compositional safety analysis using barrier certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 15-24, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen |
Efficient computation of generalized input-to-state ℒ2-gains of discrete-time switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 177-186, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Ashutosh Trivedi 0001, Dominik Wojtczak |
Optimal scheduling for constant-rate multi-mode systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 75-84, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Colombo, Domitilla Del Vecchio |
Efficient algorithms for collision avoidance at intersections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 145-154, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Ian M. Mitchell (eds.) |
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-1220-2 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Zhenqi Huang, Sayan Mitra |
Computing bounded reach sets from sampled simulation traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 291-294, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan 0001 |
Pre-orders for reasoning about stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 197-206, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lichun Li, Xiaofeng Wang 0007, Michael D. Lemmon |
Stabilizing bit-rates in quantized event triggered control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 245-254, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ebru Aydin Gol, Mircea Lazar, Calin Belta |
Language-guided controller synthesis for discrete-time linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 95-104, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tkachev, Alessandro Abate |
Regularization of bellman equations for infinite-horizon probabilistic properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pp. 227-236, 2012, ACM, 978-1-4503-1220-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin |
A stochastic reach-avoid problem with random obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 251-260, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001 |
Measurability and safety verification for stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 43-52, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pritam Roy, Paulo Tabuada, Rupak Majumdar |
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 315-316, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative automata model checking of autonomous stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 83-92, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of memory-efficient "real-time" controllers for safety objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 221-230, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Caccamo, Emilio Frazzoli, Radu Grosu (eds.) |
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-0629-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Matthew J. Travers, Todd D. Murphey, Lucy Y. Pao |
Impulsive data association with an unknown number of targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 261-270, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara, Antoine Girard, Gregor Gößler |
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 191-200, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 181-190, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian |
Impulsive control for nanopositioning: stability and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 173-180, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans |
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 73-82, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001 |
Automatic abstraction of non-linear systems using change of bases transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 143-152, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray |
TuLiP: a software toolbox for receding horizon temporal logic planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 313-314, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 13-22, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maksim Lapin, Linar Mikeev, Verena Wolf |
SHAVE: stochastic hybrid analysis of markov population models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 311-312, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Quantified differential invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 63-72, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Elaine Render, Paulo Tabuada |
Robust discrete synthesis against unspecified disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 211-220, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Le Ny, Eric Feron, George J. Pappas |
Resource constrained LQR control under fast sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 271-280, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames |
Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 163-172, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera 0001, Vojtech Rehák |
Measuring performance of continuous-time stochastic processes using timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 33-42, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Consensus in networked multi-agent systems with adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 281-290, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Romain Testylier |
Hybridization domain construction using curvature estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 123-132, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell |
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 103-112, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff, Colas Le Guernic, Bruce H. Krogh |
Reachable set computation for uncertain time-varying linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 93-102, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | George J. Pappas |
Wireless control networks: modeling, synthesis, robustness, security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 1-2, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee 0001, George J. Pappas |
Reputation-based networked control with data-corrupting channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 291-300, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo |
A step towards verification and synthesis from simulink/stateflow models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 317-318, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Lemmon, Xiaobo Sharon Hu |
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 301-310, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kathrin Flaßkamp, Sina Ober-Blöbaum |
Variational formulation and optimal control of hybrid lagrangian systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 241-250, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ji-Woong Lee, Geir E. Dullerud |
Joint synthesis of switching and feedback for linear systems in discrete time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 201-210, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geilen, Stavros Tripakis, Maarten Wiggers |
The earlier the better: a theory of timed actor interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, pp. 23-32, 2011, ACM, 978-1-4503-0629-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|