| Sunday March 24 | Venue: Iris and B. Gerald Cantor Center for Visual Arts, Stanford University |
| 5 p.m. - 7:30 p.m. | Registration and Welcome Reception |
| Monday March 25 | Venue: Science and Engineering Quad Teaching Center (TCSeq), Stanford University |
| 7:30 a.m. - 8:20 a.m. | Registration (TCSeq) and Continental Breakfast (Bytes Cafe) |
| 8:20 a.m. - 8:30 a.m. | Welcome and opening statements |
| 8:30 a.m. - 9:30 a.m. | Plenary I
(Chair: Claire Tomlin)
From Models to Code: The Missing Link in Embedded Software Thomas A. Henzinger Professor of Electrical Engineering and Computer Sciences University of California at Berkeley |
| Coffee Break | Bytes Cafe |
| 10 a.m. - 12:30 p.m. | Technical Session 1:
Control I
(Chair: Manfred Morari)
Symmetry Reduction of A Class of Hybrid Systems Jianghai Hu, Shankar Sastry Control of Switched Hybrid Systems based on Disjunctive Formulations Olaf Stursberg, Sebastian Panek Design of Observers for Hybrid Systems Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis Robert P. Goldman, David J. Musliner, Michael J. S. Pelican A Comparison of Control Problems for Timed and Hybrid Systems Franck Cassez, Tom Henzinger, and Jean-Francois Raskin |
| 12:30 p.m. - 2 p.m. | Lunch - Bytes Cafe |
| 2 p.m. - 4 p.m. | Technical Session 2:
Viability and Numerical Methods
(Chair: Bruce Krogh)
Approximation of Hybrid Kernels for Impulse systems Patrick Saint-Pierre Dynamical Qualitative Analysis of Evolutionary Systems Jean-Pierre Aubin and Olivier Dordan Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi equation using Viability Techniques Alexandre M. Bayen and Eva Cruck and Claire J. Tomlin Ordered Upwind Methods for Hybrid Control J.A. Sethian and A. Vladimirsky |
| Tea Break | Bytes Cafe |
| 4:30 p.m. - 6:30 p.m. | Technical Session 3:
Applications
(Chair: Datta Godbole)
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies Michael S. Branicky and Siddharth R. Chhatpar Hybrid Control of a Truck and Trailer Vehicle Claudio Altafini, Alberto Speranzon, Karl Henrik Johansson Hybrid System Models of Navigation Strategies for Games and Animations Eric Aaron, Franjo Ivancic, Dimitris Metaxas Modeling and Control of Co-generation Power Plants: A Hybrid System Approach Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine |
| Tuesday March 26 | Venue: Science and Engineering Quad Teaching Center (TCSeq), Stanford University |
| 7:30 a.m. - 8:30 a.m. | Continental Breakfast - Bytes Cafe |
| 8:30 a.m. - 9:30 a.m. | Plenary II
(Chair: Mark Greenstreet)
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints Uri M. Ascher Professor of Computer Science University of British Columbia |
| Coffee Break | Bytes Cafe |
| 10 a.m. - 12:30 p.m. | Technical Session 4:
Piecewise Linear Systems
(Chair: Anders Ravn)
Computation of L2-Induced Norms of Switched Linear Systems Joao P. Hespanha Optimal Control of Discrete Time Linear Hybrid Systems Alberto Bemporad, Francesco Borrelli, Manfred Morari Quantized Stabilization of Two-Input Linear Systems: a Lower Bound on the Minimal Quantization Density Nicola Elia and Emilio Frazzoli Stability and Performance Analysis of Discrete-Time Piecewise Affine Systems with Logic States Giancarlo Ferrari-Trecate, Francesco Alessandro Cuzzola, Manfred Morari Towards computing phase portraits of polygonal differential inclusions E. Asarin, G. Schneider and S. Yovine |
| 12:30 p.m. - 1:30 p.m. | Lunch - Bytes Cafe |
| 1:30 p.m. - 4 p.m. | Technical Session 5:
Abstractions, Refinement, and Model Reduction
(Chair: George Pappas)
Bisimulation Based Hierarchical System Architecture for Single-agent Multi-modal Systems T. John Koo and S. Shankar Sastry Composing Abstractions of Hybrid Systems Paulo Tabuada, George J. Pappas and Pedro Lima Discrete-Time Refinement of Hybrid Automata Thomas Stauner Reachability Analysis of Hybrid Systems via Predicate Abstraction Rajeev Alur, Thao Dang, and Franjo Ivancic Series of Abstractions for Hybrid Automata Ashish Tiwari and Gaurav Khanna |
| 4 p.m. - 5:30 p.m. | Technical Session 6:
Tools Session
(Chair: Mark Greenstreet)
Packard Electrical Engineering Lobby (Coffee break included) |
| 5:30 p.m. - 10 p.m. | Venue: Thomas Fogarty Winery - Conference Banquet
Portola Valley, CA (buses depart from TCSeq at 5:45 p.m.) |
| Wednesday March 27 | Venue: Science and Engineering Quad Teaching Center (TCSeq), Stanford University |
| 7:30 a.m. - 8:30 a.m. | Continental Breakfast - Bytes Cafe |
| 8:30 a.m. - 9:30 a.m. | Plenary III
(Chair: Shankar Sastry)
Hybrid and Embedded Software Technologies For Production Large-Scale Systems David Sharp Technical Fellow The Boeing Company |
| Coffee Break | Bytes Cafe |
| 10 a.m. - 12:30 p.m. | Technical Session 7:
Fault Diagnosis and Recovery, AI Methods
(Chair: Jennifer Davoren)
An Approach to Model-based Diagnosis of Hybrid Systems Sriram Narasimhan and Gautam Biswas Information-Based Alpha-Beta Search and the Homicidal Chauffeur Todd W. Neller Mode Estimation of Probabilistic Hybrid Systems Michael W. Hofbaur and Brian C. Williams Qualitative Modeling and Heterogeneous Control of Global System Behavior Benjamin Kuipers and Subramanian Ramamoorthy Reconfiguration in Hierarchical Control of Piecewise Affine Systems Tal Pasternak |
| 12:30 p.m. - 1:30 p.m. | Lunch - Bytes Cafe |
| 1:30 p.m. - 4 p.m. | Technical Session 8:
Control II
(Chair: Gautam Biswas)
Feedback Control of Switched Nonlinear Systems Using Multiple Lyapunov Functions Nael H. El-Farra and Panagiotis D. Christofides Hybrid Control Loops, A/D Maps, and Dynamic Specifications J.M. Davoren, T. Moor and A. Nerode Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach Xiaobo Tan, John S. Baras Optimal Control Of Quantized Input Systems Stefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi Synthesis of Robust Control Systems under Resource Constraints Luigi Palopoli, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Laurent El-Ghaoui, Antonio Bicchi |
| Closing Statements |