HART'97
International Workshop on Hybrid and Real-Time Systems
Grenoble, France, March 26-28, 1997
The focus of this workshop is on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. A hybrid system consists of digital devices that interact with analog environments. Driven by rapid advances in digital controller technology, hybrid systems are objects of investigation of increasing relevance and importance. The emerging area of hybrid systems research lies at the crossroads of computer science and control theory: computer science contributes expertise on the digital aspects of a hybrid system, and control theory contributes expertise on the analog aspects. Since the two research communities speak largely different languages, and employ largely different methods, it was the purpose of the workshop to bring together researchers from both computer science and control theory.
This workshop, sponsored by the European Community Esprit program under research grant HYBRID EC-US-043, was preceded by several formal and informal meetings, at Ithaca, New York (1991, 1994, 1996), Lyngby, Denmark (1992), Boston, Massachusetts (1993), Grenoble, France (1995) and New Brunswick, New Jersey (1995). The three-day workshop will feature 2 tutorial surveys, 5 invited presentations and 31 contributed papers (22 regular and 9 short), which were refereed and selected by the program committee before the workshop.
Program
Wednesday, 26/3/97
8:30 Opening session
9:00 Tutorial: Verifying Liveness Properties of Reactive Systems,
Amir Pnueli
10:30 Tutorial: The Lyapunov Method,
Zvi Artstein
12:00 Relating High-level and Low-level Action Descriptions in a Logic
of Actions and Change, Erik Sandewall
12:30 Lunch break
14:00 A new Algorithm for Discrete Timed Symbolic Model Checking,
Juergen Ruf, Thomas Kropf
14:30 State Clock Logic: a Decidable Real-Time Logic,
Jean-Francois Raskin, Pierre-Yves Schobbens
15:00 From Quantity to Quality,
Thomas A. Henzinger, Orna Kupferman
15:30 Coffee break
16:00 Short presentations:
Verifying Periodic Task-Control Systems,
Vlad Rusu
A Case Study in Timed CSP: the Railroad Crossing Problem,
Luming Lai, Phil Watson
Analysis of Slope-parametric Hybrid Automata,
Frederic Boniol, Augusto Burgueno, Olivier Roux, Vlad Rusu
Comparing Timed C/E Systems with Timed Automata,
R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, J. Preussig
Design Tools for Hybrid Control Systems,
Mohamed Hajji, J. Bass, A. Browne, P. Fleming,
17:15 Invited talk: On-line Constraint Satisfaction for Hybrid
Systems,
Michael S. Branicky
Thursday, 27/3/97
8:30 Invited talk: Hybrid Control Issues
in Air Traffic Management Systems,
Shankar Sastry
9:30 Multiobjective Hybrid Controller Synthesis,
John Lygeros, Claire Tomlin, Shankar Sastry
10:00 Modeling a Time-Dependent Protocol using the Circal Process Algebra,
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
10:30 Coffee break
11:00 Using hytech to verify an Automotive Control System,
Thomas Stauner, Olaf Mueller, Max Fuchs
11:30 Safety Verification for Automated Platoon Maneuvers: A Case Study,
Ekaterina Dolginova, Nancy Lynch
12:00 Verifying Hybrid Systems Modeled as Timed Automata: A Case Study,
Myla Archer, Constance Heitmeyer
12:30 Lunch break
14:00 Using an Object-Oriented Methodology to bring a Hybrid System
from Initial Concept to Formal Definition, David Sinclair
14:30 A Digital Real-Time Simulator for Rail-Vehicle Control System
Testing,
Peter Terwiesch, Erich Scheiben, Anders Jenry Petersen, Thomas Keller
15:30 Hybrid Flow Nets for Hybrid Process Modelling and Control,
Jean-Marie Flaus, Guy Ollagnon
16:00 Coffee break
16:30 Representation of Robust and Non-robust Solutions of Nonlinear
Discrete-Continuous Systems, Boris M. Miller
17:00 Controller Design of Hybrid Systems,
Bengt Lennartson, Stefan Pettersson
17:30 Invited talk: What Can We Learn from Synchronous Data-flow
Languages?
Paul Caspi
20:00 Conference Dinner
General Information
Location: The worshop will take place in Grenoble at amphitheatre Barbillon at the engineering school INPG, 46 av. Felix Viallet, 2 minutes walk from the railway station. Grenoble, the capital of the Alpes, is an important information technology center with 3 universities, 7 engineering schools, many research centers, computer manufacturers and software companies. The city is surrounded by mountains and at the time of the conference, several ski stations, less than two hours away from Grenoble, are expected to be still active. The conference dinner will take place at the restaurant Les Terrasses of the Grand Hotel, Uriage -- a small town near Grenoble famous for its thermal springs.
Transportation:
Train: From Paris, the fast TGV train departs from Gare de Lyon several times a day and reaches Grenoble within 3 hours.
Plane: The airports of Lyon (Satolas) and Geneva (Cointrin) are served by most major airlines. From Lyon-Satolas you can take a shuttle bus to Grenoble (one hour), from Geneva-Cointrin you can take a train to Grenoble (3 hours). Grenoble Airport (Saint Geoirs) is served mostly by local flights, and from there you can take a bus to Grenoble (40mn).
Inside Grenoble: Tram tickets are bought using automatic machines at the stations (some machines do not give change). Tickets cost 7.5 francs each or 51 francs for ten tickets. They can be used in trams and buses within one hour after the first usage, but only in the same direction.
Accomodation: We propose three hotels in downtown Grenoble. All the rooms are All the prices include breakfast.
| Hotel | location | Single | Double |
| Grand Hotel (***) | Grenoble's old town | 323 FF | 406 FF |
| Hotel des Alpes (**) | near the railway station | 242 FF | 334 FF |
| Hotel Bastille (**) | near the railway station | 242 FF | 334 FF |
Registration fees: The fees are 1700 FF (regular) and 1200 FF (for students). Both cover attendance to all sessions, a copy of the proceedings (Springer LNCS 1201), conference dinner, lunches and coffee breaks.
Program committee: R. Alur (Bell labs), Z. Artstein (Weizmann), E. Asarin (IPPI, Moscow), T. Henzinger (Berkeley), B. Krogh (CMU), Y. Lakhnech (Kiel), K. Larsen (Aalborg), N. Lynch (MIT), O. Maler (Verimag, chair), S. Nadjm-Tehrani (Linkoping), A. Pnueli (Weizmann), J. van Schuppen (CWI), E. Sontag (Rutgers), P. Varaiya (Berkeley), F. Vaandrager (Nijmegen).
Organizing Committee: A. Bouajjani, O. Maler, S. Yovine.
For further information contact:
Chantal Costes
Verimag
Centre Equation
2, av. de Vignate
38610 Gières, France
Phone: +33 (0) 476 63 48 47
Fax: +33 (0) 476 63 48 50
Refgistration form: