Workshop: Topics in Computation and Control
Santa-Barbara 27-28/3 2006
A Satellite Event of HSCC’06
Organizer: Oded Maler
The workshop "Topics in Computation and Control" is intended to give an opportunity for researchers working in hybrid and embedded systems and other domains at the intersection of computation and control to give lengthier survey/tutorial presentation, not bounded necessarily to the last incremental technical results that they proved before the submission deadline of a conference. The talk will cover both theoretical and practical aspects of control and computation with emphasis on computationally-efficient analysis methods for hybrid and embedded systems and emerging new application domains such as systems biology and the mutual interaction between communication and control.
16:00 - 16:30 Break
Monday, March 27
13:30 - 16:00 Session 1: Computational Techniques
13:30 - 14:30 Alex Kurzhanskiy and Pravin Varaiya The Ellipsoidal Tool Box. Click here for slides.
14:30 - 15:00 Thao Dang Recent Progress in Reachability Computation. Click here for slides.
15:00 - 15:30 Antoine Girard Zonotope Techniques for Reachability Analysis. Click here for slides.
15:30 - 16:00 Stephen Prajna Optimization-Based Approach to Verification . Click here for slides.
16:30 - 18:30 Session 2: Control
16:30 - 17:00 Karl-Johan Astrom Relay Feedback: a Simple form of Hybrid Control. Click here for slides.
17:00 - 17:30 Richard Murray Data-rich, Networked Control Systems for Autonomous Operations.
17:30 - 18:00 Paul Caspi Some Motivations for building an Implementation Theory for Hybrid Systems. Click here for slides.
18:00 - 18:30 George Pappas Approximations for Discrete, Continuous, and Hybrid Systems. Click here for slides.
Tuesday, March 28
09:00 - 12:30 Session 3: Computation
09:00 - 09:45 Amir Pnueli Synthesis of Designs from Temporal Specifications . Click here for slides.
09:45 - 10:30 Bart Selman The Boolean Satisfiability Problem: Theory and Practice . Click here for slides.
10:30 - 11:00 Break
11:00 - 11:45 P S Thiagarajan Interacting Classes of Reactive Objects . Click here for slides.
11:45 - 12:30 Oded Maler Controller Synthesis with Adversaries. Click here for slides.
12:30 - 14:00 Lunch
14:00 - 16:30 Session 4: Systems Biology
14:00 - 14:45 Claire Tomlin Mathematical Modelling of Planar Cell Polarity in the Drosophila Wing. Click here for slides.
14:45 - 15:30 John Doyle Protocol Design and Analysis with applications to Biology. Click here for slides.
15:30 - 16:30 Charles Rockland Systems-science and Biology: Exploiting Creative Tensions. Click here for slides.
16:30 - 17:00 Break
17:00 - 18:30 Session 5: Perspectives
17:00 - 17:30 Manfred Morari Controlling Hybrid Systems: from Theory to Application. Click here for slides.
17:30 - 18:00 Bruce Krogh When will we be able to Verify Real Hybrid Systems?. Click here for slides.
18:00 - 18:30 Panel Discussion
16:00 - 16:30 Break