8:30-10:00

CPSWeek Keynote at Seaport auditorium

[8:30] CPSWeek Welcome Message

[8:45] Deborah Estrin: “Sensemaking for Mobile Health”

10:00-10:30

Coffee break

10:30-12:05

Control I (Session Chair: Paulo Tabuada)

[10:30] HSCC Chairs Welcome

[10:35] Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli and Daniela Rus: “Least-violating Control Strategy Synthesis with Safety Rules”

[11:00] Daniel Liberzon: “Limited-information control of hybrid systems via reachable set propagation”

[11:25] Heath Leblanc and Xenofon Koutsoukos: “Resilient Synchronization in Robust Networked Multi-Agent Systems”

[11:50] Tool Teaser: Sebti Mouelhi, Antoine Girard and Gregor Goessler: “CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions”

[11:58] Tool Teaser: Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray: “An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols”

12:05-1:00

Lunch

1:00-2:00

HSCC Invited Talk (Session Chair: Calin Belta)

[1:00] Aaron D. Ames: "Human-Inspired Control of Bipedal Robots via Control Lyapunov Functions and Quadratic Programs"

2:00-3:05

Learning (Session Chair: Sriram Sankaranarayanan)

[2:00] Van Luong Le, Fabien Lauer, Laurent Bako and Gérard Bloch: “Learning Nonlinear Hybrid Systems: from Sparse Optimization to Support Vector Regression”

[2:25] Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh and Sanjit Seshia: “Mining Requirements from Closed-loop Control Models”

[2:50] Tool Teaser: Zhi Han and Pieter Mosterman: “Towards Sensitivity Analysis of Hybrid Systems Using Simulink”

[2:58] Tool Teaser: Ricardo Sanfelice, David Copp and Pablo Ñañez: “A Toolbox for Simulation of Hybrid Systems in Matlab/Simulink”

3:05-3:30

Coffee break

3:30-5:00

Stability (Session Chair: Xenofon Koutsoukos)

[3:30] Pavithra Prabhakar and Mahesh Viswanathan: “On the Decidability of Stability of Hybrid Systems”

[3:55] Michael Posa, Mark Tobenkin and Russ Tedrake: “Lyapunov Analysis of Rigid Body Systems with Impacts and Friction via Sums-of-Squares

[4:20] Stefano Di Cairano, Maurice Heemels, Mircea Lazar and Alberto Bemporad: “Hybrid Control Lyapunov Functions for Stabilization of Hybrid Systems”

[4:45] Tool Teaser: Eike Moehlmann and Oliver Theel: “Stabhyli -- A Tool for Automatic Stability Verification of Non-Linear Hybrid Systems”

[4:53] Tool Teaser: Timothy Bourke and Marc Pouzet: “Zélus: A Synchronous Language with ODEs”

5:00-8:00

CPSWeek Poster and Demo session with Reception

Includes all tool and case study papers accepted as HSCC, as well as HSCC accepted demo and poster abstract submissions (see below).

8:45-10:00

CPSWeek Keynote at Seaport auditorium

[8:45] Vijay Kumar: “Aerial Robot Swarms”

10:00-10:30

Coffee beak

10:30-12:00

State estimation (Session chair: Stefano diCairano)

[10:30] Jerome Thai and Alexandre Bayen: State estimation for polyhedral hybrid systems and applications to the Godunov scheme”

[10:55] Dirk van Zwieten, Erjen Lefeber and W.P.M.H. Heemels: “Observer design for a class of piecewise affine hybrid systems”

[11:20] Krishnendu Chatterjee, Alexander Kößler and Ulrich Schmid: “Automated Analysis of Real-Time Scheduling using Graph Games”

[11:45] Case Study Paper: 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”

12:00-1:00

Lunch

1:00-3:05

Reachability (Session Chair: Alessandro Abate)

[1:00] Matthias Althoff: “Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets”

[1:25] Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell and Claire J. Tomlin: “One-Shot Computation of Reachable Sets for Differential Games”

[1:50] Massimo Benerecetti and Marco Faella: “Tracking Differentiable Trajectories across Polyhedra Boundaries”

[2:15] Goran Frehse, Colas Le Guernic and Rajat Kateja: “Flowpipe Approximation and Clustering in Space-Time”

[2:40] Quan Zu, Miaomiao Zhang, Jiaqi Zhu and Naijun Zhan: ”Bounded Model-checking of Discrete Duration Calculus”

3:05-3:30

Coffee break

3:30-5:00

Scheduling (Session chair: Goran Frehse)

[3:30] Arquimedes Canedo, Livio Dalloro and Hartmut Ludwig: “Pipelining for Cyclic Control Systems”

[3:55] Daniele Fontanelli, Luca Greco and Luigi Palopoli: “Optimal CPU Allocation to a Set of Control Tasks with Soft Real--Time Execution Constraints”

[4:20] Rajeev Alur, Vojtech Forejt, Salar Moarref and Ashutosh Trivedi: “Safe Schedulability of Bounded-Rate Multi-Mode Systems”

[4:45] Case Study Paper: Sarah Loos, David Renshaw and André Platzer: “Formal Verification of Distributed Aircraft Controllers”

6:00-

CPSWeek Banquet on the Battleship New Jersey

Best Paper Award and Best Student Paper Award will be announced during the Banquet. 

8:45-10:00

CPSWeek Keynote at Seaport auditorium

[8:45] Manfred Broy: “Challenges in Modeling Cyber-Physical Systems”

10:00-10:30

Coffee beak

10:30-12:00

Verification (Session chair: Rajeev Alur)

[10:30] Akshay Rajhans and Bruce Krogh: “Compositional Heterogeneous Abstraction”

[10:55] Yanni Kouskoulas, David Renshaw, André Platzer and Peter Kazanzides: “Certifying the Safe Design of a Virtual Fixture Control Algorithm for a Surgical Robot”

[11:20] Krishnendu Chatterjee and Vinayak Prabhu: “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems”

[11:45] Case Study Paper: Taolue Chen, Marco Diciolla, Marta Kwiatkowska and Alexandru Mereacre: “A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers”

12:00-1:00

Lunch

1:00-3:05

Stochastic Hybrid Systems (Session chair: Marta Kwiatkowska)

[1:00] Ilya Tkachev and Alessandro Abate: “Formula-free finite abstractions for linear temporal verification of Stochastic Hybrid Systems”

[1:25] Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen and Alessandro Abate: “Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems”

[1:50] Maryam Kamgarpour, Sean Summers and John Lygeros: “Control Design for Property Specifications on Stochastic Hybrid Systems”

[2:15] Ernst Moritz Hahn and Holger Hermanns: “Rewarding Probabilistic Hybrid Automata”

[2:40] Hongfei Fu: “Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata”

3:05-3:30

Coffee break

3:30-5:00

Control II (Session Chair: Agung Julius)

[3:30] Matthias Rungger, Manuel Mazo and Paulo Tabuada: “Specification guided controller synthesis for linear systems and safe linear-time temporal logic”

[3:55] Ebru Aydin Gol and Mircea Lazar: “Temporal Logic Model Predictive Control for Discrete-Time Systems

[4:20] 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”

[4:45] Case Study Paper: Koushil Sreenath, Connie Hill and Vijay Kumar: “A Partially Observable Hybrid System Model for Bipedal Locomotion for Adapting to Terrain Variations”