default search action
16. HSCC 2013: Philadelphia, PA, USA
- Calin Belta, Franjo Ivancic:
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013, ISBN 978-1-4503-1567-8
Control I
- Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus:
Least-violating control strategy synthesis with safety rules. 1-10 - Daniel Liberzon:
Limited-information control of hybrid systems via reachable set propagation. 11-20 - Heath LeBlanc, Xenofon D. Koutsoukos:
Resilient synchronization in robust networked multi-agent systems. 21-30
HSCC invited speaker session
- Aaron D. Ames:
Human-inspired control of bipedal robots via control lyapunov functions and quadratic programs. 31-32
Learning
- Van Luong Le, Fabien Lauer, Laurent Bako, Gérard Bloch:
Learning nonlinear hybrid systems: from sparse optimization to support vector regression. 33-42 - Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. 43-52
Stability
- Pavithra Prabhakar, Mahesh Viswanathan:
On the decidability of stability of hybrid systems. 53-62 - Michael Posa, Mark M. Tobenkin, Russ Tedrake:
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares. 63-72 - Stefano Di Cairano, Maurice Heemels, Mircea Lazar, Alberto Bemporad:
Hybrid control lyapunov functions for the stabilization of hybridsystems. 73-82
Tool and case study papers
- Sebti Mouelhi, Antoine Girard, Gregor Gößler:
CoSyMA: a tool for controller synthesis using multi-scale abstractions. 83-88 - Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. 89-94 - Zhi Han, Pieter J. Mosterman:
Towards sensitivity analysis of hybrid systems using simulink. 95-100 - Ricardo G. Sanfelice, David A. Copp, Pablo Nanez:
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox. 101-106 - Eike Möhlmann, Oliver E. Theel:
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. 107-112 - Timothy Bourke, Marc Pouzet:
Zélus: a synchronous language with ODEs. 113-118 - Ganesh P. Kumar, Aurélie Buffin, Theodore P. Pavlic, Stephen Pratt, Spring Berman:
A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli. 119-124 - Sarah M. Loos, David W. Renshaw, André Platzer:
Formal verification of distributed aircraft controllers. 125-130 - Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. 131-136 - Koushil Sreenath, Connie R. Hill Jr., Vijay Kumar:
A partially observable hybrid system model for bipedal locomotion for adapting to terrain variations. 137-142
State estimation
- Jerome Thai, Alexandre M. Bayen:
State estimation for polyhedral hybrid systems and applications to the Godunov scheme. 143-152 - Dirk van Zwieten, Erjen Lefeber, Maurice Heemels:
Observer design for a class of piecewise affine hybrid systems. 153-162 - Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid:
Automated analysis of real-time scheduling using graph games. 163-172
Reachability
- Matthias Althoff:
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. 173-182 - Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, Claire J. Tomlin:
One-shot computation of reachable sets for differential games. 183-192 - Massimo Benerecetti, Marco Faella:
Tracking differentiable trajectories across polyhedra boundaries. 193-202 - Goran Frehse, Rajat Kateja, Colas Le Guernic:
Flowpipe approximation and clustering in space-time. 203-212 - Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan:
Bounded model-checking of discrete duration calculus. 213-222
Scheduling
- Arquimedes Canedo, Livio Dalloro, Hartmut Ludwig:
Pipelining for cyclic control systems. 223-232 - Daniele Fontanelli, Luigi Palopoli, Luca Greco:
Optimal CPU allocation to a set of control tasks with soft real-time execution constraints. 233-242 - Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi:
Safe schedulability of bounded-rate multi-mode systems. 243-252
Verification
- Akshay Rajhans, Bruce H. Krogh:
Compositional heterogeneous abstraction. 253-262 - Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides:
Certifying the safe design of a virtual fixture control algorithm for a surgical robot. 263-272 - Krishnendu Chatterjee, Vinayak S. Prabhu:
Quantitative timed simulation functions and refinement metrics for real-time systems. 273-282
Stochastic hybrid systems
- Ilya Tkachev, Alessandro Abate:
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. 283-292 - Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. 293-302 - Maryam Kamgarpour, Sean Summers, John Lygeros:
Control design for specifications on stochastic hybrid systems. 303-312 - Ernst Moritz Hahn, Holger Hermanns:
Rewarding probabilistic hybrid automata. 313-322 - Hongfei Fu:
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata. 323-332
Control II
- Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. 333-342 - Ebru Aydin Gol, Mircea Lazar:
Temporal logic model predictive control for discrete-time systems. 343-352 - 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. 353-362
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.