Program

08:30-09:00 Registration

08:45-09:00 Workshop opening:

     Autonomy - the quest for models and methods beyond hybrid systems

         Martin Fränzle (Oldenburg University, Germany)

09:00-10:00 Keynote 1

  Verifying Autonomous Stochastic Hybrid Systems Against Automata Objectives

         Joost-Pieter Katoen (RWTH Aachen, Germany)

10:00-11:00 Session 1: Verification of hybrid systems

  Reachability Analysis of Linear Systems with Stepwise Constant Inputs

         Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, and Stefan Kowalewski  

                        (RWTH Aachen, Germany)

  Incremental Computation of Succinct Abstractions For Non-linear Hybrid Systems

          Stefan Ratschan and Tomas Dzetkulic

                      (Czech Academy of Sciences, Prague, Czech Republic)

11:00-11:30 Coffee Break

11:30-12:30 Session 2: Verification of probabilistic hybrid systems

  Probabilistic Bisimulations: A System Theoretical Perspective

        Alessandro Abate (TU Delft, The Netherlands)

  Safety Verification for Probabilistic and Stochastic Hybrid Systems

         Ernst-Moritz Hahn (Universität des Saarlands, Saarbrücken, Germany)

12:30-14:00 Lunch Break

14:00-15:00 Keynote 2

  Development of safe autonomous systems: a perspective

           Holger Voos (University of Luxembourg)

15:00-16:00 Session 3: Description techniques beyond hybrid automata

   Hybrid Automata as a Modelling Approach in the Behavioural Sciences

            Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, and

             Ursula Goltz (TU Braunschweig, Germany)

  Verifying Autonomic Systems with Port Graph Calculus

           Oana Andrei (University of Glasgow, UK)

16:0-16:30 Coffee Break

16:30-17:30 Keynote 3

  Next Generation Space Exploration Missions

           Mike Hinchey

                      (Lero-the Irish Software Engineering Research Centre, Ireland)

17:30-18:00 Session 4: Safety and autonomy in partially known environments

  Safety and Precision of Spatial Context Models for Autonomous Systems

            Tobe Toben (OFFIS e.V., Oldenburg, Germany) and

             Jan Rakow (Oldenburg University, Germany)

18:00-18:15 Closing and wrap-up

  Antonios Tsourdos (Cranfield University, UK)

Organization

Manuela Bujorianu,

University of Manchester, UK

Martin Fränzle,

Carl von Ossietzky Universität Oldenburg, Germany

 Antonios Tsourdos

Cranfield University, UK

Topics of interest

Ø      formal methods for autonomous systems

Ø      Formal verification techniques

Ø      modelling, analysis and control of hybrid systems,

Ø      Probabilistic model checking

Ø       reports on practical experiments

Saarbrucken

Saarbrücken is situated in the south of German right on the border to France and closed to the border with Luxembourg. It is a town of an interface of cultures and lifestyles. The approximately 178,000 citizens have a strong sense of home, a heated passion for barbecuing on traditional swinging grills and they do openly welcome visitors and foreign influences. Thanks to an internationally connected student population of 19,000 people, Saarbrücken mixes small town charms with metropolitan flair like no other university city in the entire Germany.

You are here: Mathematics > Staff members > Dr. Manuela Bujorianu > HAS’2011