# Systems and Control (cs.SY)

• The bounded-real and positive-real lemmas solve two important linear-quadratic optimal control problems related to the concepts of non-expansive and passive systems, respectively. The lemmas assume controllability, yet a non-expansive or passive system can be uncontrollable. In this paper, we solve these optimal control problems without assuming controllability. We obtain necessary and sufficient conditions for a system to be non-expansive (passive) which augment the bounded-real (positive-real) condition with new conditions relating to the uncontrollable modes of the system. A characterisation of the set of solutions to the linear matrix inequalities in the bounded-real and positive-real lemmas is obtained.
• We investigate an alternative solution method to the joint signal-beamformer optimization problem considered by Setlur and Rangaswamy[1]. First, we directly demonstrate that the problem, which minimizes the received noise, interference, and clutter power under a minimum variance distortionless response (MVDR) constraint, is generally non-convex and provide concrete insight into the nature of the nonconvexity. Second, we employ the theory of biquadratic optimization and semidefinite relaxations to produce a relaxed version of the problem, which we show to be convex. The optimality conditions of this relaxed problem are examined and a variety of potential solutions are found, both analytically and numerically.
• A vital aspect in energy storage planning and operation is to accurately model its operational cost, which mainly comes from the battery cell degradation. Battery degradation can be viewed as a complex material fatigue process that based on stress cycles. Rainflow algorithm is a popular way for cycle identification in material fatigue process, and has been extensively used in battery degradation assessment. However, the rainflow algorithm does not have a closed form, which makes the major difficulty to include it in optimization. In this paper, we prove the rainflow cycle-based cost is convex. Convexity enables the proposed degradation model to be incorporated in different battery optimization problems and guarantees the solution quality. We provide a subgradient algorithm to solve the problem. A case study on PJM regulation market demonstrates the effectiveness of the proposed degradation model in maximizing the battery operating profits as well as extending its lifetime.
• This paper presents a distributed algorithm for controlling the deployment of a team of mobile agents in formations whose shapes can be characterized by a broad class of polygons, including regular ones, where each agent occupies a corner of the polygon. The algorithm shares the appealing properties of the popular distance-based rigid formation control, but with the additional advantage of requiring the control of fewer pairs of neighboring agents. Furthermore, the scale of the polygon can be controlled by only one pair of neighboring agents. We also exploit the exponential stability of the controlled formation in order to steer the formation as a whole with translations and rotations in a prescribed way. We provide both theoretical analysis and illustrative simulations.
• In this paper we study coupled dynamical systems and establish several invariance principles relating to the dimensions of the subspace spanned by solutions of each individual system. We consider two types of coupled systems, one with scalar couplings and the other with matrix couplings. Via the rank-preserving flow theory, we prove that scalar-coupled dynamical systems possess the dimensional-invariance principles, in that the dimension of the subspace spanned by the individual systems' solutions remains invariant. For coupled dynamical systems with matrix coefficients/couplings, necessary and sufficient conditions are given to characterize dimensional-invariance principles. The established invariance principles provide additional characterizations and insights to analyze the transient behaviors and solution evolution for a large family of coupled systems, such as multi-agent consensus dynamics, distributed coordination systems, formation control systems, among others.
• In this paper we present a method for the addition of integral action to non-passive outputs of a class of port-Hamiltonian systems. The proposed integral controller is a dynamic extension, constructed from the open loop system, such that the closed loop preserves the port-Hamiltonian form. It is shown that the controller is able to reject the effects of both matched and unmatched disturbances, preserving the regulation of the non-passive outputs. Previous solutions to this problem have relied on a change of coordinates whereas the presented solution is developed using the original state vector and, therefore, retains its physical interpretation. In addition, the resulting closed loop dynamics have a natural interpretation as a Control by Interconnection scheme.
• Almost-global orientation trajectory tracking for a rigid body with external actuation has been well studied in the literature, and in the geometric setting as well. The tracking control law relies on the fact that a rigid body is a simple mechanical system (SMS) on the $3-$dimensional group of special orthogonal matrices. However, the problem of designing feedback control laws for tracking using internal actuation mechanisms, like rotors or control moment gyros, has received lesser attention from a geometric point of view. An internally actuated rigid body is not a simple mechanical system, and the phase-space here evolves on the level set of a momentum map. In this note, we propose a novel proportional integral derivative (PID) control law for a rigid body with $3$ internal rotors, that achieves tracking of feasible trajectories from almost all initial conditions.