CORDIS
EU research results

CORDIS

English EN

Distributed control and stochastic analysis of HYBRId systEms supporting safety critical real-time systems desiGn

Project information

Grant agreement ID: IST-2001-32460

  • Start date

    1 January 2002

  • End date

    31 March 2005

Funded under:

FP5-IST

  • Overall budget:

    € 3 991 156

  • EU contribution

    € 2 396 681

Coordinated by:

STICHTING NATIONAAL LUCHT- EN RUIMTEVAARTLABORATORIUM

Netherlands

Objective

Safety critical operations are increasingly in need of high performance robust and fault tolerant distributed real-time control systems that are composable and meet stringent requirements under all possible complex uncertain conditions. Since humans carry responsibility for safety, the safety management needs to be embedded in the design process of these distributed control systems. In this respect, one of the most demanding design challenges are posed by air traffic management, which is an application domain in which experience has shown that the system engineering type of approaches fall short. The HYBRIDGE project builds the necessary bridge between control theory and stochastic analysis of hybrid systems on one hand and the design of real-time distributed control systems for safety critical operations on the other hand, and demonstrates this for advanced design of air traffic management.

Objectives:
The 21st century finds Europe facing a number of remarkable changes, many of which involve large complex real-time systems the management and control of which undergoes a natural trend of becoming more and more distributed while at the same time the safety criticality of these systems for human society tends to increase. However good the control design for these systems will be, humans are the only ones carrying responsibility for the operational safety. This implies that control system designs for safety critical operations have to be embedded within sound safety management systems such that the level of safety stays under control of humans. The objective of HYBRIDGE is to develop the methodologies to accomplish this, and to demonstrate their use in support of advanced air traffic management design. In addition to direct application to air traffic management, these contributions form the nucleus for further research and development into a complex, uncertain system theory, and into application of this theory to distributed control of other real time complex systems such as communication, computer and power networks.

Work description:
In order to lay the foundations for a systems theory for safety critical complex uncertain systems, the challenging developments are organised in clusters of innovative areas:
I. Characterise in mathematical terms the relations between various mathematical models that are in use by the various hybrid systems researchers. Key examples are Automation models, Petri net models, Piecewise Deterministic Markov Processes and Stochastic Differential equations on an hybrid state space and Hierarchical control models;
II. Develop architectures and algorithms for distributed conflict control and error evolution control for safety critical systems which are embedded within safety management;
III. Development of stochastic analysis based accident risk assessment methodology which supports the design of distributed control of complex systems for safety critical operations.

The interplay between these areas is shown through the demonstration of these results on working examples and risk assessment courses to learn others how these results are used in practice. For the realisation of this we will systematically refer to the design of advanced air traffic management, since:
1) It is well known as one of the most complex distributed safety critical systems;
2) It allows to show how the different HYBRIDGE developments complement each other, and;
3) It supports the urgent need of innovative approaches in advanced ATM developments.

Milestones:
The HYBRIDGE project has several concrete milestones:
- Methods for modelling, analysing and verifying complex uncertain hybrid systems and use these methods to identify models to perform conflict prediction in air traffic;
- Methods for controlling uncertain hybrid systems, both centralised and decentralised, and use these methods towards the development of distributed control architectures and algorithms for conflict resolution in air traffic management;
- Error detection methods in uncertain distributed hybrid systems in particular for the detection of human situational awareness errors and system reconfiguration needs;
- A stochastic analysis framework for accident risk modelling and assessment methodology for distributed hybrid control systems and its demonstrate towards advanced air traffic management.

Coordinator

STICHTING NATIONAAL LUCHT- EN RUIMTEVAARTLABORATORIUM

Address

Anthony Fokkerweg 2
1059 Cm Amsterdam

Netherlands

Participants (10)

AEA TECHNOLOGY PLC

United Kingdom

BAE SYSTEMS AVIONICS LIMITED

United Kingdom

CENTRE D'ETUDES DE LA NAVIGATION AERIENNE

France

EUROPEAN ORGANISATION FOR THE SAFETY OF AIR NAVIGATION

Belgium

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

France

NATIONAL TECHNICAL UNIVERSITY OF ATHENS

Greece

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE

United Kingdom

UNIVERSITA DEGLI STUDI DI BRESCIA

Italy

UNIVERSITA DEGLI STUDI DI L'AQUILA

Italy

UNIVERSITEIT TWENTE

Netherlands

Project information

Grant agreement ID: IST-2001-32460

  • Start date

    1 January 2002

  • End date

    31 March 2005

Funded under:

FP5-IST

  • Overall budget:

    € 3 991 156

  • EU contribution

    € 2 396 681

Coordinated by:

STICHTING NATIONAAL LUCHT- EN RUIMTEVAARTLABORATORIUM

Netherlands