We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently over an infinite horizon. Motivated by t...
详细信息
ISBN:
(数字)9783907144107
ISBN:
(纸本)9798331540920
We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently over an infinite horizon. Motivated by the limited approaches to handling recurring STL systematically, we tackle the infinite-horizon control problem with a receding horizon scheme equipped with additional STL constraints that introduce minimal complexity and a backward-reachability-based terminal condition that is straightforward to construct and ensures recursive feasibility. Subsequently, we decompose the global receding horizon optimization problem into agent-level programs the objectives of which are to minimize local cost functions subject to local and joint STL constraints. We propose a scheduling policy that allows individual agents to sequentially optimize their control actions while maintaining recursive feasibility. This results in a distributed strategy that can operate online as a model predictive controller. Last, we illustrate the effectiveness of our method via a multi-agent system example assigned a surveillance task.
The development of autonomous systems in military drone operations signifies a paradigm shift in modern warfare strategies, and modern warfare emphasizes the crucial role of military drones to the extent that it is ca...
详细信息
Obesity is a complex multifactorial disorder characterized by the excess accumulation of body fat that impairs human health due to the risk of developing other diseases, including cardiovascular and hepatic diseases, ...
详细信息
ISBN:
(数字)9798350386226
ISBN:
(纸本)9798350386233
Obesity is a complex multifactorial disorder characterized by the excess accumulation of body fat that impairs human health due to the risk of developing other diseases, including cardiovascular and hepatic diseases, hypertension, diabetes, hyperlipidemia. Its spread has been progressively accelerating, resulting in an unprecedented epidemic with no significant signs of slowing down any time soon. Drug therapy via the proposal repurposing solutions can represent an actionable treatment strategy, even if the emergence of drug-induced adverse effects can affect the treatment of this pathology. In this study, we propose a network-based analysis to identify a list of drug candidates predicted to be repurposable for obesity that are unlikely to produce specific adverse side-effect, such as hepatic steatosis.
An underwater communication system using light carrying orbital angular momentum is evaluated using a convolutional neural network through simulated and experimental thermally-generated underwater optical turbulence. ...
详细信息
This paper introduces for the first time the design, modelling, and control of a novel morphing multirotor Unmanned Aerial Vehicle (UAV) that we call the OmniMorph. The morphing ability allows the selection of the con...
详细信息
This paper develops a data-driven stabilization method for continuous-time linear time-invariant systems with theoretical guarantees and no need for signal derivatives. The framework, based on linear matrix inequaliti...
详细信息
The article presents the concept of a hybrid network topology in the enterprises with the use of a solar power plant and energy storage as well as a drive frequency converter for charging of transportation battery of ...
详细信息
—Trajectory planning for quadrotors in cluttered environments has been challenging in recent years. While many trajectory planning frameworks have been successful, there still exists potential for improvements, parti...
详细信息
—Trajectory planning for quadrotors in cluttered environments has been challenging in recent years. While many trajectory planning frameworks have been successful, there still exists potential for improvements, particularly in enhancing the speed of generating efficient trajectories. In this paper, we present a novel hierarchical trajectory planning framework to reduce computational time and memory usage called MINER-RRT*, which consists of two main components. First, we propose a sampling-based path planning method boosted by neural networks, where the predicted heuristic region accelerates the convergence of rapidly-exploring random trees. Second, we utilize the optimal conditions derived from the quadrotor’s differential flatness properties to construct polynomial trajectories that minimize control effort in multiple stages. Extensive simulation and real-world experimental results demonstrate that, compared to several state-of-the-art (SOTA) approaches, our method can generate high-quality trajectories with better performance in 3D cluttered environments. (Video1) Note to Practitioners—The motivation is the problem of planning trajectories for quadrotor autonomous flight in 3D cluttered and complex scenarios such as wild forest exploration and subterranean environment search-and-rescue. Sampling-based path planning methods are suitable for dealing with the complexity of the physical environment but are not convenient for computing dynamics and their differentials. Optimization-based trajectory generation methods are appropriate for handling various high-order constraints but rely on high-quality initial path solutions. Therefore, this paper combines the advantages of the two methods to propose a novel trajectory planning framework that can generate high-quality trajectories for quadrotors faster than many previous algorithms. We conduct numerous simulations and real-world experiments to verify that our method can be effectively deployed in real scenarios and empo
Vision Transformer (ViT) architectures are becoming increasingly popular and widely employed to tackle computer vision applications. Their main feature is the capacity to extract global information through the self-at...
详细信息
With the rapid development of distributed renewable energies, the number and severity of the active power disturbances that affect frequency stability have increased. The distributed energy storage system (DESS) chara...
详细信息
暂无评论