Workshop: Topics in Computation and Control
Santa-Barbara 27-28/3 2006
A Satellite Event of HSCC’06
Organizer: Oded Maler
Scope
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
Program
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
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