[ We apologise in case of cross-postings! Please help us by
distributing the advert in your group/department! ]
/----------------------------------\
| CALL FOR PARTICIPATION |
\----------------------------------/
"f...@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 f...@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
======================
----------------------------------------------------------------------
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
