Multi-dimensional co-engineering of autonomous systems

[Manuela Bujorianu]

---------------------------------------------------------------------
Please accept our apologies in case of cross-posting.
Please help us by distributing this call in your group/department.
---------------------------------------------------------------------


**************************************************************************
*                                                                        *
*               Call for Participation                                   *
*                                                                        *
*                    TUTORIAL on                                         *
*                                                                        *
*    Multi-Dimensional Co-Engineering of Autonomous Systems              *
*                                                                        *
*                  Pisa, 13th September 2010                             *
*                     From 14.30 to 18.30                                *
*                                                                        *
*                8th IEEE International Conference on                    *
*               Formal Methods and Software Engineering                  *
*                    (SEFM  2010)                                        *
*                                                                        *
* http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/SEFM.htm *
*                                                                        *
*                                                                        *
**************************************************************************

======================
Abstract
======================

The variety of autonomous systems is increasing both in industry and  
academia. Such systems must operate with limited human intervention in  
a changing environment and they must be able to compensate for  
significant system failure without external intervention.
In highly autonomous systems, the system behaviour is normally so  
complex that it is either impossible or inappropriate to describe it  
with conventional mathematical system models. The complexity of the  
system model needed in design depends on both the complexity of the  
physical system and on how demanding the design specifications are.  
The most appropriate models of autonomous systems can be find in the  
class are hybrid systems (which study continuous-state dynamic  
processes via discrete-state controllers) that interact with their  
environment.

======================
Topics
======================

- Overview of autonomous systems engineering
- Holistic modelling
- Hybrid systems
- Multi-dimensional co-engineering: CO --  
modelling/coordination/control/verification
- Unmanned Aerial Vehicles
- Cooperative control

=======================
Organisation / Speakers
=======================

The tutorial format is based on a multi-lectures format. The lectures  
will be presented by:
* Manuela Bujorianu                 (University of Manchester, UK),
* Antonios Tsourdos / Brian White   (Cranfield University, UK)

======================
Registration
======================

Online registration available at

http://www.sefm2010.isti.cnr.it/registration.php

On Site Registration is also available.

======================
Important dates
======================

* Early registration deadline:  July 30, 2010
* Tutorial:                     September 13, 2010
* SEFM:                         September 13-18, 2010
* Welcome reception             September 13, 2010
* Social event - trip to Luca   September 15, 2010
* Cancellation                  August 15, 2010
* SEFM School                   September 6-10, 2010