|
Thursday,
April 3
|
|
| 8:45 - 9:00 | Welcome |
| 9:00 - 10:00 | Invited
Talk: David Harel A Grand Challenge: Full Reactive Modeling of a Multi-Cellular Animal |
| 10:00 - 10:30 | Break |
| 10:30 - 10:55 | Hybrid Modeling
and Simulation of Genetic Regulatory Networks: A Qualitative Approach
Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Tewfik Sari, Johannes Geiselmann |
| 10:55 - 11:20 | Hybrid Modelling
and Control of Power Electronics Matthew Senesky, Gabriel Eirea, T. John Koo |
| 11:20 - 11:45 | Modeling
the Electrical Activity of a Neuron by a Continuous and Piecewise Linear
Hybrid System Jean-Guillaume Dumas and Aude Rondepierre |
| 11:45 - 12:10 | Modelling, Well-posedness
and Stability of Switched Electrical Networks W.P.M.H. Heemels, M.K. Camlibel, A.J. van der Schaft and J.M. Schumacher |
| 12:35 - 14:00 | Lunch |
| 14:00 - 14:25 | A
Greedy Approach to Identification of Piecewise Affine Models A. Bemporad, A. Garulli, S. Paoletti, A. Vicino |
| 14:25 - 14:50 | Conditions
of Optimal Classification for Piecewise Affine Regression Giancarlo Ferrari-Trecate, Michael Schinkel |
| 14:50 - 15:15 | Estimation
of Distributed Hybrid Systems Using Particle Filtering Methods Xenofon Koutsoukos, James Kurien, Feng Zhao |
| 15:15 - 15:40 | Observability
of Linear Hybrid Systems Rene Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry |
| 15:40 - 16:25 | Mode
Reconstruction for Source Coding and Multi-Modal Control Adam Austin and Magnus Egerstedt |
| 16:25 - 16:55 | Break |
| 16:55 -17:20 | Hybrid Control
Design for a Wheeled Mobile Robot Thomas Bak, Jan Bendtsen, Anders P. Ravn |
| 17:20 -17:45 | Hybrid Control
of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions
A. Bemporad, P. Borodani, M. Mannelli |
| 17:45 -18:10 | Multi-Object
Adaptive Cruise Control Rainer Möbus, Mato Baotic |
| 19:30 - | Welcome Reception at the Pyramida Hotel |
|
Friday,
April 4
|
|
| 9:00 - 10:00 | Invited
Talk: David Berlinski The Mathematics of Matter and the Mathematics of Mind |
| 10:00 - 10:30 | Break |
| 10:30 - 10:55 | Results and Perspectives
on Computational Methods for Optimal Control of Switched Systems Xuping Xu, Panos J. Antsaklis |
| 10:55 - 11:20 | Otabilization of LTI Systems with Quantized State - Quantized Input Static Feedback Bruno Picasso, Antonio Bicchi |
| 11:20 - 11:45 | On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times and Location Schedules M. Shahid Shaikh, Peter E. Caines |
| 11:40 - 12:10 | Event Prediction for Switching Linear Systems with Time Varying Thresholds using Orthogonal Functions A. Kwiatkowski G. Lichtenberg |
| 12:10 - 14:00 | Lunch |
| 14:00-14:25 |
Automated Symbolic Reachability
Analysis; with Application to Delta-Notch Signaling Automata |
| 14:25-14:50 |
Approximate Reachability
for Linear Systems |
| 14:50-15:15 |
Progress on Reachability
Analysis of Hybrid Systems using Predicate Abstraction |
| 15:15-15:40 |
Efficient Representation
and Computation of Reachable Sets for Hybrid Systems |
| 15:40-16:05 |
Reachability Analysis of
Nonlinear Systems Using Conservative Approximation |
| 16:05 - 16:35 | Break |
| 16:35-17:00 | Efficient
Mode Enumeration of Compositional Hybrid Models Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari |
| 17:00-17:25 | On
Systematic Simulation of Open Continuous Systems Jim Kapinski, Oded Maler, Olaf Stursberg, Bruce Krogh |
| 17:25-17:50 | On
The Causality of Mixed-Signal and Hybrid Models Jie Liu, Edward A. Lee |
| 20:00 - | Gala Dinner at Chateau Troja |
|
Saturday,
April 5
|
|
| 9:00 - 9:25 | The
Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded
Systems William C. Rounds, Hosung Song |
| 9:25 - 9:50 | A
Hoare Logic for Single-Input Single-Output Continuous Time Control Systems
Richard Boulton, Ruth Hardy, Ursula Martin |
| 9:50 - 10:15 | Universality
and Language Inclusion for Open and Closed Timed Automata Joel Ouaknine, James Worrell |
| 10:15 - 10:40 | Model
Checking LTL over Controllable Linear Systems is Decidable Paulo Tabuada and George J. Pappas |
| 10:40 - 11:10 | Break |
| 11:10-12:10 | Invited Talk:
Udi Peless Developing Home Robotics Products: Challenges and Lessons Learned |
| 12:10 - 14:00 | Lunch |
| 14:00-14:25 | Approximate
Stabilisation of Uncertain Hybrid Systems Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube |
| 14:25-14:50 | Constrained
Hybrid Control of Parabolic PDEs Nael H. El-Farra, Panagiotis D. Christofides |
| 14:50-15:15 | Reachability
Questions in Piecewise Deterministic Markov Processes Manuela L. Bujorianu, John Lygeros |
| 15:15 - 15:45 | Break |
| 15:45-16:10 | Automatic Verification
of a Turbogas Control System with the Murphi Verifier Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli |
| 16:10-16:35 | On
the application of hybrid control to CPU Reservations Luigi Palopoli, Luca Abeni, Giuseppe Lipari |
| 16:35-17:00 | Qualitative
Heterogeneous Control of Higher Order Systems Subramanian Ramamoorthy, Benjamin J Kuipers |
| 17:00-17:25 | Modeling
and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems Leandro G. Barajas, Abhinav Saxena, Ashish Kansal, Magnus B. Egerstedt |
| 17:25-17:50 | Safety
Verification of Model Helicopter Controller using Hybrid Input/Output Automata
Sayan Mitra, Yong Wang, Nancy Lynch, Eric Feron |
|
THE END
|
|