English
Related papers

Related papers: Reach-Avoid Differential game with Reachability An…

200 papers

While deep reinforcement learning (RL) methods have achieved unprecedented successes in a range of challenging problems, their applicability has been mainly limited to simulation or game domains due to the high sample complexity of the…

Artificial Intelligence · Computer Science 2017-09-26 Siyi Li , Tianbo Liu , Chi Zhang , Dit-Yan Yeung , Shaojie Shen

Adversarial attacks pose significant threats to the reliability and safety of deep learning models, especially in critical domains such as medical imaging. This paper introduces a novel framework that integrates conformal prediction with…

Machine Learning · Computer Science 2025-03-05 Rui Luo , Jie Bao , Zhixin Zhou , Chuangyin Dang

The proliferation of unmanned aerial vehicles (UAVs) opens up new opportunities for on-demand service provisioning anywhere and anytime, but it also exposes UAVs to various cyber threats. Low/medium-interaction honeypot is regarded as a…

Computer Science and Game Theory · Computer Science 2022-09-29 Yuntao Wang , Zhou Su , Abderrahim Benslimane , Qichao Xu , Minghui Dai , Ruidong Li

Advanced Air Mobility (AAM) introduces a new, efficient mode of transportation with the use of vehicle autonomy and electrified aircraft to provide increasingly autonomous transportation between previously underserved markets. Safe and…

Artificial Intelligence · Computer Science 2023-08-10 Marc W. Brittain , Luis E. Alvarez , Kara Breeden

To operate with limited sensor horizons in unpredictable environments, autonomous robots use a receding-horizon strategy to plan trajectories, wherein they execute a short plan while creating the next plan. However, creating safe,…

Robotics · Computer Science 2020-04-24 Shreyas Kousik , Sean Vaskov , Fan Bu , Matthew Johnson-Roberson , Ram Vasudevan

We develop a game-theoretic framework for adversarially robust optimal safe predefined-time stabilization of parameter-dependent nonlinear dynamical systems with nonquadratic cost functionals. Our approach ensures that all system…

Optimization and Control · Mathematics 2025-11-20 Nick-Marios T. Kokolakis , Shanqing Liu , Jerome Darbon , Rahul Mangharam , George Em Karniadakis

In this paper, the problem of using one active unmanned aerial vehicle (UAV) and four passive UAVs to localize a 3D target UAV in real time is investigated. In the considered model, each passive UAV receives reflection signals from the…

Multiagent Systems · Computer Science 2024-01-23 Yujiao Zhu , Mingzhe Chen , Sihua Wang , Ye Hu , Yuchen Liu , Changchuan Yin

This paper tackles the challenging task of maintaining formation among multiple unmanned aerial vehicles (UAVs) while avoiding both static and dynamic obstacles during directed flight. The complexity of the task arises from its…

Robotics · Computer Science 2025-03-04 Yuqing Xie , Chao Yu , Hongzhi Zang , Feng Gao , Wenhao Tang , Jingyi Huang , Jiayu Chen , Botian Xu , Yi Wu , Yu Wang

In today's rapidly evolving military landscape, advancing artificial intelligence (AI) in support of wargaming becomes essential. Despite reinforcement learning (RL) showing promise for developing intelligent agents, conventional RL faces…

Machine Learning · Computer Science 2024-08-27 Scotty Black

Commercial operation of unmanned aerial vehicles (UAVs) would benefit from an onboard ability to sense and avoid (SAA) potential mid-air collision threats. In this paper we present a new approach for detection of aircraft below the horizon.…

Robotics · Computer Science 2019-03-11 Jasmin James , Jason J. Ford , Timothy L. Molloy

This paper addresses a two-player target defense game in the $n$-dimensional Euclidean space where an attacker attempts to enter a closed convex target set while a defender strives to capture the attacker beforehand. We provide a complete…

Optimization and Control · Mathematics 2021-12-08 Yoonjae Lee , Efstathios Bakolas

Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachability analysis for general nonlinear, high-dimensional…

Systems and Control · Electrical Eng. & Systems 2025-09-12 Elizabeth Dietrich , Rosalyn Devonport , Stephen Tu , Murat Arcak

We provide a novel uniform convergence guarantee for DeepReach, a deep learning-based method for solving Hamilton-Jacobi-Isaacs (HJI) equations associated with reachability analysis. Specifically, we show that the DeepReach algorithm, as…

Optimization and Control · Mathematics 2024-10-07 William Hofgard

This paper studies a variant of multi-player reach-avoid game played between intruders and defenders. The intruder team tries to score by sending as many intruders as possible to the target area, while the defender team tries to minimize…

Systems and Control · Electrical Eng. & Systems 2021-05-04 Daigo Shishika , Vijay Kumar

We study automated intrusion response for an IT infrastructure and formulate the interaction between an attacker and a defender as a partially observed stochastic game. To solve the game we follow an approach where attack and defense…

Systems and Control · Electrical Eng. & Systems 2024-04-23 Kim Hammar , Rolf Stadler

Multi-UAV pursuit-evasion, where pursuers aim to capture evaders, poses a key challenge for UAV swarm intelligence. Multi-agent reinforcement learning (MARL) has demonstrated potential in modeling cooperative behaviors, but most RL-based…

Robotics · Computer Science 2025-07-09 Jiayu Chen , Chao Yu , Guosheng Li , Wenhao Tang , Shilong Ji , Xinyi Yang , Botian Xu , Huazhong Yang , Yu Wang

This work addresses the problem of coupling vision-based navigation systems for Unmanned Aerial Vehicles (UAVs) with robust obstacle avoidance capabilities. The former problem is solved by maximizing the visibility of the points of…

Robotics · Computer Science 2019-11-06 Ciro Potena , Daniele Nardi , Alberto Pretto

This paper presents a real-time trajectory planning framework for Urban Air Mobility (UAM) that is both safe and scalable. The proposed framework employs a decentralized, free-flight concept of operation in which each aircraft independently…

The proliferation of unmanned aerial vehicles (UAVs) opens up new opportunities for on-demand service provisioning anywhere and anytime, but also exposes UAVs to a variety of cyber threats. Low/medium interaction honeypots offer a promising…

Systems and Control · Electrical Eng. & Systems 2023-08-31 Yuntao Wang , Zhou Su , Abderrahim Benslimane , Qichao Xu , Minghui Dai , Ruidong Li

The use of unmanned aerial vehicles (UAVs) for different applications has increased many folds in recent years. The UAVs are expected to change the future air operations. However, there are instances where the UAVs can be used for malicious…

Signal Processing · Electrical Eng. & Systems 2022-11-21 Wahab Khawaja , Martins Ezuma , Vasilii Semkin , Fatih Erden , Ozgur Ozdemir , Ismail Guvenc