Programme of HAS at ETAPS 2011

Saturday, April 2

Room E1.1/U12

08:45 - 09:00 Workshop opening

08.45: Autonomy - the quest for models and methods beyond hybrid systems

Martin Fränzle (Oldenburg University, Germany)

 

09:00 - 10:00 Keynote 1

09.00: Verifying Autonomous Stochastic Hybrid Systems Against Automata Objectives

Joost-Pieter Katoen (RWTH Aachen, Germany)

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

10.00: Reachability Analysis of Linear Systems with Stepwise Constant Inputs

Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, and Stefan Kowalewski  (RWTH Aachen, Germany)

 

10.30: 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

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

11.30: Probabilistic Bisimulations: A System Theoretical Perspective

Alessandro Abate (TU Delft, The Netherlands)

 

12.00: Safety Verification for Probabilistic and Stochastic Hybrid Systems

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

12:30 - 14:00 Lunch           

 

 

 

14:00 - 15:00 Keynote 2

14.00: Development of safe autonomous systems: a perspective

Holger Voos (University of Luxembourg)

 

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

 

15.00: Timed Game Control of the Inverted Pendulum

Christoffer Sloth, Rafael Wisniewski, Kim Guldstrand Larsen, and Alexandre David (Aalborg University, Denmark)

 

15.30: Verifying Autonomic Systems with Port Graph Calculus

Oana Andrei (University of Glasgow, UK)

16:00 - 16:30 Coffee

16:30 - 17:30 Keynote 3

16.30: Next Generation Space Exploration Missions

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

17:30 - 18:40 SESSION 4: Safety and autonomy in partially known environments

17.30: Hybrid Automata as a Modelling Approach in the Behavioural Sciences

Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, and Ursula Goltz (TU Braunschweig, Germany)

 

18.00: Safety and Precision of Spatial Context Models for Autonomous Systems

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

 

18.30: Closing and wrap-up

Antonios Tsourdos (Cranfield University, UK)

 

 

 

HOME PAGE:  http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS.htm