All Stories

  1. Kalman Filtering with State-Dependent Packet Losses
  2. Prediction-based Adaptive Robust Tracking Control of an Uncertain First-Order Time-Delay System
  3. Automation Intent Inference Using the GFHMM for Flight Deck Mode Confusion Detection
  4. Delay-tolerant Adaptive Robust Control Applied to Flight Control
  5. A Hybrid-Systems Approach for Analyzing Pilot-Cockpit Interactions
  6. Flight Deck Mode Confusion Detection using Intent-based Probabilistic Model Checking
  7. Human Automation Interaction Issue Detection Using a Generalized Fuzzy Hidden Markov Model
  8. Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction
  9. Diagnostic Throughput Factor Analysis Tool for En-Route Airspace
  10. Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion
  11. Formal Extensions to the Intent-Based Mode Confusion Detection Framework
  12. User Interface Validation using Mode Confusion Detection
  13. Diagnostic Tool for Throughput Factor Analysis in En-route Airspace