1. |
- Abara, Precious Ugo, et al.
(author)
-
Spectral Conditions for Stability and Stabilization of Positive Equilibria for a Class of Nonlinear Cooperative Systems
- 2018
-
In: IEEE Transactions on Automatic Control. - : IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. - 0018-9286 .- 1558-2523. ; 63:2, s. 402-417
-
Journal article (peer-reviewed)abstract
- Nonlinear cooperative systems associated to vector fields that are concave or subhomogeneous describe well interconnected dynamics that are of key interest for communication, biological, economical, and neural network applications. For this class of positive systems, we provide conditions that guarantee existence, uniqueness and stability of strictly positive equilibria. These conditions can be formulated directly in terms of the spectral radius of the Jacobian of the system. If control inputs are available, then it is shown how to use state feedback to stabilize an equilibrium point in the interior of the positive orthant.
|
|
2. |
- Altafini, Claudio, et al.
(author)
-
Predictable Dynamics of Opinion Forming for Networks With Antagonistic Interactions
- 2015
-
In: IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers (IEEE). - 0018-9286 .- 1558-2523. ; 60:2, s. 342-357
-
Journal article (peer-reviewed)abstract
- For communities of agents which are not necessarily cooperating, distributed processes of opinion forming are naturally represented by signed graphs, with positive edges representing friendly and cooperative interactions and negative edges the corresponding antagonistic counterpart. Unlike for nonnegative graphs, the outcome of a dynamical system evolving on a signed graph is not obvious and it is in general difficult to characterize, even when the dynamics are linear. In this paper, we identify a significant class of signed graphs for which the linear dynamics are however predictable and show many analogies with positive dynamical systems. These cases correspond to adjacency matrices that are eventually positive, for which the Perron-Frobenius property still holds and implies the existence of an invariant cone contained inside the positive orthant. As examples of applications, we determine cases in which it is possible to anticipate or impose unanimity of opinion in decision/voting processes even in presence of stubborn agents, and show how it is possible to extend the PageRank algorithm to include negative links.
|
|
3. |
- Alur, Rajeev, et al.
(author)
-
Compositional Modeling and Analysis of Multi-Hop Control Networks
- 2011
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 56:10, s. 2345-2357
-
Journal article (peer-reviewed)abstract
- We propose a mathematical framework for modeling and analyzing multi-hop control networks designed for systems consisting of multiple control loops closed over a multi-hop (wireless) communication network. We separate control, topology, routing, and scheduling and propose formal syntax and semantics for the dynamics of the composed system, providing an explicit translation of multi-hop control networks to switched systems. We propose formal models for analyzing robustness of multi-hop control networks, where data is exchanged through a multi-hop communication network subject to disruptions. When communication disruptions are long, compared to the speed of the control system, we propose to model them as permanent link failures. We show that the complexity of analyzing such failures is NP-hard, and discuss a way to overcome this limitation for practical cases using compositional analysis. For typical packet transmission errors, we propose a transient error model where links fail for one time slot independently of the past and of other links. We provide sufficient conditions for almost sure stability in presence of transient link failures, and give efficient decision procedures. We deal with errors that have random time span and show that, under some conditions, the permanent failure model can be used as a reliable abstraction. Our approach is compositional, namely it addresses the problem of designing scalable scheduling and routing policies for multiple control loops closed on the same multi-hop control network. We describe how the translation of multi-hop control networks to switched systems can be automated, and use it to solve control and networking co-design challenges in some representative examples, and to propose a scheduling solution in a mineral floatation control problem that can be implemented on a time triggered communication protocols for wireless networks.
|
|
4. |
- Andersen, Martin S., et al.
(author)
-
Robust Stability Analysis of Sparsely Interconnected Uncertain Systems
- 2014
-
In: IEEE Transactions on Automatic Control. - : IEEE. - 0018-9286 .- 1558-2523. ; 59:8, s. 2151-2156
-
Journal article (peer-reviewed)abstract
- In this paper, we consider robust stability analysis of large-scale sparsely interconnected uncertain systems. By modeling the interconnections among the subsystems with integral quadratic constraints, we show that robust stability analysis of such systems can be performed by solving a set of sparse linear matrix inequalities. We also show that a sparse formulation of the analysis problem is equivalent to the classical formulation of the robustness analysis problem and hence does not introduce any additional conservativeness. The sparse formulation of the analysis problem allows us to apply methods that rely on efficient sparse factorization techniques, and our numerical results illustrate the effectiveness of this approach compared to methods that are based on the standard formulation of the analysis problem.
|
|
5. |
- Andreasson, Martin, et al.
(author)
-
Distributed Control of Networked Dynamical Systems : Static Feedback, Integral Action and Consensus
- 2014
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 59:7, s. 1750-1764
-
Journal article (peer-reviewed)abstract
- This paper analyzes distributed control protocols for first- and second-order networked dynamical systems. We propose a class of nonlinear consensus controllers where the input of each agent can be written as a product of a nonlinear gain, and a sum of nonlinear interaction functions. By using integral Lyapunov functions, we prove the stability of the proposed control protocols, and explicitly characterize the equilibrium set. We also propose a distributed proportional-integral (PI) controller for networked dynamical systems. The PI controllers successfully attenuate constant disturbances in the network. We prove that agents with single-integrator dynamics are stable for any integral gain, and give an explicit tight upper bound on the integral gain for when the system is stable for agents with double-integrator dynamics. Throughout the paper we highlight some possible applications of the proposed controllers by realistic simulations of autonomous satellites, power systems and building temperature control.
|
|
6. |
- Anisi, David A., et al.
(author)
-
Cooperative Minimum Time Surveillance With Multiple Ground Vehicles
- 2010
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 55:12, s. 2679-2691
-
Journal article (peer-reviewed)abstract
- In this paper, we formulate and solve two different minimum time problems related to unmanned ground vehicle (UGV) surveillance. The first problem is the following. Given a set of surveillance UGVs and a polyhedral area, find waypoint-paths for all UGVs such that every point of the area is visible from a point on a path and such that the time for executing the search in parallel is minimized. Here, the sensors' field of view are assumed to have a limited coverage range and be occluded by the obstacles. The second problem extends the first by additionally requiring the induced information graph to be connected at the time instants when the UGVs perform the surveillance mission, i.e., when they gather and transmit sensor data. In the context of the second problem, we also introduce and utilize the notion of recurrent connectivity, which is a significantly more flexible connectivity constraint than, e.g., the 1-hop connectivity constraints and use it to discuss consensus filter convergence for the group of UGVs.
|
|
7. |
- Ankelhed, Daniel, et al.
(author)
-
A Partially Augmented Lagrangian Method for Low Order H-Infinity Controller Synthesis Using Rational Constraints
- 2012
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 57:11, s. 2901-2905
-
Journal article (peer-reviewed)abstract
- This technical note proposes a method for low order H-infinity synthesis where the constraint on the order of the controller is formulated as a rational equation. The resulting nonconvex optimization problem is then solved by applying a partially augmented Lagrangian method. The proposed method is evaluated together with two well-known methods from the literature. The results indicate that the proposed method has comparable performance and speed.
|
|
8. |
- Ankelhed, Daniel, et al.
(author)
-
A Quasi-Newton Interior Point Method for Low Order H-Infinity Controller Synthesis
- 2011
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 56:6, s. 1462-1467
-
Journal article (peer-reviewed)abstract
- This technical note proposes a method for low order H-infinity synthesis where the constraint on the order of the controller is formulated as a rational equation. The resulting nonconvex optimization problem is then solved by applying a quasi-Newton primal-dual interior point method. The proposed method is evaluated together with a well-known method from the literature. The results indicate that the proposed method has comparable performance and speed.
|
|
9. |
- Atta, Khalid, et al.
(author)
-
Accuracy Improvement of Extremum Seeking Control
- 2017
-
In: IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers (IEEE). - 0018-9286 .- 1558-2523. ; 62:4, s. 1952-1958
-
Journal article (peer-reviewed)abstract
- In this work, we present a modification for theclassic and phasor extremum seeking control algorithms in orderto improve the accuracy by removing or reducing the convergenceerror. The modulation signals were replaced by a sum of sinusoidsin order to remove the equilibrium shift in the controlled variableof the averaged system. The convergence error is calculated as afunction of the number of sinusoids used in the modulation signal.A simulation example is presented to illustrate the improvement.
|
|
10. |
- Avventi, Enrico, et al.
(author)
-
ARMA Identification of Graphical Models
- 2013
-
In: IEEE Transactions on Automatic Control. - 0018-9286 .- 1558-2523. ; 58:5, s. 1167-1178
-
Journal article (peer-reviewed)abstract
- Consider a Gaussian stationary stochastic vector process with the property that designated pairs of components are conditionally independent given the rest of the components. Such processes can be represented on a graph where the components are nodes and the lack of a connecting link between two nodes signifies conditional independence. This leads to a sparsity pattern in the inverse of the matrix-valued spectral density. Such graphical models find applications in speech, bioinformatics, image processing, econometrics and many other fields, where the problem to fit an autoregressive (AR) model to such a process has been considered. In this paper we take this problem one step further, namely to fit an autoregressive moving-average (ARMA) model to the same data. We develop a theoretical framework and an optimization procedure which also spreads further light on previous approaches and results. This procedure is then applied to the identification problem of estimating the ARMA parameters as well as the topology of the graph from statistical data.
|
|