Multi-Dimensional Co-Engineering

Of Autonomous Systems

 

A half-day tutorial affiliated with SEFM'2010

 

Pisa, 13th September 2010

 

 

 

 

Lecturers

 

 

Abstract

 

Manuela Bujorianu,

 

University of Manchester, UK

 

Antonios Tsourdos / Brian White

 

Cranfield University, UK

 

 

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: modelling, control, coordination and control

·      Unmanned Aerial Vehicles

·      Challenges at nanoscale

 

Resources

 

*   Madhavan Shanmugavel, Antonios Tsourdos and Brian White,

Path Planning Strategies for Cooperative Autonomous Air Vehicles

Wiley, John & Sons (2010)

*   Jeyaraman S, Tsourdos A, Zbikowski R, White BA,

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic,

Proceedings Of The Institution Of Mechanical Engineers Part I-Journal Of Systems And Control Engineering, Vol 219, No 11, pp. 15-31, 2005

 

*   Manuela L. Bujorianu and John Lygeros.  

Toward a General Theory of Stochastic Hybrid Systems

(2006). Springer Verlag Lecture Notes in Control and Information Sciences 337.  pp. 3-30.

 

*   Manuela L. Bujorianu and Marius C. Bujorianu

Towards Co-Engineering Communicating Autonomous Cyber-physical Systems

NFM, 1st NASA Symposium on Formal Methods