Undetectable attacks are an important class of malicious attacks threatening the security of cyber-physical systems, which can modify a system's state but leave the system output measurements unaffected and hence cannot be detected from the output. This paper studies undetectable attacks on cone-invariant systems and multi-agent systems. We first provide a general characterization of zero-dynamics attacks, which characterizes fully undetectable attacks targeting the nonminimum phase zeros of a system. This geometrical characterization makes it possible to develop a defense strategy seeking to place a minimal number of sensors to detect and counter the zero-dynamics attacks on the system's actuators. The detect and defense scheme amounts to computing a set containing potentially vulnerable actuator locations and nodes and a defense union for feasible placement of sensors based on the geometrical properties of the cones under consideration.

In this article, the problem of collaborative tracking of an underwater target using autonomous surface vehicles (ASVs) is studied. Distance-based formation control with a collision-avoidance potential function is employed as a solution. A formation control protocol is devised and applied to the formation tracking problem. With the protocol, the vehicles form a desired formation around a moving target in order to continuously estimate its position, while the centroid of the formation tracks the target. Almost global stability is proved for the case with three tracking agents. A fully operational platform with four ASVs was built to implement the derived algorithms. One of the vehicles was used to simulate a target and the rest to form a triangular formation around it. Power usage of a naval vessel is highly affected by water resistance forces which increases significantly with the velocity. This was accounted for by adding an additional term to the formation tracking protocol, thereby increasing the overall system endurance. Experimental results are presented.

We study the deployment of a first-order multi-agent system over a desired smooth curve in 2D or 3D space. We assume that the agents have access to the local information of the desired curve and their relative positions with respect to their closest neighbors, whereas in addition a leader is able to measure his relative position with respect to the desired curve. For the case of an open C-2 curve, we consider two boundary leaders that use boundary instantaneous static output-feedback controllers. For the case of a closed C-2 curve we assume that the leader transmits his measurement to other agents through a communication network. The resulting closed-loop system is modeled as a heat equation with a delayed (due to the communication) boundary state, where the state is the relative position of the agents with respect to the desired curve. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.

Harmful algal blooms occur frequently and deteriorate water quality. A reliable method is proposed in this paper to track algal blooms using a set of autonomous surface robots. A satellite image indicates the existence and initial location of the algal bloom for the deployment of the robot system. The algal bloom area is approximated by a circle with time varying location and size. This circle is estimated and circumnavigated by the robots which are able to locally sense its boundary. A multi-agent control algorithm is proposed for the continuous monitoring of the dynamic evolution of the algal bloom. Such algorithm comprises of a decentralised least squares estimation of the target and a controller for circumnavigation. We prove the convergence of the robots to the circle and in equally spaced positions around it. Simulation results with data provided by the SINMOD ocean model are used to illustrate the theoretical results.

We study the deployment of a first-order multi-agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that the desired curve is a closed C-2 curve and we assume that the leader transmit his measurement to other agents through a communication network. We start the algorithm with displacement-based formation control protocol. Connections from this ODE model to a PDE model (heat equation), which can be seen as a reduced model, are then established. The resulting closed-loop system is modeled as a heat equation with delay (due to the communication). The boundary condition is periodic since the desired curve is closed. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.

Nonlinearities are present in all real applications. Two types of general nonlinear consensus protocols are considered in this paper, namely, the systems with nonlinear communication and actuator constraints. The solutions of the systems are understood in the sense of Filippov to handle the possible discontinuity of the controllers. For each case, we prove the asymptotic stability of the systems with minimal assumptions on the nonlinearity, for both directed and undirected graphs. These results extend the literature to more general nonlinear dynamics and topologies. As applications of established theorems, we interpret the results on quantized consensus protocols.

This paper studies an optimal decision fusion problem with a group of human decision makers when an order effect is present. The order effect refers to situations wherein the process of decision making by a human is affected by the order of decisions. In our set-up, all human decision makers, called observers, receive the same data which is generated by a common but unknown hypothesis. Then, each observer independently generates a sequence of decisions which are modeled by employing non-commutative probabilistic models of the data and their relation to the unknown hypothesis. The use of non-commutative probability models is motivated by recent psychological studies which indicate that these non-commutative probability models are more suitable for capturing the order effect in human decision making, compared with the classical probability model. A central decision maker (CDM) receives (possibly a subset of) the observers' decisions and decides on the true hypothesis. The considered problem becomes an optimal decision fusion problem with observations modeled using a non-commutative (Von Neumann) probability model. The structure of the optimal decision rule at the CDM is studied under two scenarios. In the first scenario, the CDM receives the entire history of the observers' decisions whereas in the second scenario, the CDM receives only the last decision of each observer. The perfromance of the optimal fusion rule is numerically evaluated and compared with the optimal fusion rule derived when using a classical probability model.

We consider an extension of the Rescorla-Wagner model which bridges the gap between conditioning and learning on a neural-cognitive, individual psychological level, and the social population level. In this model, the interaction among individuals is captured by a Markov process. The resulting human-social behavior model is a recurrent iterated function system which behaves differently from the classical Rescorla-Wagner model due to randomness. A sufficient condition for the convergence of the forward process starting with arbitrary initial distribution is provided. Furthermore, the ergodicity properties of the internal states of agents in the proposed model are studied.

In this paper, the attitude tracking problem is considered using the rotation matrices. Due to the inherent topological restriction, it is impossible to achieve global attractivity with any continuous attitude control system on SO(3). Hence in this work, we propose some control protocols achieving almost global tracking asymptotically and in finite time, respectively. In these protocols, no world frame is needed and only relative state information are requested. For finitetime tracking case, Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Simulation examples are provided to verify the performances of the control protocols designed in this paper.

The finite-time attitude synchronization problem is considered in this paper, where the rotation of each rigid body is expressed using the axis-angle representation. Two discontinuous and distributed controllers using the vectorized signum function are proposed, which guarantee almost global and local convergence, respectively. Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Sufficient conditions are provided to guarantee finite-time convergence and boundedness of the solutions. Simulation examples are provided to verify the performances of the control protocols designed in this paper.