Operationalizing autonomy: A transition from the innovation space to real-world operations

A Homaifar, A Karimoddini, BA Erol… - IEEE Systems, Man …, 2019 - ieeexplore.ieee.org
Industry and government agencies envision the deployment of autonomous systems
throughout society, especially autonomous vehicles that operate within civilian and military …

An area-decomposition based approach for cooperative tasking and coordination of uavs in a search and coverage mission

K Vinh, S Gebreyohannes… - 2019 IEEE aerospace …, 2019 - ieeexplore.ieee.org
This paper develops a low-computation area-decomposition based approach for tasking
and planning for a team of Unmanned Aerial Vehicles (UAVs) involved in a search mission …

[PDF][PDF] A hybrid hierarchical rally driver model for autonomous vehicle agile maneuvering on loose surfaces.

M Acosta, S Kanarachos, ME Fitzpatrick - ICINCO (2), 2017 - pdfs.semanticscholar.org
This paper presents a novel Hybrid Hierarchical Autonomous system for improving vehicle
safety based on agile maneuvering and drift control on loose surfaces. Standard Electronic …

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles

A Rashid, O Hasan, S Abed - Mobile Robot: Motion Control and Path …, 2023 - Springer
The dynamical analysis of Unmanned Aerial Vehicles (UAVs) is based on accessing their
performance, stability, and various other control systems properties and it involves modelling …

Hybrid adaptive control for UAV data collection: A simulation-based design to trade-off resources between stability and communication

EP Marcosig, JI Giribet, R Castro - 2017 Winter Simulation …, 2017 - ieeexplore.ieee.org
We present the design of a hybrid control system for an Unmanned Aerial Vehicle (UAV)
used for data collection from wireless sensors. We postulate a restrictive scenario where a …

Testing and evaluating the impact of illumination levels on UAV-assisted bridge inspection

E Mahama, A Karimoddini, MA Khan… - 2022 IEEE …, 2022 - ieeexplore.ieee.org
Unmanned Aerial Vehicles (UAVs) are increasingly being used in different civil infrastructure
applications. UAV-enabled bridge inspection is being explored by many Departments of …

Formal analysis of unmanned aerial vehicles using higher-order-logic theorem proving

S Abed, A Rashid, O Hasan - Journal of Aerospace Information Systems, 2020 - arc.aiaa.org
The continuous dynamics of unmanned aerial vehicles (UAVs) are generally modeled as a
set of differential equations. Traditionally, these continuous dynamics of UAVs are analyzed …

A symbolic approach for multi-target dynamic reach-avoid problem

L Shamgah, TG Tadewos… - 2018 IEEE 14th …, 2018 - ieeexplore.ieee.org
This paper develops a symbolic technique for the control and path planning of autonomous
vehicles in adversarial environments. We consider the objective of the autonomous vehicle …

Development of an interval type-2 TSK fuzzy logic attitude controller for a UAV

A Hailemichael, M Behniapoor… - … on Unmanned Aircraft …, 2018 - ieeexplore.ieee.org
Due to the inaccuracies of UAV models and the uncertainties introduced because of sensor
measurement errors, noise, undesired environmental conditions as well as disturbances …

Hierarchical Cascade Control Systems for Time-Dependent Dynamical Plants as Applied to Magnetic Plasma Control in D-Shaped Tokamaks

YV Mitrishkin - Engineering Proceedings, 2023 - mdpi.com
The systems of poloidal field coils in D-shaped Tokamaks such as ITER, EAST, JET, ASDEX
Upgrade, TCV, GLOBUS-M2, DIII-D, SPARC, IGNITOR, JT-60SA, DEMO-9.1, DEMO-1.6, T …