complexworld phd project: modeling interlevel relations within atm nataliya m. mogles vu university...

27
ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Upload: miles-foster

Post on 12-Jan-2016

213 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

ComplexWorld PhD Project:

Modeling Interlevel Relations within ATM

ComplexWorld PhD Project:

Modeling Interlevel Relations within ATM

Nataliya M. Mogles

VU University

Amsterdam, The Netherlands

Page 2: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

2

OverviewOverview

• Background

• Proposed Approach

• Conclusions

Page 3: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

ComplexWorld PhD ProjectsComplexWorld PhD Projects

• Sponsored by ComplexWorld Network

(One of the SESAR WP-E Networks)

• Coordinated by the Innaxis Foundation

Page 4: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

BackgroundBackground

• SESAR Programme envisions:

‘an affordable, seamless European ATM system, enabling all categories of airspace users to conduct their operation with minimum restrictions and maximum flexibility’

• Complete Process ‘from early planning through flight execution to post flight activities’

• Complex System (of human/automated agents)

• Optimal Performance with Minimal Chance for Hazards

Page 5: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

5

Example ScenarioExample Scenario

Page 6: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Example ScenarioExample Scenario

“During taxiing an aircraft moves from one sector of the airport to another, until it reaches the runway designated for takeoff. The crew of the aircraft consists of the pilot-in-command and the second pilot. The monitoring and control over the traffic in each sector is performed by a dedicated ground controller. Furthermore, the control over the aircraft on the runway and in its surroundings is performed by a dedicated runway controller. These controllers are situated in different towers at the airdrome, each of which is guided by a Tower Controllers Supervisor. During taxiing, control over the aircraft is handed over from one controller to another, depending on the physical position of the aircraft. Before crossing the runway on its way, the crew of the taxiing aircraft requests the controller responsible for the runway for clearance. When the clearance is provided, the aircraft is allowed to cross.”

Page 7: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Processes at Different LevelsProcesses at Different Levels

Global Level:

• Successful and Safe Taxiing of the Aircraft from Sector A to B

Local Level:

• Decision Making Processes of Individuals

• Communication between Individuals

• Interpretation of Communicated Information

• Effects of Emotions, Stress and Workload

Page 8: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Typical QuestionsTypical Questions

• How can descriptions at a global level of the system be related to descriptions at local levels and the organization of interactions?

• How does a change in the behavior of a local component or of the interaction organization impact the behavior of the global system?

• Can descriptions be found of the behavior at the global level that approximate the behavior of the local elements combined, but abstract from the local details?

Page 9: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Typical QuestionsTypical Questions

• How can descriptions at a global level of the system be related to descriptions at local levels and the organization of interactions?

• How does a change in the behavior of a local component or of the interaction organization impact the behavior of the global system?

• Can descriptions be found of the behavior at the global level that approximate the behavior of the local elements combined, but abstract from the local details?

Proposed Solution: Interlevel Relations

Page 10: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

3D Classification Scheme3D Classification Scheme

behavioural process

abstraction level

cognitive process

abstraction level

physiological process

abstraction level

temporally local level

temporally global level

individual agent cluster level

global agent cluster level

temporal dimension

process abstraction dimension

cluster dimension

Page 11: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Descriptions at the Behavioural Leveldirect reactive behaviour

(relating received input to an immediate response)

Descriptions at the Cognitive Levelcognitive states (e.g., desires, beliefs, levels of trust, …)affective states (e.g., emotions, stress, …)learning states

Descriptions at the Physiological Levelactivation states of neurons and connections between neurons levels of adrenalin or blood sugar

Process Abstraction DimensionProcess Abstraction Dimension

Page 12: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Descriptions at the Temporally Local Levelrelating states of a process over small time steps basic mechanismsoften used for simulation

Descriptions at the Temporally Global Leveldescriptions of a process over longer time periodsemerging patternsoften used as requirements

Temporal DimensionTemporal Dimension

Page 13: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Descriptions at the Individual Agent Leveldescribing characteristics of each agent separatelyoften considered more realistic

Descriptions at the Agent Cluster Leveldescribing multiple agents with the same characteristic as a

single entity or clusterusing sub-populationslower computational complexity

Agent Cluster DimensionAgent Cluster Dimension

Page 14: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

behavioural process

abstraction level

cognitive process

abstraction level

physiological process

abstraction level

temporally local level

temporally global level

individual agent cluster level

global agent cluster level

temporal interlevel relations

process abstraction interlevel relations

cluster interlevel

relations

3D Classification Scheme3D Classification Scheme

Page 15: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Interlevel relations for process abstraction levels describe how a more abstract (global) process description can be related to less abstract (local) descriptions.

Interlevel relations for temporal levels describe how a temporally more global description can be related to temporally more local descriptions.

Interlevel relations for agent cluster levels describe how descriptions of a cluster relate to descriptions of its elements.

Interlevel RelationsInterlevel Relations

Page 16: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

Techniques:quantitative methods

(e.g., mathematical analysis to establish numerical properties)

qualitative methods(e.g., logical analysis to prove entailment relations)

Goal:Gain more insight into desired properties at local levels to ensure

desired behavior at a global level:

Which characteristics are required for (human and software) agents in ATM processes, to ensure optimal performance with minimal errors?

Interlevel Relations - MethodologyInterlevel Relations - Methodology

Page 17: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

17

Interlevel relationsInterlevel relations

Within the area of Agent-Based Modeling, many different types of models exist Cognitive Models Emotion Models Social Models Neurologically Inspired Models …

More structure is useful for classification

Page 18: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

18

Relating Models at Different LevelsRelating Models at Different Levels

Example:

Two models at different points within one dimension may refer to the same process

Question: can we define an explicit relation between these models?

Unified specification format for such relations

Page 19: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

19

Elements in Interlevel RelationsElements in Interlevel Relations

1. An ontology mapping to relate basic state properties

2. A dynamic property mapping * extending the basic ontology mapping to dynamic properties

3. Logical relations between dynamic properties

Page 20: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

20

Example

a2 it is cold and dry (e.g., colddry)

b2 it is warm (e.g., warm)

a1 the molecules have a certain low level of movement and not many water molecules are present

(e.g., lowmovenowater)

b1 the molecules have a certain high level of movement

(e.g., highmove) (a2) = a1

(b2) = b1

Elements in Interlevel RelationsElements in Interlevel Relations

Page 21: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

21

a2 b2

a1 b1

higher level ontology

lower level ontology

Elements in Interlevel RelationsElements in Interlevel Relations

Page 22: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

22

Extended mapping for dynamic properties

To define interlevel relations from dynamic properties of the higher level model to dynamic properties of the lower level

Elements in Interlevel RelationsElements in Interlevel Relations

Page 23: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

23

(b2)

(a2)

b2 a2

*higher level

lower level

*(a2 b2) =

*(a2) *(b2)

Elements in Interlevel RelationsElements in Interlevel Relations

Page 24: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

24

Logical Relations between dynamic properties

Relationships based on valid logical implications that indicate how mapped higher level dynamic properties can be related to dynamic properties from the lower level model.

Elements in Interlevel RelationsElements in Interlevel Relations

Page 25: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

25

a1 b1 c1 d1b1 c1

a1 d1

a1 b1 & b1 c1 & c1 d1 a1 d1

Elements in Interlevel RelationsElements in Interlevel Relations

Page 26: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

26

ConclusionConclusion

Advantages within analysis and design of complex systems:

Conceptual clarificationComplexity managementCommunication with non-expertsTop-down design approachesInsight in weaknesses and bottlenecks in

organizationIncreasing resilience of a complex system

Page 27: ComplexWorld PhD Project: Modeling Interlevel Relations within ATM Nataliya M. Mogles VU University Amsterdam, The Netherlands

27

Thank you!