• Home
  • Search
  • Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
  • https://doi.org/10.2514/6.2010-3363Copy DOI Icon

Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Adaptive flight control systems hold tremendous promise for maintaining the safety of a damaged aircraft and its passengers. However, most currently proposed adaptive control methodologies rely on online learning neural networks (OLNNs), which necessarily have the property that the controller is changing during the flight. These changes tend to be highly nonlinear, and difficult or impossible to analyze using standard techniques. In this paper, we approach the problem with a variant of compositional verification. The overall system is broken into components. Undesirable behavior is fed backwards through the system. Components which can be solved using formal methods techniques explicitly for the ranges of safe and unsafe input bounds are treated as white box components. The remaining black box components are analyzed with heuristic techniques that try to predict a range of component inputs that may lead to unsafe behavior. The composition of these component inputs throughout the system leads to overall system test vectors that may elucidate the undesirable behavior

Similar Papers
  • Conference Article
  • Citations23

Flight Validation of Metrics Driven L1 Adaptive Control

  • Jun 15, 2008
  • Vladimir Dobrokhodov +8
  • Research Article
  • Citations1

Robustly Stable, Discrete-time, Adaptive Flight Control using the Euler Operator

  • Aug 01, 1990
  • IFAC Proceedings Volumes
  • N Hori +2
  • Research Article
  • Citations8

MEMS based integrated navigation systems for adaptive flight control of unmanned aircraft — State of the art and future developments

  • Oct 01, 2012
  • Gyroscopy and Navigation
  • P Vörsmann +4
  • Research Article
  • Citations27

Reinforcement learning based closed‐loop reference model adaptive flight control system design

  • Oct 07, 2020
  • International Journal of Adaptive Control and Signal Processing
  • Burak Yuksek +1
  • Conference Article
  • Citations2

Comparison of Current Practical Adaptive Traffic Control Systems

  • Jul 22, 2010
  • Hongyun Chen +1
  • Research Article
  • Citations5

Human Pilot Interaction with Fast Adapting Flight Control System

  • Jan 01, 2022
  • IFAC PapersOnLine
  • Zoe Mbikayi +3
  • Research Article
  • Citations15

Adaptive identification and control of linear periodic systems using second‐level adaptation

  • May 16, 2019
  • International Journal of Adaptive Control and Signal Processing
  • Kumpati S Narendra +1
  • Conference Article
  • Citations13

Adaptive control system techniques applied to inertial stabilization systems

  • Sep 01, 1990
  • J M Hilkert
  • Conference Article
  • Citations3

Adaptive fault-tolerant flight control system design using neural networks

  • Apr 01, 2008
  • Xiaoxiong Liu +3
  • Research Article

Model-based designof a cone crusher adaptive control system

  • Dec 26, 2025
  • Naukovyi Visnyk Natsionalnoho Hirnychoho Universytetu
  • O Yu Mykhailenko +4
  • Research Article
  • Citations6

Adaptive Control of Helicopter Pitch Angle and Velocity

  • Oct 17, 2012
  • Journal of Aerospace Engineering
  • Romulus Lungu +1
  • Research Article
  • Citations20

Intelligent electrical discharge machining (EDM) molybdenum‑titanium‑zirconium alloy by an extended adaptive control system

  • Mar 18, 2022
  • Journal of Manufacturing Processes
  • Xin Mu +4
  • Single Book
  • Citations97

Nonlinear and Adaptive Control Systems

  • Apr 02, 2013
  • Zhengtao Ding
  • Research Article

A New Approach to the Design of an Adaptive Control System

  • Jan 01, 1978
  • IFAC Proceedings Volumes
  • K Ichikawa
  • PDF
  • Research Article

Increasing the processing efficiency on the CTX gamma 2000 TC multi-operation machine by developing an adaptive control system and calculating the adjustment size

  • Sep 25, 2018
  • Reporter of the Priazovskyi State Technical University. Section: Technical sciences
  • E I Ivanov +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.