Formal Methods for Aerospace: 2nd edition

[Manuela Bujorianu]

[ We apologise in case of cross-postings! Please help us by  
distributing the advert in your group/department! ]


                   /----------------------------------\

                  |         CALL FOR PARTICIPATION     |

                   \----------------------------------/


                        "FMA at CDC: Formal Methods for Aerospace"

                    A Workshop affiliated with the 49th IEEE  
Conference on                         Decision and Control - CDC 2010

                                  Atlanta, Georgia, USA

                                    14th December 2010





----------------------------------------------------------------------

http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/CDC.htm


Aerospace applications and formal methods are topics of large interest  
for the control community. In particular, symbolic methods for complex  
control systems inspired by formal methods in computer science have  
been studied in the latest decade. The aim of the FMA at CDC is twofold:  
to encourage the development of interdisciplinary methods and,in  
particular, to leverage formal methods with control theoretic  
techniques in aerospace applications.

The first edition of the Formal Methods for Aerospace (FMA) workshop  
took place on November 3, 2009 in Eindhoven, the Netherlands. It was a  
satellite event of Formal Methods Week (FM Week) 2009, the largest  
event in formal methods with more than 700 participants. The workshop  
proceedings have been published as the Volume 20 of the Electronic  
Proceedings in Theoretical Computer Science.
Furthermore, a special issue of the AMAI journal will be published  
soon. The list of accepted papers can be found at

http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm

======================
Presentations
======================

      Henk A.P. Blom,

Probabilistic Safety Modelling and Verification of Airborne Self Separation

      Manuela Bujorianu

Logics for Stochastic Hybrid Control Systems

      Michael Fisher

Rational Agents in Space

      Emilio Frazzoli

Anytime algorithms for differential games: applications to aerospace   systems

      Joost-Pieter Katoen

Correctness, Safety and Performance of Aerospace Systems

      John Lygeros

4D trajectory management: Reachability theory formulation and
                   target window implementation

      Sayan Mitra

Hybrid Modelling and Verification of Aerospace Systems

      Maria Prandini

Reachability Analysis for Probabilistic Hybrid Systems with
                    Application to Air Traffic Management

      Antonios Tsourdos

Towards Guaranteed Performance of Dynamic Behaviour of
                     Multiple Unmanned Aerial Vehicles

======================
Organization
======================

2010 edition organizers:

Manuela Bujorianu   [University of Manchester, UK]
Michael Fisher      [University of Liverpool, UK]
Maria Prandini      [Technical University of Milan, It]

Steering Committee:

Manuela Bujorianu   [University of Manchester, UK]
Michael Fisher      [University of Liverpool, UK]
Alessandro Giua     [University of Cagliari, It]
Corina Pasareanu    [NASA, US]

======================
Topics of interest
======================
     * air traffic control,
     * formal verification,
     * stochastic control,
     * stochastic hybrid systems,
     * stochastic reachability,
     * multiagent and autonomous systems
     * concurrency.


======================
Registration:
http://www.ieeecss.org/CAB/conferences/cdc2010/registration.php
======================

----------------------------------------------------------------------