Accepted Papers

Van Luong Le, Fabien Lauer, Laurent Bako and Gérard Bloch. Learning Nonlinear Hybrid Systems: from Sparse Optimization to Support Vector Regression
Krishnendu Chatterjee, Alexander Kößler and Ulrich Schmid. Automated Analysis of Real-Time Scheduling using Graph Games
Zhi Han and Pieter Mosterman. Towards Sensitivity Analysis of Hybrid Systems Using Simulink (Tool and case study paper)
Matthias Althoff. Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets
Daniel Liberzon. Limited-information control of hybrid systems via reachable set propagation
Hongfei Fu. Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata
Sebti Mouelhi, Antoine Girard and Gregor Goessler. CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions (Tool and case study paper)
Akshay Rajhans and Bruce Krogh. Compositional Heterogeneous Abstraction
Arquimedes Canedo, Livio Dalloro and Hartmut Ludwig. Pipelining for Cyclic Control Systems
Stefano Di Cairano, Maurice Heemels, Mircea Lazar and Alberto Bemporad. Hybrid Control Lyapunov Functions for Stabilization of Hybrid Systems
Taolue Chen, Marco Diciolla, Marta Kwiatkowska and Alexandru MereacreA Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers (Tool and case study paper)
Yanni Kouskoulas, David Renshaw, André Platzer and Peter Kazanzides. Certifying the Safe Design of a Virtual Fixture Control Algorithm for a Surgical Robot
Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell and Claire J. Tomlin. One-Shot Computation of Reachable Sets for Differential Games
Ilya Tkachev and Alessandro Abate. Formula-free finite abstractions for linear temporal verification of Stochastic Hybrid Systems
Maryam Kamgarpour, Sean Summers and John Lygeros. Control Design for Property Specifications on Stochastic Hybrid Systems
Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit and Moshe Y. Vardi. Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
Rajeev Alur, Vojtech Forejt, Salar Moarref and Ashutosh Trivedi. Safe Schedulability of Bounded-Rate Multi-Mode Systems
Dirk van Zwieten, Erjen Lefeber and W.P.M.H. Heemels. Observer design for a class of piecewise affine hybrid systems
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols (Tool and case study paper)
Timothy Bourke and Marc Pouzet. Zélus: A Synchronous Language with ODEs (Tool and case study paper)
Quan Zu, Miaomiao Zhang, Jiaqi Zhu and Naijun Zhan. Bounded Model-checking of Discrete Duration Calculus
Massimo Benerecetti and Marco Faella. Tracking Differentiable Trajectories across Polyhedra Boundaries
Matthias Rungger, Manuel Mazo and Paulo Tabuada. Specification guided controller synthesis for linear systems and safe linear-time temporal logic
Ebru Aydin Gol and Mircea Lazar. Temporal Logic Model Predictive Control for Discrete-Time Systems
Ricardo Sanfelice, David Copp and Pablo Ñañez. A Toolbox for Simulation of Hybrid Systems in Matlab/Simulink (Tool and case study paper)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen and Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems
Pavithra Prabhakar and Mahesh Viswanathan. On the Decidability of Stability of Hybrid Systems
Ernst Moritz Hahn and Holger Hermanns. Rewarding Probabilistic Hybrid Automata
Goran Frehse, Colas Le Guernic and Rajat Kateja. Flowpipe Approximation and Clustering in Space-Time
Eike Moehlmann and Oliver Theel. Stabhyli -- A Tool for Automatic Stability Verification of Non-Linear Hybrid Systems (Tool and case study paper)
Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli and Daniela Rus. Least-violating Control Strategy Synthesis with Safety Rules
Michael Posa, Mark Tobenkin and Russ Tedrake. Lyapunov Analysis of Rigid Body Systems with Impacts and Friction via Sums-of-Squares
Sarah Loos, David Renshaw and André Platzer. Formal Verification of Distributed Aircraft Controllers (Tool and case study paper)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh and Sanjit Seshia. Mining Requirements from Closed-loop Control Models
Heath Leblanc and Xenofon Koutsoukos. Resilient Synchronization in Robust Networked Multi-Agent Systems
Jerome Thai and Alexandre Bayen. State estimation for polyhedral hybrid systems and applications to the Godunov scheme
Daniele Fontanelli, Luca Greco and Luigi Palopoli. Optimal CPU Allocation to a Set of Control Tasks with Soft Real--Time Execution Constraints
Koushil Sreenath, Connie Hill and Vijay Kumar. A Partially Observable Hybrid System Model for Bipedal Locomotion for Adapting to Terrain Variations (Tool and case study paper)
Krishnendu Chatterjee and Vinayak Prabhu. Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems
Ganesh Kumar, Aurelie Buffin, Theodore Pavlic, Stephen Pratt and Spring Berman. A Stochastic Hybrid System Model of Collective Transport in the Desert Ant Aphaenogaster cockerelli (Tool and case study paper)