Home		Accepted papers Regular papers (ordered by submission number) Aneel Tanwani, Hyungbo Shim and Daniel Liberzon. Observability implies Observer Design for Switched Linear Systems Werner Damm, Carsten Ihlemann and Viorica Sofronie-Stokkermans. Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata Matthias Althoff, Colas Le Guernic and Bruce Krogh. Reachable Set Computation for Uncertain Time-Varying Linear Systems Javier Cámara, Antoine Girard and Gregor Goessler. Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions Tomas Tuma, Angeliki Pantazi, John Lygeros and Abu Sebastian. Impulsive control for nanopositioning: stability and performance Sean Summers, Maryam Kamgarpour, Claire Tomlin and John Lygeros. A stochastic reach-avoid problem with random obstacles Andreea Balau, Mircea Lazar, Stefano Di Cairano, Constantin Caruntu and Paul van Den Bosch. A predictive control solution for driveline oscillations damping Marc Geilen, Stavros Tripakis and Maarten Wiggers. The Earlier the Better: A Theory of Timed Actor Interfaces Heath Leblanc and Xenofon Koutsoukos. Consensus in Networked Multi-Agent Systems with Adversaries Andre Platzer. Quantified Differential Invariants Michael Lemmon and Xiaobo "Sharon" Hu. Almost sure stability of networked control systems under exponentially bounded bursts of dropouts Shreyas Sundaram, Jian Chang, Krishna Venkatasubramanian, Chinwendu Enyioha, Insup Lee and George Pappas. Reputation-based Networked Control with Data-Corrupting Channels Ji-Woong Lee and Geir Dullerud. Joint Synthesis of Switching and Feedback for Linear Systems in Discrete Time Alessandro Abate, Joost-Pieter Katoen and Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems Kathrin Flaßkamp and Sina Ober-Blöbaum. Variational Formulation and Optimal Control of Hybrid Lagrangian Systems Tomas Brazdil, Jan Krcal, Jan Kretinsky, Antonin Kucera and Vojtech Rehak. Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick and Lijun Zhang. Measurability and Safety Verification for Stochastic Hybrid Systems Ian Mitchell. Scalable Calculation of Reach Sets and Tubes for Partially Nonlinear Systems with Terminal Integrators Matthew Travers, Todd Murphey and Lucy Pao. Impulsive Data Association with an Unknown Number of Targets Thao Dang and Romain Testylier. Hybridization Domain Construction using Curvature Estimation Sriram Sankaranarayanan. Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations. Jerome Le Ny, Eric Feron and George Pappas. Resource Constrained LQR Control Under Fast Sampling Rupak Majumdar, Elaine Render and Paulo Tabuada. Robust Discrete Synthesis against Unspecified Disturbances Manuel Robles and Ricardo Sanfelice. Hybrid Controllers for Tracking of Impulsive Reference Trajectories: A Hybrid Exosystem Approach Pavithra Prabhakar and Mahesh Viswanathan. A Dynamic Algorithm for Approximate Flow Computations Aaron Ames, Ram Vasudevan and Ruzena Bajcsy. Human-Data Based Cost of Bipedal Robotic Walking Aaron Ames. Characterizing Knee-Bounce in Bipedal Robotic Walking: A Zeno Behavior Approach Amir Ali Ahmadi, Raphael Jungers, Pablo A. Parrilo and Mardavij Roozbehani. Analysis of the Joint Spectral Radius via Lyapunov Functions on Path-Complete Graphs Manuela Luminita Bujorianu and Marius Bujorianu. Stochastic Non Sequitur Behavior Analysis of Fault Tolerant Hybrid Systems Kyoung-Dae Kim, Sayan Mitra and P. R. Kumar. Computing Bounded epsilon-Reach Set with Finite Precision Computations for a Class of Linear Hybrid Automata Krishnendu Chatterjee and Vinayak Prabhu. Synthesis of Memory Efficient Real-Time Controllers for Safety Objectives Tool papers (ordered by submission number) Maksim Lapin, Linar Mikeev and Verena Wolf. SHAVE - Stochastic Hybrid Analysis of Markov Population Models Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu and Richard Murray. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning Karthik Manamcheri, Sayan Mitra, Stanley Bak and Marco Caccamo. A step towards verification and synthesis from Simulink/Stateflow models Pritam Roy, Paulo Tabuada and Rupak Majumdar. Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Call for papers
Important dates
Technical program
Workshops
Events
Venue/Hotel
Poster session
Committees
Submission
Registration
Contact us
Sponsored by: