Flight control
Formally verified optimizing compilation in ACG-based flight control software
... xavier.leroy@inria.fr Abstract—This work presents an evaluation of the CompCert formally specified and verified optimizing compiler for the development of DO-178 level A flight control software. First, some ...
9
Towards Formally Verified Optimizing Compilation in Flight Control Software
... Abstract This work presents a preliminary evaluation of the use of the CompCert formally specified and verified optimizing compiler for the development of level A critical flight control software. First, ...
11
Modelling and Control of an Effort Feedback Actuator in Helicopter Flight Control Using Energetic Macroscopic Representation
... model-based control, EMR 1. INTRODUCTION From the first flight in 1903 of Wright Flyer in Kitty Hawk (US) to the last new technology ones, aircrafts have been equipped with mechanical and hydro- mechanical ...
8
COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS
... Compared to mechanical FCS designs, the FBW technology offers a variety of benefits. It makes it possible to introduce advanced flight control laws which increase and improve the aircraft manoeuvrability ...
16
Modelling and Control of an Effort Feedback Actuator in Helicopter Flight Control Using Energetic Macroscopic Representation
... and Control of an Effort Feedback Actuator in Helicopter Flight Control Using Energetic Macroscopic Representation - In: IMAACA 2011, 5th International Conference on Integrated Modeling and Analysis ...
2
Reduction of Vertical Tail Using Differential Thrust: Influence on Flight Control and Certification
... The flight control characteristics and certification compliance of a Distributed Electric Propulsion (DEP) aircraft using differential thrust is studied through exploration of flight ...critical ...
9
Longitudinal flight control design with handling quality requirements
... 3.3 Time-domain criteria and Gibson dropback Besides the classical time-domain criteria such as settling time, overshoot or rise time, Gibson dropback is commonly used by flight control engineers. It is a ...
44
OFDM PLC transmission for aircraft flight control system
... for flight control system ...of control and monitoring. In addition, to simplify the electrical control network, it is possible to check the ...
7
Integrated design of flight control surfaces and laws for new aircraft configurations
... The main contribution of this paper is to optimize in a single step the control surfaces span, the control allocation module, and flight control laws, in order to guarantee longitudinal [r] ...
9
2016 — Design of a fault-tolerant flight control system against multiple actuator failures
... fault-tolerant flight control system, since they reconfigure online the remaining redundant healthy actuators to compensate for the faulty actuators (Morse et Ossman, 1990), (Shin, Moon et Kim, 2005), ...
234
Impedance active control of flight control devices
... active control of flight control devices (sleeves, yokes, side-sticks, rudder pedals , ...to control the device mechanical impedance felt by pilot and to couple pilot and co-pilot ...
7
A potential role for bat tail membranes in flight control
... James D. Gardiner 1 , Grigorios Dimitriadis 2 , Jonathan R. Codd 1 , Robert L. Nudds 1 * 1 Faculty of Life Sciences, University of Manchester, Manchester, United Kingom, 2 De´partement d’ae´rospatiale et me´canique, ...
8
Gain scheduled flight control law for a flexible aircraft : A practical approach
... ∗ AIRBUS France, Toulouse, France ∗∗ ENSAE, Toulouse, France Abstract: This paper presents a gain-scheduling method applied to flight control law design. The method is a stability preserving interpolation ...
6
2005 — Optimization of flight control parameters of an aircraft using genetic algorithms
... Contrary to conven- tional flight control systems, where the pilot moves the aircraft through either mechanical or hydro-mechanicallinkages from the cockpit to the control surfaces, fly[r] ...
244
On-Line Optimization for Fault Tolerant Flight Control
... Inverse Control technique is used to generate online nominal moments along the three axes of the ...to control reallocation can be ...tolerant flight control ...
15
Insect and insect-inspired aerodynamics: unsteadiness, structural mechanics and flight control
... during flight in Hardcastle and Krapp’s recent comprehensive review ...to flight putative controller models are becoming more ...closed-loop control of pitch using visual cues associated with free ...
13
Design of a supervised flight control system for aircraft relative guidance
... Due the heading change of the leading aircraft between 220 sec and 310 sec, the value of the slant range decreases to about 4.5 NM before starting to increase Finally, when the [r] ...
9
Global Singularity-Free Aerodynamic Model for Algorithmic Flight Control of Tail Sitters
... transition flight aerodynamics modeling in view of sum- of-squares (SOS) algorithmic guidance and control ...and control law ...longitudinal flight operating ...
15
Design of a flight control architecture using a non-convex bundle method
... longitudinal flight this decoupling dissociates short term rotational dynamics from long term translational ...longitudinal flight is the switch between automatic and manual mode on the input of the ...
30
Model-Checking Real-Time Properties of an Auto Flight Control System Function
... A TTS example specification is shown in Fig. 3. It corresponds to the interpretation of the Fiacre process CP_MON from the control panel modeled in Sect. III-A. A TTS can be viewed as a Time Petri Net where ...
5