This paper aims to promote a better understanding of acceptance of change in ATM. Taking three case studies, it examines pilot and controller attitudes towards Continuous Descent Approaches (CDAs), considered in a societal context. Compared with conventional, stepped descents, CDAs keep aircraft higher for longer and reduce thrust transients, and are thus not only an important noise abatement t...

This paper discusses the validation, by simulation, of Behavioural Models of computer systems that are developed as part of a whole lifecycle approach to product development (model-based object oriented systems engineering (MOOSE)). The paper summarizes the MOOSE approach and introduces its notation for defining Behavioural Models, which are logical models of a system, uncommitted to hardware o...

Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations between abstract states and inputs, such controllers are immense in size, which makes them futile for embedded platforms. Control-synthesis tools such as PESSOA, SCOTS, and CoSyMA tackle the problem by storing controllers...

This paper develops a hierarchical and modular control architecture for so called sequential behaviours, i.e. for plant dynamics and specifications that are represented as formal languages of infinite-length words. Our main result is the elaboration of structural properties that allow for abstraction based controller design and that are preserved under closed-loop composition. Thus, we propose ...

Malekshahi F1, Farhadi A2 1. Instructor, Department of Society Health, Faculty of Nursing and Midwifery, Lorestan University of Medical Sciences, Khorramabad, Iran 2. Instructor, Department of Psychology, Faculty of Medicine, Lorestan University of Medical Sciences, Khorramabad, Iran Abstract Background: Childhood period it one of the most important stages of life in which individuals persona...

| This paper deals with the problem of planning and controlling the motion of a car like vehicle moving in a dynamic and roadway like environment. The contribution presented here is a motion controller which executes in a reactive way a given nominal motion plan. Such a plan is made up of a smooth trajectory C and of time constraints of the type \reach location l at time t l ". Data concerning ...

OBJECTIVES The Behavioral Inattention Test (BIT) is a standardized assessment for unilateral visual neglect. It comprises six conventional and nine behavioral subtests. The purpose of this study was to add to the validation of the behavioral subtests. METHOD Forty Israeli subjects with right cerebrovascular accident (CVA), from both day center and hospital settings, were evaluated on three me...

We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce safety properties on the interactions between components, concerning, e.g., mutual exclusions, forbidden or imposed sequences. We use a reactive programming language, with a new mechanism of behavioural contracts. Its compilation ...

We have developed a robot controller based upon a neural implementation of Norman and Shallice's model of executive attentional control in humans. A simulation illustrates how attentional control leads to the suppression of action selection errors in neurally controlled robots. A related demonstration illustrates how lesioning of the control architecture leads to behavioural pathologies that re...

Lateralized spatial biases after brain damage are commonly assessed using batteries of paper-and-pencil tests. These tests hardly allow quantification of performance in different locations in space, and they tend to lose sensitivity along the course of recovery. We tested the dynamic Starry Night Test (SNT), a novel computerized test measuring reaction time and detection accuracy for visual tar...