A Hardware/Software Architecture for UAV Payload and Mission Control

A Macroscopic Performance Analysis of NASA’s Northrop Grumman RQ-4A

A NEW TECHNIQUE BASED ON MINI-UAS FOR ESTIMATING WATER AND BOTTOM RADIANCE CONTRIBUTIONS IN OPTICALLY SHALLOW WATERS

article

A case study for the verification of complex timed circuits: IPCMOS

A methodology for measuring the impact on flight inefficiency of future RPAS operations

A middleware architecture for unmanned aircraft avionics

article

A rudimentary machine

A structural encoding technique for the synthesis of asynchronous circuits

A telemetry modeling for intelligent UAV monitoring

An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles

An Unmanned Aircraft System to Detect a Radiological Point Source Using RIMA Software Architecture

Architecture for a helicopter-based unmanned aerial systems wildfire surveillance system

scholarly article by Enric Pastor et al published April 2011 in Geocarto International

Architecture issues and challenges for the integration of rpas in non-segregated airspace

Automatic generation of synchronous test patterns for asynchronous circuits

Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications

BMC Encoding for Concurrent Systems

Combining simulation and guided traversal for the verification of concurrent systems

Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning

artículo científico publicado en 2020

Decomposition and technology mapping of speed-independent circuits using Boolean relations

Departure and Approach procedures for Unammed Aircraft Systems in a Visual-Flight-Rule Environment

Development of a small UAS helicopter for remote sensing operations

article

Efficient encoding schemes for symbolic analysis of Petri nets

Enabling Dynamic Parametric Scans for Unmanned Aircraft System Remote Sensing Missions

Enabling leg-based guidance on top of waypoint-based autopilots for UAS

Flexible ELectrical Manager Service for UAS applications development

article

Flight Plan Specification and Management for Unmanned Aircraft Systems

article published in 2011

Formal verification of safety properties in timed circuits

Hardware Design of a Small UAS Helicopter for Remote Sensing Operations

Helicopter-based wildfire monitoring system software architecture

scholarly article published March 2010

ISIS+: A Software-in-the-Loop Unmanned Aircraft System Simulator for Nonsegregated Airspace

In-Flight Contingency Management for Unmanned Aerial Vehicles

Increasing UAV capabilities through autopilot and flight plan abstraction

Integration of SAA Capabilities into a UAS Distributed Architecture for Civil Applications

Jellyfish monitoring on coastlines using remote piloted aircraft

Modular avionics for seamless reconfigurable UAS missions

article published in 2008

Monitoring Radiological Incidents Through an Opportunistic Network

article published in 2015

NextGen trajectory approaches with air-air negotiation protocol

On the design of a UAS flight plan monitoring and edition system

Paired T-test analysis to measure the efficiency impact of a flying RPAS in the non-segregated airspace

Petri net analysis using boolean manipulation

Real-Time Data Processing for the Airborne Detection of Hot Spots

Reconfigurable automated behavior for UAS applications

Red-Eye: A Helicopter-based architecture for tactical wildfire monitoring strategies

scholarly article published March 2009

Remote Flight Inspection Using Unmanned Aircraft

Remotely Piloted Aircraft Systems and a Wireless Sensors Network for Radiological Accidents

Requirements, Issues, and Challenges for Sense and Avoid in Unmanned Aircraft Systems

Structural Methods to Improve the Symbolic Analysis of Petri Nets

Structural methods for the synthesis of speed-independent circuits

article published in 1998

Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV

Symbolic analysis of bounded Petri nets

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design

Towards the automation of the UAS mission management

UAS pilot support for departure, approach and airfield operations

UAV Flight Experiments Applied to the Remote Sensing of Vegetated Areas

UAV Payload and Mission Control Hardware/Software Architecture

VIRTUALIZING SUPER-COMPUTATION ON-BOARD UAS

Verification of asynchronous circuits by BDD-based model checking of Petri nets

article

Wildfire monitoring using a mixed air-ground mobile network

scholarly article by C Barrado et al published 2010 in IEEE Pervasive Computing Magazine