English
Related papers

Related papers: Neural Network Verification for Gliding Drone Cont…

200 papers

In this work, we introduce OmniDrones, an efficient and flexible platform tailored for reinforcement learning in drone control, built on Nvidia's Omniverse Isaac Sim. It employs a bottom-up design approach that allows users to easily design…

Robotics · Computer Science 2025-05-20 Botian Xu , Feng Gao , Chao Yu , Ruize Zhang , Yi Wu , Yu Wang

In this paper, we investigate the problem of enabling a drone to fly through a tilted narrow gap, without a traditional planning and control pipeline. To this end, we propose an end-to-end policy network, which imitates from the traditional…

Robotics · Computer Science 2019-08-06 Jiarong Lin , Luqi Wang , Fei Gao , Shaojie Shen , Fu Zhang

Vision is an essential part of attitude control for many flying animals, some of which have no dedicated sense of gravity. Flying robots, on the other hand, typically depend heavily on accelerometers and gyroscopes for attitude…

Robotics · Computer Science 2025-07-16 Jesse J. Hagenaars , Stein Stroobants , Sander M. Bohte , Guido C. H. E. De Croon

Researchers have been using simulation-based methods for drone-assisted inspection training. Multiple brain regions are associated with information processes and decision-making, and the connectivity of these regions may further influence…

Human-Computer Interaction · Computer Science 2025-07-03 Pengkun Liu , Jackson Greene , Jiali Huang , Pingbo Tang , Yu Hou

Drones are becoming a novel means for delivery services. We present a demonstration of drone delivery services in a skyway network that uses the service paradigm. A set of experiments is conducted using Crazyflie drones to collect the data…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-02 Jermaine Janszen , Babar Shahzaad , Balsam Alkouz , Athman Bouguettaya

Surrogate Neural Networks are nowadays routinely used in industry as substitutes for computationally demanding engineering simulations (e.g., in structural analysis). They allow to generate faster predictions and thus analyses in industrial…

The miniaturisation of sensors and processors, the advancements in connected edge intelligence, and the exponential interest in Artificial Intelligence are boosting the affirmation of autonomous nano-size drones in the Internet of Robotic…

Robotics · Computer Science 2025-05-09 Mattia Sartori , Chetna Singhal , Neelabhro Roy , Davide Brunelli , James Gross

Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety properties of DNNs can be proven using tools…

Logic in Computer Science · Computer Science 2024-02-14 Remi Desmartin , Omri Isac , Grant Passmore , Kathrin Stark , Guy Katz , Ekaterina Komendantskaya

Drones, like most airborne aerial vehicles, face inherent disadvantages in achieving agile flight due to their limited thrust capabilities. These physical constraints cannot be fully addressed through advancements in control algorithms…

Robotics · Computer Science 2025-05-09 Dohyeon Lee , Jun-Gill Kang , Soohee Han

This work presents an online learning-based control method for improved trajectory tracking of unmanned aerial vehicles using both deep learning and expert knowledge. The proposed method does not require the exact model of the system to be…

Robotics · Computer Science 2019-05-28 Andriy Sarabakha , Erdal Kayacan

This paper presents the development of a control law, which is intended to be implemented on an optical guided glider. This guiding law follows an innovative approach, the reinforcement learning. This control law is used to make navigation…

Robotics · Computer Science 2025-12-02 Joel Cahn , Antonin Thomas , Philippe Pastor

In this paper, we propose a control law for camera-equipped drone networks to pursue a target rigid body with unknown motion based on distributed Gaussian process. First, we consider the situation where each drone has its own dataset, and…

Systems and Control · Electrical Eng. & Systems 2022-05-30 Makoto Saito , Junya Yamauchi , Tesshu Fujinami , Marco Omainska , Masayuki Fujita

This article presents a solution to intercept an agile drone by another agile drone carrying a catching net. We formulate the interception as a Competitive Reinforcement Learning problem, where the interceptor and the target drone are…

Robotics · Computer Science 2026-03-18 Timothée Gavin , Simon Lacroix , Murat Bronz

Most reinforcement learning(RL)-based methods for drone racing target fixed, obstacle-free tracks, leaving the generalization to unknown, cluttered environments largely unaddressed. This challenge stems from the need to balance racing speed…

Robotics · Computer Science 2025-12-12 Feng Yu , Yu Hu , Yang Su , Yang Deng , Linzuo Zhang , Danping Zou

The safe operation of drone swarms beyond visual line of sight requires multiple safeguards to mitigate the risk of collision between drones flying in close-proximity scenarios. Cooperative navigation and flight coordination strategies that…

Robotics · Computer Science 2025-08-06 Manduhu Manduhu , Alexander Dow , Petar Trslic , Gerard Dooly , Benjamin Blanck , James Riordan

Many approaches for verifying input-output properties of neural networks have been proposed recently. However, existing algorithms do not scale well to large networks. Recent work in the field of model compression studied binarized neural…

Machine Learning · Computer Science 2022-03-15 Christopher Lazarus , Mykel J. Kochenderfer

Biodiversity loss poses a significant threat to humanity, making wildlife monitoring essential for assessing ecosystem health. Avian species are ideal subjects for this due to their popularity and the ease of identifying them through their…

Machine Learning · Computer Science 2026-02-23 Nina Brolich , Simon Geis , Maximilian Kasper , Alexander Barnhill , Axel Plinge , Dominik Seuß

Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks'…

Artificial Intelligence · Computer Science 2018-05-28 Francesco Leofante , Nina Narodytska , Luca Pulina , Armando Tacchella

State-of-the-art visual place recognition performance is currently being achieved utilizing deep learning based approaches. Despite the recent efforts in designing lightweight convolutional neural network based models, these can still be…

Computer Vision and Pattern Recognition · Computer Science 2021-09-24 Bruno Arcanjo , Bruno Ferrarini , Michael Milford , Klaus D. McDonald-Maier , Shoaib Ehsan

Insect flight is a strongly nonlinear and actuated dynamical system. As such, strategies for understanding its control have typically relied on either model-based methods or linearizations thereof. Here we develop a framework that combines…

Quantitative Methods · Quantitative Biology 2023-01-11 Olivia Zahn , Jorge Bustamante , Callin Switzer , Thomas Daniel , J. Nathan Kutz
‹ Prev 1 4 5 6 7 8 10 Next ›