No Arabic abstract
This paper investigates the cooperative control of multiple unmanned and manned vehicles via an output containment control approach for heterogeneous discrete-time multiagent systems. The unmanned vehicles act as leading vehicles to guide the manned vehicles, i.e., following vehicles. The objective is to develop a distributed output feedback control law such that the output of the following vehicles can converge to the convex hull spanned by the output of the leading vehicles exponentially. The convex hull formed by the output of the leading vehicles and the system matrix of leading vehicles are estimated via a distributed containment observer. Based on this observer, a distributed dynamic output feedback control protocol is first devised for heterogeneous discrete-time multi-agent systems using only neighboring relative output information. The proof is depicted by showing certain output containment errors converge to zero exponentially, which indicates the containment control objective is well achieved. A distributed dynamic state-feedback control law is deduced as a special case of the output feedback control. Finally, numerical simulations with application to cooperative control of multiple vehicles validate the effectiveness and the computational feasibility of the proposed control protocols.
A system of cooperative unmanned aerial vehicles (UAVs) is a group of agents interacting with each other and the surrounding environment to achieve a specific task. In contrast with a single UAV, UAV swarms are expected to benefit efficiency, flexibility, accuracy, robustness, and reliability. However, the provision of external communications potentially exposes them to an additional layer of faults, failures, uncertainties, and cyber-attacks and can contribute to the propagation of error from one component to other components in a network. Also, other challenges such as complex nonlinear dynamic of UAVs, collision avoidance, velocity matching, and cohesion should be addressed adequately. The main applications of cooperative UAVs are border patrol; search and rescue; surveillance; mapping; military. Challenges to be addressed in decision and control in cooperative systems may include the complex nonlinear dynamic of UAVs, collision avoidance, velocity matching, and cohesion. In this paper, emerging topics in the field of cooperative UAVs control and their associated practical approaches are reviewed.
In modern networks, the use of drones as mobile base stations (MBSs) has been discussed for coverage flexibility. However, the realization of drone-based networks raises several issues. One of the critical issues is drones are extremely power-hungry. To overcome this, we need to characterize a new type of drones, so-called charging drones, which can deliver energy to MBS drones. Motivated by the fact that the charging drones also need to be charged, we deploy ground-mounted charging towers for delivering energy to the charging drones. We introduce a new energy-efficiency maximization problem, which is partitioned into two independently separable tasks. More specifically, as our first optimization task, two-stage charging matching is proposed due to the inherent nature of our network model, where the first matching aims to schedule between charging towers and charging drones while the second matching solves the scheduling between charging drones and MBS drones. We analyze how to convert the formulation containing non-convex terms to another one only with convex terms. As our second optimization task, each MBS drone conducts energy-aware time-average transmit power allocation minimization subject to stability via Lyapunov optimization. Our solutions enable the MBS drones to extend their lifetimes; in turn, network coverage-time can be extended.
Symbolic control is a an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Current methodologies of symbolic control usually assume that full-state information is available. This is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framework for output-feedback symbolic control. We propose relations between original systems and their symbolic models based on outputs. They enable designing symbolic controllers and refining them to enforce complex requirements on original systems. To demonstrate the effectiveness of the proposed framework, we provide three different methodologies. They are applicable to a wide range of linear and nonlinear systems, and support general logic specifications.
The hybrid electric system has good potential for unmanned tracked vehicles due to its excellent power and economy. Due to unmanned tracked vehicles have no traditional driving devices, and the driving cycle is uncertain, it brings new challenges to conventional energy management strategies. This paper proposes a novel energy management strategy for unmanned tracked vehicles based on local speed planning. The contributions are threefold. Firstly, a local speed planning algorithm is adopted for the input of driving cycle prediction to avoid the dependence of traditional vehicles on drivers operation. Secondly, a prediction model based on Convolutional Neural Networks and Long Short-Term Memory (CNN-LSTM) is proposed, which is used to process both the planned and the historical velocity series to improve the prediction accuracy. Finally, based on the prediction results, the model predictive control algorithm is used to realize the real-time optimization of energy management. The validity of the method is verified by simulation using collected data from actual field experiments of our unmanned tracked vehicle. Compared with multi-step neural networks, the prediction model based on CNN-LSTM improves the prediction accuracy by 20%. Compared with the traditional regular energy management strategy, the energy management strategy based on model predictive control reduces fuel consumption by 7%.
This article considers the $mathcal{H}_infty$ static output-feedback control for linear time-invariant uncertain systems with polynomial dependence on probabilistic time-invariant parametric uncertainties. By applying polynomial chaos theory, the control synthesis problem is solved using a high-dimensional expanded system which characterizes stochastic state uncertainty propagation. A closed-loop polynomial chaos transformation is proposed to derive the closed-loop expanded system. The approach explicitly accounts for the closed-loop dynamics and preserves the $mathcal{L}_2$-induced gain, which results in smaller transformation errors compared to existing polynomial chaos transformations. The effect of using finite-degree polynomial chaos expansions is first captured by a norm-bounded linear differential inclusion, and then addressed by formulating a robust polynomial chaos based control synthesis problem. This proposed approach avoids the use of high-degree polynomial chaos expansions to alleviate the destabilizing effect of truncation errors, which significantly reduces computational complexity. In addition, some analysis is given for the condition under which the robustly stabilized expanded system implies the robust stability of the original system. A numerical example illustrates the effectiveness of the proposed approach.