The IPA Lentedagen are an annual multi-day event, dedicated to a specific theme of current interest to the research community of IPA. This year's Lentedagen will be dedicated to Hybrid Systems.
More and more systems emerge in which discrete digital controllers control continuous physical processes. Such systems are called ``Hybrid Systems'', because they combine discrete and continuous behaviour. Although there are methods for understanding both forms of behaviour separately (continuous behaviour in control science and system theory, and discrete behaviour in computer science), the proper functioning of a hybrid system depends critically on the interaction between the discrete dynamics of the controller and the continuous dynamics of the environment. Hence, the correct and efficient design of such systems requires expertise that is spread over different research and engineering communities.
Over the past few years, IPA-researchers have made contact with researchers from the communities studying continuous behaviour and started to create a common theoretical basis for the understanding of hybrid systems. The program of the IPA Lentedagen will present the research currently performed in and around IPA on formalisms, tools, and techniques for the modeling, analysis, and validation of hybrid systems.
The program for the Lentedagen was composed by Jozef Hooman (ESI/KUN), Rom Langerak (UT), Michel Reniers (TU/e), and Arjan van der Schaft (UT). All speakers are now confirmed, titles of talks, abstracts, and papers will appear on this page as soon as they are available
11.00 - 12.00 Arrival and registration
12.00 - 13.30 Lunch
13.30 - 14.20 Rom Langerak (UT): Part 1 -- Hybrid automata and dynamical systems slides
14.30 - 15.20 Rom Langerak (UT): Part 2 -- Systems and control theory slides
15.20 - 15.40 Coffee and Tea
15.40 - 16.30 Rom Langerak (UT): Part 3 -- Several hybrid research topics slides
16.45 - 17.30 Nataliya Mulyar (TU/e, OOTI): Coupling of multidisciplinary models slides
17.30 - 18.15 Marcel Verhoef (Chess IT/KUN): Software and real-time, academic solutions versus industrial practice - how to bridge the gap? slides
18.15 - 19.00 Drinks
19.00 - ..... Dinner
09.00 - 09.45 Kees Middelburg (TU/e): Process algebra for hybrid systems slides
09.45 - 10.30 Pieter Cuijpers (TU/e): Action and predicate safety of hybrid processes paper 1 paper 2 slides
10.30 - 11.00 Coffee and Tea
11.00 - 11.45 Ed Brinksma (UT): A behavioural hybrid process calculus
11.45 - 12.30 Arjan van der Schaft (UT, Mathematics): Bisimulation for hybrid systems slides
12.30 - 14.00 Lunch
14.00 - 14.45 Jan Willem Polderman (UT, Mathematics): Stability of switched systems slides
14.45 - 15.30 Stefan Strubbe (UT, Mathematics): Compositional modelling of Stochastic Hybrid Systems slides
15.30 - 16.00 Coffee and Tea
16.00 - 16.45 Biniam Gebremichael (KUN): Specifying urgency in timed I/O automata slides
16.45 - 17.30 Adriaan de Groot (KUN): Hybrid automata in PVS
17.30 - 18.15 Serena Fregonese (KUN): Boebert's challenge revisited -- hybrid control of a vehicle
18.30 - 20.00 Dinner
20.00 - ... Social Event
09.00 - 09.45 Ulrich Hannemann (Bremen): Applying HybridUML as specification formalism paper slides
09.45 - 10.30 Coffee and Tea
10.30 - 11.15 Bert van Beek (TU/e, Mechanical Engineering): Overview of the hybrid Chi formalism slides
11.15 - 12.00 Ramon Schiffelers (TU/e, Mechanical Engineering): Syntax and semantics of the hybrid Chi formalism paper slides
12.00 - 12.45 Kalok Man (TU/e): Translating hybrid Chi to hybrid automata and vice versa slides
12.45 - 14.00 Lunch and Departure
(Costs are based on single room)
| IPA Ph.D. students (shared room only!) | free | ||
| Speakers | free | ||
| IPA members |
| ||
| Associated members |
|
||
| Other participants |
|
Please note that Ph.D. students who are not in IPA will be charged as associated members if they belong to a research school that is associated with IPA (such as ASCI, SIKS, OZSL, and DISC) and as an other participant otherwise.
To make maximal use of the available capacity, we process applications on the following basis: Registrations are treated "first come, first serve". All Ph.D. students (IPA and non-IPA) have to share a room. Others may also be asked to share if we run out of rooms. Registration closes on Wednesday April 7
Please remit the amount due, to our bank account with the ABN/AMRO. Account number: 60.27.60.690, in the name of A.M.H.G. Oversteegen e/o V.A.J. Borghuis, Den Dolech 2, 5600 AM Eindhoven. Please mention participation "IPA Lentedagen 2004"
From Eindhoven station, you take a train to the station in Heeze, the village where the conference centre is located (12 minutes). From there, you can:
From the A67 (Venlo-Antwerpen)
(note: maintain the direction "Venlo" when you get to Eindhoven). Take exit 34 "Geldrop Heeze" off the A67 . Turn left at in the direction "Heeze" at the bottom of the exit. Once you get to Heeze, drive through the centre in the direction "Someren". About half a kilometer outside of Heeze, there is country road to your right, marked Conferentiecentrum Kapellerput. This road is the drive way of the conference centre, follow it until the end.Map
From the A2 (Maastricht-Eindhoven)
Take exit 34 "Valkenswaard-Heeze" off the A2. Drive through Leende in the direction "Heeze". Once you get to Heeze, drive through the centre in the direction "Someren". About half a kilometer outside of Heeze, there is country road to your right, marked Conferentiecentrum Kapellerput. This road is the drive way of the conference centre, follow it until the end.Map