List of Accepted Papers

• Antoine Girard. Synthesis using Approximately Bisimilar Abstractions: State-Feedback Controllers for Safety Specifications
• Kerstin Bauer and Klaus Schneider. Compiling Quartz Programs to Symbolic Descriptions of Hybrid Systems
• Thao Dang, Oded Maler and Romain Testylier. Accurate Hybridization of Non-linear Systems
• Tichakorn Wongpiromsarn, Ufuk Topcu and Richard Murray. Receding Horizon Control for Temporal Logic Specifications
• Anne-Kathrin Hess and Anders Rantzer. Distributed Kalman Filter Algorithms for Self-localization of Mobile Devices
• Florian Kerber and Arjan van der Schaft. Compositional analysis for linear control systems
• Humberto Gonzalez, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar Sastry, Ruzena Bajcsy and Claire Tomlin. A Descent Algorithm for the Optimal Control of Constrained Switched Nonlinear Dynamical Systems
• Vijay Gupta. On a Control Algorithm for Time-varying Processor Availability
• Sriram Sankaranarayanan. Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points.
• Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems
• Konstantinos Koutroumpas and John Lygeros. Modeling and verification of Stochastic Hybrid Systems using HIOA: A case study on DNA replication
• Federico Ramponi, Debasish Chatterjee, Sean Summers and John Lygeros. On the connections between PCTL and Dynamic Programming
• Joris Sijs, Mircea Lazar and Maurice Heemels. On Integration of Event-based Estimation and Robust MPC in a Feedback Loop
• Mircea Lazar and Andrej Jokic. On Infinity Norms as Lyapunov Functions for Piecewise Affine Systems
• Maurice Heemels, Nathan van de Wouw, Rob Gielen, Tijs Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, jamal daafouz and silviu niculescu. A Comparison of Overapproximation Methods for Stability Analysis of Networked Control Systems
• Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen and Nicolas Markey. Timed Automata with Observers under Energy Constraints
• Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George Pappas. Monte-Carlo Techniques for Falsification of Temporal Properties of Non Linear Systems.
• Kenji Kashima, Yasuyuki Kawamura and Jun-ichi Imura. Oscillation analysis of linearly coupled piecewise affine systems
• Mihaly Petreczky, Laurent Bako and Jan Hendrik van Schuppen. Identifiability of discrete-time linear switched systems
• Paolo Zuliani, Andre Platzer and Edmund Clarke. Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification
• Jianghai Hu, Jinglai Shen and Wei Zhang. A Generating Function Approach to the Stability of Discrete-Time Switched Linear Systems
• Saurabh Amin, Xavier Litrico, Shankar Sastry and Alexandre Bayen. Stealthy deception attacks on water SCADA systems
• Eric Wendel and Aaron Ames. Rank Properties of Poincare Maps for Hybrid Systems with Applications to Bipedal Walking
• Andrew Godbehere and Shankar Sastry. Polar Coordinate Methods for the Design and Analysis of Switched Linear Systems
• Assaf Kfoury, Azer Bestavros, Andrei Lapets and Michael Ocean. Safe Compositional Network Sketches: The Formal Framework
• Punyaslok Purkayastha and John Baras. Convergence Results for Ant Routing Algorithms via Stochastic Approximations
• Prapaporn Rattanatamrong and Jos� Fortes. Real-Time Scheduling of Mixture-of-Experts Systems with Limited Resources
• P. S. Thiagarajan and Shaofa Yang. Succinct Discrete Time Approximations of Distributed Hybrid Automata
• Branko Kerkez, Steven D. Glaser, John A. Dracup and Roger C. Bales. A Hybrid System Model of Seasonal Snowpack Water Balance