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 Mereacre. A 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)