Atlas / Learn / Research papers
Academia · 5,702 papers
Aviation research, sourced & cited.
Curated index of aviation-relevant research from NASA NTRS, NTSB safety studies, FAA CAMI, and academic sources. Every record links back to its original — we don't host PDFs, we describe each paper and credit the authors. Built for cross-link with the rest of Atlas: search by topic, drill into a CFR section or airframe and see the research that bears on it.
10 matches · arXivarXiv cs.LO
- arXiv 2025 ARXIV arXiv preprint
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy given formal specifications.
- arXiv 2021 ARXIV arXiv preprint
Verifying Switched System Stability With Logic
Switched systems are known to exhibit subtle (in)stability behaviors requiring system designers to carefully analyze the stability of closed-loop systems that arise from their proposed switching control laws.
- arXiv 2021 ARXIV arXiv preprint
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise.
- arXiv 2021 ARXIV arXiv preprint
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft.
- arXiv 2021 ARXIV arXiv preprint
Formal verification of octorotor flight envelope using barrier functions and SMT solving
This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state space that are considered safe, and whic…
- arXiv 2019 ARXIV arXiv preprint
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study
A smart grid is a widely distributed engineering system with overhead transmission lines. Physical damage to these power lines, from natural calamities or technical failures, will disrupt the functional integrity of the …
- arXiv 2019 ARXIV arXiv preprint
Security-Aware Synthesis Using Delayed-Action Games
Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling systems where all agents have full knowledge o…
- arXiv 2017 ARXIV arXiv preprint
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements.
- arXiv 2016 ARXIV arXiv preprint
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis of controllers in a model predictive cont…
- arXiv 2015 ARXIV arXiv preprint
Control with Probabilistic Signal Temporal Logic
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces.