English
Related papers

Related papers: Formal Modelling and Analysis of a Self-Adaptive R…

200 papers

We present an explainable AI-enhanced supervisory control framework for multi-agent robotics that combines (i) a timed-automata supervisor for safe, auditable mode switching, (ii) robust continuous control (Lyapunov-based controller for…

Robotics · Computer Science 2025-09-22 Reza Pirayeshshirazinezhad , Nima Fathi

Testing and evaluation is a critical step in the development and deployment of connected and automated vehicles (CAVs). Due to the black-box property and various types of CAVs, how to test and evaluate CAVs adaptively remains a major…

Systems and Control · Electrical Eng. & Systems 2022-07-20 Jingxuan Yang , Honglin He , Yi Zhang , Shuo Feng , Henry X. Liu

The use of Autonomous Surface Vehicles, equipped with water quality sensors and artificial vision systems, allows for a smart and adaptive deployment in water resources environmental monitoring. This paper presents a real implementation of…

Reinforcement learning-based quadruped robots excel across various terrains but still lack the ability to swim in water due to the complex underwater environment. This paper presents the development and evaluation of a data-driven…

Robotics · Computer Science 2024-10-02 Cong Wang , Aoming Liang , Fei Han , Xinyu Zeng , Zhibin Li , Dixia Fan , Jens Kober

Autonomous underwater vehicle (AUV) plays an increasingly important role in ocean exploration. Existing AUVs are usually not fully autonomous and generally limited to pre-planning or pre-programming tasks. Reinforcement learning (RL) and…

Artificial Intelligence · Computer Science 2020-01-13 Qilei Zhang , Jinying Lin , Qixin Sha , Bo He , Guangliang Li

This study proposes a new distributed control method based on an adaptive fuzzy control for multiple collaborative autonomous underwater vehicles (AUVs) to track a desired formation shape within a fixed time. First, a formation control…

Systems and Control · Electrical Eng. & Systems 2023-03-01 Mien Van , Yuzhu Sun , Stephen Mcllvanna , Minh-Nhat Nguyen , Federico Zocco , Zhijie Liu , Hsueh-Cheng Wang

Autonomous cars have to navigate in dynamic environment which can be full of uncertainties. The uncertainties can come either from sensor limitations such as occlusions and limited sensor range, or from probabilistic prediction of other…

Robotics · Computer Science 2019-05-06 Liting Sun , Wei Zhan , Ching-Yao Chan , Masayoshi Tomizuka

Self-adaptive systems are capable of adjusting their behavior to cope with the changes in environment and itself. These changes may cause runtime uncertainty, which refers to the system state of failing to achieve appropriate…

Software Engineering · Computer Science 2017-04-11 Zhuoqun Yang , Wei Zhang , Haiyan Zhao , Zhi Jin

Small unmanned aircraft systems (sUAS) are becoming prominent components of many humanitarian assistance and disaster response (HADR) operations. Pairing sUAS with onboard artificial intelligence (AI) substantially extends their utility in…

Computer Vision and Pattern Recognition · Computer Science 2022-01-26 Daniel Davila , Joseph VanPelt , Alexander Lynch , Adam Romlein , Peter Webley , Matthew S. Brown

This paper presents a fault-tolerant control for the trajectory tracking of autonomous underwater vehicles (AUVs) against thruster failures. We formulate faults in AUV thrusters as discrete switching events during a UAV mission, and develop…

Robotics · Computer Science 2025-04-23 Haolin Liu , Shiliang Zhang , Shangbin Jiao , Xiaohui Zhang , Xuehui Ma , Yan Yan , Wenchuan Cui , Youmin Zhang

We present a multirotor Unmanned Aerial Vehicle control (UAV) and estimation system for supporting replicable research through realistic simulations and real-world experiments. We propose a unique multi-frame localization paradigm for…

Robotics · Computer Science 2025-04-24 Tomas Baca , Matej Petrlik , Matous Vrba , Vojtech Spurny , Robert Penicka , Daniel Hert , Martin Saska

Safety assurance is critical in the planning and control of robotic systems. For robots operating in the real world, the safety-critical design often needs to explicitly address uncertainties and the pre-computed guarantees often rely on…

Robotics · Computer Science 2024-07-09 Hao Zhou , Yanze Zhang , Wenhao Luo

In this paper, we consider the problem of controlling an underactuated system in unknown, and potentially adversarial environments. The emphasis will be on autonomous aerial vehicles, modelled by Dubins dynamics. The proposed control law is…

Multiagent Systems · Computer Science 2019-09-04 Shashwat Shivam , Aris Kanellopoulos , Kyriakos G. Vamvoudakis , Yorai Wardi

Artificial Water Bodies (AWBs) are human-made and require continuous monitoring due to their artificial biological processes. These systems necessitate regular maintenance to manage their ecosystems effectively. Unmanned Surface Vehicle…

Robotics · Computer Science 2024-10-24 Ahmed H. Elsayed , Andrej Lejman , Frederic Stahl

Robotic systems increasingly operate in dynamic, unpredictable environments, where tightly coupled sensors and software modules increase the probability of a single fault cascading across components and admitting multiple plausible…

Robotics · Computer Science 2026-01-27 Andreas Wiedholz , Rafael Paintner , Julian Gleißner , Alwin Hoffmann , Tobias Huber

Accurate accident anticipation is essential for enhancing the safety of autonomous vehicles (AVs). However, existing methods often assume ideal conditions, overlooking challenges such as sensor failures, environmental disturbances, and data…

Artificial Intelligence · Computer Science 2025-11-11 Xingcheng Liu , Yanchen Guan , Haicheng Liao , Zhengbing He , Zhenning Li

Collapsing of structural buildings has been sighted commonly and the presence of potential faults has proved to be damaging to the buildings, resulting in accidents. It is essential to continuously monitor any building for faults where…

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus,…

Software Engineering · Computer Science 2015-10-23 Victor Braberman , Nicolas D'Ippolito , Jeff Kramer , Daniel Sykes , Sebastian Uchitel

Off-road autonomous unmanned ground vehicles (UGVs) are being developed for military and commercial use to deliver crucial supplies in remote locations, help with mapping and surveillance, and to assist war-fighters in contested…

Micro Autonomous Surface Vehicles (MicroASVs) offer significant potential for operations in confined or shallow waters and swarm robotics applications. However, achieving precise and robust control at such small scales remains highly…

Robotics · Computer Science 2025-09-09 Zhiheng Chen , Wei Wang