The 2nd edition

Satellite event of ETAPS 2012

31 March 2012

Tallinn, Estonia

Programme Registration

Tutorials Lectures HAS 2011

Organization

Manuela Bujorianu (University of Manchester, UK)

Emilio Frazzoli (MIT, US)

Joost-Pieter Katoen (RWTH Aachen, DE)

Mission

The autonomous systems have become increasingly important in the modern society. Still, this emergent technology lacks a unitary rigorous foundation. The hybrid discrete continuous models (called also systems) describe those technical and biological systems whose behaviour involves an interaction between discrete and continuous dynamics. The most common understanding of the hybrid models is that of control systems with regime change. This capability of hybrid systems to autonomously change their behavioural mode makes them suitable as a semantic foundation for autonomous systems. This workshop gathers together experts from formal methods, software engineering, control engineering and aerospace to explore this opportunity. Comprising a tutorial and seven lectures, the workshop constitutes a suitable venue for every one interested in interdisciplinary research methods for autonomous systems. The workshop will end with a panel discussion where the participants will be invited to express their remarks and suggestions for the future editions. The workshop will be followed up by a call for papers for a dedicated journal issue.

The first edition of HAS took place in 2011 in Saarbrucken, Germany. The next edition will take place in Rome, Italy.

Registration

Registration fee: 50 Euros

On-line registration is available here.

NEW Two tutorials

Pieter Mosterman - Tutorial/keynote speaker

MathWorks, US and McGill University, CA

Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems

Abstract

Holger Hermanns - Tutorial/keynote speaker

Saarland University, DE

Hard Real-Time. Probably Provable

Abstract

Programme

9:00 – 9.45 Peter Marwedel (University of Dortmund, DE)
Efficient Computing in Cyber-Physical Systems

9:45 – 10:30 Giordano Pola  (University of L’Aquila, IT)
Arenas of Finite State Machines and their Application to the
Modelling and Analysis of Air Traffic Management Systems

10:30 – 11:00 coffee break

11:00 – 11:45 Martin Fraenzle (Oldenburg University, DE)
Towards a formal basis of robust behaviour

11:45 – 12:30 Luca Bortolussi (University of Trieste, IT)
Hybrid Behaviour of Continuous Time Markov Chains

12:30 – 13:30 Lunch

13:30 – 14:30 Tutorial 1

Holger Hermanns (Saarland University, DE)
Hard Real-Time. Probably Provable

14:30 – 15:30 Tutorial 2

Pieter Mosterman ( MathWorks, US and McGill
University, CA) Analyzing Execution Semantics of High-level
Formalisms for Modelling Hybrid Dynamic Systems

15:30 -16:00 coffee break

16:00 – 16:45 Cristina Seceleanu  (Malardalen University, SE)
A Resource-Aware Framework for Embedded System Design and Its
Extension Towards Adaptivity

16:45 – 17:30 Louise Dennis (University of Liverpool, UK)
Verifying Reasoning within Agent-based Hybrid Control Systems

17:30 – 18:00 Closing and panel discussions