[agents] HAS - tutorial workshop on autonomous systems

[Manuela Bujorianu]

[Apologies for inherent cross-posting]
Dear colleague,
If you plan to attend the 2012 edition of ETAPS in Tallinn, and you have not decided yet on attending a collocated workshop, then have a look at HAS2012. This tutorial workshop invites the interested participants to contribute to the development of autonomous systems using hybrid discrete/continuous models and their associated techniques. The workshop comprises two tutorials and six lectures, presented by prestigious and established researchers in relevant areas.

Wishing you a good trip to Tallinn.
On behalf of the organisers,
Manuela Bujorianu 


================HAS 2012=========================
               
  Workshop on Hybrid Autonomous Systems
     Tallinn, Estonia, 31st of March
  2nd edition - Satellite event of ETAPS 2012

===INFO                               
 URL  http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS2012.htm
 Registration: In situ or online https://purchase.ioc.ee/etaps12/


===TUTORIALS
Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems
   by Pieter Mosterman  (MathWorks, US and McGill University, CA)
   
Hard Real-Time. Probably Provable.
     by Holger Hermanns (Saarland University, DE)

===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 Holger Hermanns (Saarland University, DE)
 Hard Real-Time. Probably Provable
 14:30 – 15:30 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

===ORGANISATION

Manuela Bujorianu (University of Manchester, UK)
Emilio Frazzoli (MIT, US)
Joost-Pieter Katoen (RWTH Aachen, DE)

================HAS 2012=========================