Joint CPSWEEK Programs at a Glance

People attending any one of the three conferences in the CPSWEEK cluster will be able to attend any session regardless of "home" conference. The joint programs at a glance is available here.

---

Technical Program (Final)

DAY 1: APRIL 22

8:15-8:30am Opening Remarks
CPSWEEK PLENARY 1: 9:00-10:00am
Wayne Wolf, Georgia Institute of Technology
Distributed Smart Cameras
Chair: Chris Gill

Coffee break 10:00-10:30am

HSCC SESSION 1 - REACHABILITY AND VERIFICATION: 10:30am-12:35pm
Chair: Paulo Tabuada
10:30 - 10:55: Verification of Supervisory Control Software Using State Proximity and Merging, Flavio Lerda, James Kapinski, Edmund M. Clarke and Bruce H. Krogh
10:55 - 11:20: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Antoine Girard and Colas Le Guernic
11:20 - 11:45: Contract-based design for computation and verification of a closed-loop hybrid system , Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi and Alberto Sangiovanni Vincentelli
11:45 - 12:10: Reachability of uncertain nonlinear systems using a nonlinear hybridization, Nacim Ramdani, Nacim Meslem and Yves Candau
12:10 - 12:35: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata, Goran Frehse, Sumit Kumar Jha and Bruce H. Krogh

Lunch 12:35-1:30pm

HSCC SESSION 2 - CONTROL DESIGN: 1:30-3:35pm
Chair: Michael Branicky
1:30 - 1:55: Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems, Axel Schild and Jan Lunze
1:55 - 2:20: A Control Lyapunov Approach to Predictive Control of Hybrid Systems, Stefano Di Cairano, Mircea Lazar, Alberto Bemporad and Maurice Heemels
2:20 - 2:45: Input-to-state stabilization with quantized output feedback, Yoav Sharon and Daniel Liberzon
2:45 - 3:10: Controller Synthesis with Budget Constraints, Krishnendu Chatterjee, Rupak Majumdar and Thomas Henzinger
3:10 - 3:35: Observer-based control of complementarity systems, WPMH Heemels, MK Camlibel, B Brogliato and JM Schumacher

Coffee break 3:35-4:00pm

HSCC SESSION 3 - NETWORKED SYSTEMS: 4:00-5:40pm
Chair: Karl Johansson
4:00 - 4:25: Co-Simulation for Networked Control Systems, Ahmad Al-Hammouri, Michael Branicky and Vincenzo Liberatore
4:25 - 4:50: Bisimilar Finite Abstractions of Interconnected Systems, Yuichi Tazaki and Jun-ichi Imura
4:50 - 5:15: Distributed Lyapunov Functions in Analysis of Graph Models of Software, Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli and Eric Feron
5:15 - 5:40: Anytime Control Algorithms for Embedded Real-Time Systems, Daniele Fontanelli, Luca Greco and Antonio Bicchi

CPSWEEK POSTER SESSION AND RECEPTION: 6:00-8:00pm

---

DAY 2: APRIL 23

CPSWEEK PLENARY 2: 9:00-10:00am
Seth Teller, MIT
Development of a Self-Driving Car as a Mobile Sensing Platform
Chair: IPSN

Coffee break 10:00-10:30am

HSCC SESSION 4 - APPLICATIONS: 10:30am-12:35pm
Chair: Antoine Girard
10:30 - 10:55: Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process, Derek Riley, Xenofon Koutsoukos and Kasandra Riley
10:55 - 11:20: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes, Radu Grosu, Ezio Bartoci, Flavio Corradini, Emilia Entcheva, Scott Smolka and Anita Wasilewska
11:20 - 11:45: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications with Applications to Gene Networks, Boyan Yordanov and Calin Belta
11:45 - 12:10: On the optimality of Dubins paths across heterogeneous terrain, Ricardo Sanfelice and Emilio Frazzoli
12:10 - 3:35: Safety and Liveness in Intelligent Intersections, Hemant Kowshik, Derek Caveney and P. R. Kumar

Lunch 12:35-1:30pm

HSCC SESSION 5 - STOCHASTIC AND TIMED SYSTEMS 1:30-3:35pm
Chair: Calin Belta
1:30 - 1:55: Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions, Pieter Cuijpers and Michel Reniers
1:55 - 2:20: Trading Infinite Memory for Uniform Randomness in Timed Games, Krishnendu Chatterjee, Thomas A. Henzinger and Vinayak S. Prabhu
2:20 - 2:45: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains, Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre
2:45 - 3:10 Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems, Martin Franzle, Holger Hermanns and Tino Teige
3:10 - 3:35: Markov Set-Chains as abstractions of Stochastic Hybrid Systems, Alessandro Abate, Alessandro D'Innocenzo, Maria D. Di Benedetto and Shankar S. Sastry

Coffee break 3:30-4:00pm

HSCC SESSION 6 - ALGORITHMS: 4:00-5:40pm
Chair: Radu Grosu
4:00 - 4:25: Optimotaxis: A Stochastic Multi-agent on Site Optimization Procedure, Alexandre Mesquita, Joao Hespanha and Karl Astrom
4:25 - 4:50: Solutions to switched Hamilton-Jacobi equations and conservation laws using hybrid components, Christian Claudel and Alexandre Bayen 4:50 - 5:15: Composition of Motion Description Languages, Wenqi Zhang and Herbert Tanner
5:15 - 5:40: On controllability of timed continuous Petri nets, C. Renato Vazquez, Antonio Ramirez-Trevino, Laura Recalde and Manuel Silva

CPSWEEK SPECIAL SESSION:6:00-7:00pm
Designing Future Systems for Airworthiness Certification: A Look at Mixed Criticality Architecture Requirements
David Homan (AFRL), Paul Miner (NASA), and Brad Martin (NSA)

CPSWEEK BANQUET:7:30-9:00pm

---

DAY 3: APRIL 24

CPSWEEK PLENARY 3: 9:00-10:00am
Jeannette M. Wing, Carnegie Mellon University and the U.S. National Science Foundation
Cyber-Physical Systems Research Challenges
Chair: Magnus Egerstedt

Coffee break 10:00-10:30am

HSCC SESSION 7 - SYMBOLIC MODELS: 10:30-12:35pm
Chair: Rupak Majumdar
10:30 - 10:55: Dealing with nondeterminism in symbolic control, Marius Kloetzer and Calin Belta
10:55 - 11:20: Discrete Abstractions of Two-Dimensional Nonlinear Hybrid Automata, Lorenzo Sella and Pieter Collins
11:20 - 11:45: LTLC: Linear Temporal Logic for Control, YoungMin Kwon and Gul Agha
11:45 - 12:10: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, Antoine Girard, Giordano Pola and Paulo Tabuada
12:10 - 12:35: A Decidable Class of Planar Linear Hybrid Systems, Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir Dullerud

Lunch 12:35-1:30pm

HSCC SESSION 8 - OPTIMAL CONTROL: 1:30-3:35pm
Chair: Alberto Bemporad
1:30 - 1:55: Complementarity Systems in Constrained Steady-state Optimal Control, Andrej Jokic, Mircea Lazar and Paul van den Bosch
1:55 - 2:20: Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems, Kerim Yunt
2:20 - 2:45: On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems, Wei Zhang and Jianghai Hu
2:45 - 3:10: On the Maximum Principle for Impulsive Hybrid Systems, Vadim Azhmyakov, Sid Ahmed Attia and Jorg Raisch
3:10 - 3:35: Noncausal Optimal Tracking of Linear Switched Systems, Gou Nakura

Coffee break 3:35-4:00pm

HSCC SESSION 9 - ESTIMATION AND IDENTIFICATION: 4:00-5:40pm
Chair: Jun-ichi Imura
4:00 - 4:25: Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems, Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad and Richard M. Murray
4:25 - 4:50: Realization Theory For Semi-Algebraic Hybrid Systems, Mihaly Petreczky and Rene Vidal
4:50 - 5:15: Switched and Piece-Wise Nonlinear Hybrid System Identification, Fabien LAUER and Gerard BLOCH
5:15 - 5:40: Identification of Switched MIMO ARX models, Laurent Bako and Rene Vidal

---

CPSWEEK POSTER SESSION: April 22, 6:00-8:00pm
HSCC Poster 1: Information Theoretical Approach to Identification of Hybrid Systems, Li Pu, Jinchun Hu and Badong Chen
HSCC Poster 2: Approximate Control Design for Solar Driven Sensor Nodes, Clemens Moser, Lothar Thiele, Davide Brunelli and Luca Benini
HSCC Poster 3: Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics, Ian Mitchell and Yoshihiko Susuki
HSCC Poster 4: Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates, Yoshiyuki Tsuchie and Toshimitsu Ushio
HSCC Poster 5: On the Timing of Discrete Events in Event-Driven Control Systems, Manel Velasco, Pau Marti and Camilo Lozoya
HSCC Poster 6: Qualitative stability patterns for Lotka-Volterra systems on rectangles, Laurent Tournier and Jean-Luc Gouz
HSCC Poster 7: Decentralized Event-triggered Broadcasts over Networked Control Systems, Xiaofeng Wang and Michael Lemmon
HSCC Poster 8: An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems, Matthew Daigle, Xenofon Koutsoukos and Gautam Biswas
HSCC Poster 9: Multiple Vehicles Formation and Steering Through Leader Based Consensus Interactions, Fabio Pasqualetti, Simone Martini and Antonio Bicchi
HSCC Poster 10: Modular Development of Hybrid Systems for Verification in Coq, Milad Niqui and Olga Tveretina
HSCC Poster 11: On stability of systems of linear hyperbolic conservation laws under switching boundary conditions, Saurabh Amin, Falk Hante and Alexandre Bayen
HSCC Poster 12: Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time, Ji-Woong Lee
HSCC Poster 13: Logical Verification and Systematic Parametric Analysis in Train Control, Andre Platzer and Jan-David Quesel
HSCC Poster 14: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control, Manuela Bujorianu, John Lygeros and Rom Langerak
HSCC Poster 15: Generating Box Invariants, Ashish Tiwari
HSCC Poster 16: A Policy Iteration Technique for Time Elapse over Template Polyhedra, Sriram Sankaranarayanan, Thao Dang and Franjo Ivancic
HSCC Poster 17: d-IRA : A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata, Sumit Kumar Jha
HSCC Poster 18: Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems, Amit Bhatia and Emilio Frazzoli
HSCC Poster 19: On the Existence of Zeno Behavior in Hybrid Systems with Non-Isolated Zeno Equilibria, Andrew Lamperski and Aaron Ames
HSCC Poster 20: Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps, Alessandro Abate, Maria Prandini, John Lygeros and Shankar Sastry

Last modified April 9, 2008