-
On-line Estimation of Stability and Passivity Metrics
Authors:
Shirantha Welikala,
Hai Lin,
Panos J. Antsaklis
Abstract:
We consider the problem of on-line evaluation of critical characteristic parameters such as the L_2-gain (L2G), input feedforward passivity index (IFP) and output feedback passivity index (OFP) of non-linear systems using their input-output data. Typically, having an accurate measure of such "system indices" enables the application of systematic control design techniques. Moreover, if such system…
▽ More
We consider the problem of on-line evaluation of critical characteristic parameters such as the L_2-gain (L2G), input feedforward passivity index (IFP) and output feedback passivity index (OFP) of non-linear systems using their input-output data. Typically, having an accurate measure of such "system indices" enables the application of systematic control design techniques. Moreover, if such system indices can efficiently be evaluated on-line, they can be exploited to device intelligent controller reconfiguration and fault-tolerant control techniques. However, the existing estimation methods of such system indices (i.e., L2G, IFP and OFP) are predominantly off-line, computationally inefficient, and require a large amount of actual or synthetically generated input-output trajectory data under some specific initial/terminal conditions. On the other hand, the existing on-line estimation methods take an averaging-based approach, which may be sub-optimal, computationally inefficient and susceptible to estimate saturation. In this paper, to overcome these challenges (in the on-line estimation of system indices), we establish and exploit several interesting theoretical results on a particular class of fractional function optimization problems. For comparison purposes, the details of an existing averaging-based approach are provided for the same on-line estimation problem. Finally, several numerical examples are discussed to demonstrate the proposed on-line estimation approach and to highlight our contributions.
△ Less
Submitted 31 March, 2022;
originally announced April 2022.
-
Model-Based Event-Triggered Control over Lossy Networks
Authors:
Eloy Garcia,
Panos J. Antsaklis
Abstract:
The event-triggered control problem over lossy communication networks is addressed in this paper. Although packet dropouts have been considered in the implementation of event-triggered controllers, the assumption of protocols that employ acknowledgement messages persists. This paper provides an approach that relaxes such assumption. An event-based controller is implemented at the sensor node of th…
▽ More
The event-triggered control problem over lossy communication networks is addressed in this paper. Although packet dropouts have been considered in the implementation of event-triggered controllers, the assumption of protocols that employ acknowledgement messages persists. This paper provides an approach that relaxes such assumption. An event-based controller is implemented at the sensor node of the networked and uncertain system and it transmits feedback measurements to the controller node at asynchronous time instants. The transmitted packets of information are subject to dropouts by the lossy network. We show that the uncertain system can be asymptotically stabilized, that a positive minimum inter-event time exists, and that the proposed approach does not require acknowledgement messages.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Resilient Learning-Based Control for Synchronization of Passive Multi-Agent Systems under Attack
Authors:
Arash Rahnama,
Panos J. Antsaklis
Abstract:
In this paper, we show synchronization for a group of output passive agents that communicate with each other according to an underlying communication graph to achieve a common goal. We propose a distributed event-triggered control framework that will guarantee synchronization and considerably decrease the required communication load on the band-limited network. We define a general Byzantine attack…
▽ More
In this paper, we show synchronization for a group of output passive agents that communicate with each other according to an underlying communication graph to achieve a common goal. We propose a distributed event-triggered control framework that will guarantee synchronization and considerably decrease the required communication load on the band-limited network. We define a general Byzantine attack on the event-triggered multi-agent network system and characterize its negative effects on synchronization. The Byzantine agents are capable of intelligently falsifying their data and manipulating the underlying communication graph by altering their respective control feedback weights. We introduce a decentralized detection framework and analyze its steady-state and transient performances. We propose a way of identifying individual Byzantine neighbors and a learning-based method of estimating the attack parameters. Lastly, we propose learning-based control approaches to mitigate the negative effects of the adversarial attack.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
How to Obtain Desirable Transfer Functions in MIMO Systems Using 2-Degrees of Freedom Controllers Under Internal Stability
Authors:
Panos J. Antsaklis,
Eloy Garcia
Abstract:
This paper summarizes important results useful for controller design of multi-input multi-output systems. The main goal is to characterize the stabilizing controllers that provide a desired response.
This paper summarizes important results useful for controller design of multi-input multi-output systems. The main goal is to characterize the stabilizing controllers that provide a desired response.
△ Less
Submitted 10 June, 2017;
originally announced June 2017.
-
A Passivity-Based Design for Stability and Robustness in Event-Triggered Networked Control Systems with Communication Delays, Signal Quantizations and Packet Dropouts
Authors:
Arash Rahnama,
Meng Xia,
Panos J. Antsaklis
Abstract:
In this report, we introduce a comprehensive design framework for Event-Triggered Networked Control Systems based on the passivity-based concept of Input Feed-Forward Output Feedback Passive (IF-OFP) systems. Our approach is comprehensive in the sense that we show finite-gain $L_2$-stability and robustness for the networked control system by considering the effects of time-varying or constant netw…
▽ More
In this report, we introduce a comprehensive design framework for Event-Triggered Networked Control Systems based on the passivity-based concept of Input Feed-Forward Output Feedback Passive (IF-OFP) systems. Our approach is comprehensive in the sense that we show finite-gain $L_2$-stability and robustness for the networked control system by considering the effects of time-varying or constant network induced delays, signal quantizations, and data losses in communication links from the plant to controller and the controller to plant. Our design is based on the need for a more efficient utilization of band-limited shared communication networks which is a necessity for the design of Large-Scale Cyber-Physical systems. To achieve this, we introduce simple triggering conditions that do not require the exact knowledge of the sub-systems and are located on both sides of the communication network: the plant's output and the controller's output. This specifically leads to a great decrease in the communication rate between the controller and plant. Additionally, we show lower-bounds on inter-event time intervals for the triggering conditions and show the design's robustness against external noise and disturbance. We illustrate the relationship amongst stability, robustness and passivity levels for the plant and controller. We analyze our design's robustness against packet dropouts and loss of communication. Our results are design-oriented in the sense that based on our proposed framework, the designer can easily observe the trade-offs amongst different components of the networked control system, time-varying delays, effects of signal quantizations and triggering conditions, stability, robustness and performance of networked control system and make design decisions accordingly.
△ Less
Submitted 24 March, 2017;
originally announced April 2017.
-
An Extremum-Seeking Co-Simulation Based Framework for Passivation Theory and its Application in Adaptive Cruise Control Systems
Authors:
Arash Rahnama,
Meng Xia,
Shige Wang,
Panos J. Antsaklis
Abstract:
In this report, we apply an input-output transformation passivation method, described in our previous works, to an Adaptive Cruise Control system. We analyze the system's performance under a co-simulation framework that makes use of an online optimization method called extremum-seeking to achieve the optimized behavior. The matrix for passivation method encompasses commonly used methods of series,…
▽ More
In this report, we apply an input-output transformation passivation method, described in our previous works, to an Adaptive Cruise Control system. We analyze the system's performance under a co-simulation framework that makes use of an online optimization method called extremum-seeking to achieve the optimized behavior. The matrix for passivation method encompasses commonly used methods of series, feedback and feed-forward interconnections for passivating the system. We have previously shown that passivity levels can be guaranteed for a system using our passivation method. In this work, an extremum-seeking algorithm was used to determine the passivation parameters. It is known that systems with input-output time-delays are not passive. On the other hand, time-delays are unavoidable in automotive systems and commonly emerge in software implementations and communication units as well as driver's behavior. We show that by using our passivation method, we can passivate the system and improve its overall performance. Our simulation examples in CarSim and Simulink will show that the passive system has a considerably better performance.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
QSR-Dissipativity and Passivity Analysis of Event-Triggered Networked Control Cyber-Physical Systems
Authors:
Arash Rahnama,
Meng Xia,
Panos J. Antsaklis
Abstract:
Input feed-forward output feedback passive (IF-OFP) systems define a great number of dynamical systems. In this report, we show that dissipativity and passivity-based control combined with event-triggered networked control systems (NCS) provide a powerful platform for the design of cyber-physical systems (CPS). We propose QSR-dissipativity, passivity and L2 stability conditions for an event-trigge…
▽ More
Input feed-forward output feedback passive (IF-OFP) systems define a great number of dynamical systems. In this report, we show that dissipativity and passivity-based control combined with event-triggered networked control systems (NCS) provide a powerful platform for the design of cyber-physical systems (CPS). We propose QSR-dissipativity, passivity and L2 stability conditions for an event-triggered networked control system in three cases where: (i) an input-output event-triggering sampler condition is located on the plant's output side, (ii) an input-output event-triggering sampler condition is located on controller's output side, (iii) input-output event-triggering sampler conditions are located on the outputs of both the plant and controller. We will show that this leads to a large decrease in communicational load amongst sub-units in networked control structures. We show that passivity and stability conditions depend on passivity levels for the plant and controller. Our results also illustrate the trade-off among passivity levels, stability, and system's dependence on the rate of communication between the plant and controller.
△ Less
Submitted 2 July, 2016;
originally announced July 2016.
-
On quantification of systemic redundancy in reliable systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we consider the problem of quantifying systemic redundancy in reliable systems having multiple controllers with overlapping functionality. In particular, we consider a multi-channel system with multi-controller configurations -- where controllers are required to respond optimally, in the sense of best-response correspondence, a {\it reliable-by-design} requirement, to non-faulty con…
▽ More
In this paper, we consider the problem of quantifying systemic redundancy in reliable systems having multiple controllers with overlapping functionality. In particular, we consider a multi-channel system with multi-controller configurations -- where controllers are required to respond optimally, in the sense of best-response correspondence, a {\it reliable-by-design} requirement, to non-faulty controllers so as to ensure or maintain some system properties. Here we introduce a mathematical framework, based on the notion of relative entropy of probability measures associated with steady-state solutions of Fokker-Planck equations for a family of stochastically perturbed multi-channel systems, that provides useful information towards a systemic assessment of redundancy in the system.
△ Less
Submitted 14 February, 2015;
originally announced February 2015.
-
On the risk-sensitive escape control for diffusion processes pertaining to an expanding construction of distributed control systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we consider an expanding construction of a distributed control system, which is obtained by adding a new subsystem one after the other, until all $n$ subsystems, where $n \ge 2$, are included in the distributed control system. It is assumed that a small random perturbation enters only into the first subsystem and is then subsequently transmitted to the other subsystems. Moreover, fo…
▽ More
In this paper, we consider an expanding construction of a distributed control system, which is obtained by adding a new subsystem one after the other, until all $n$ subsystems, where $n \ge 2$, are included in the distributed control system. It is assumed that a small random perturbation enters only into the first subsystem and is then subsequently transmitted to the other subsystems. Moreover, for any $\ell \in \{2, ..., n\}$, the distributed control system, compatible with the expanding construction, which is obtained from the first $\ell$ subsystems, satisfies an appropriate Hörmander condition. As a result of this, the diffusion process is degenerate, i.e., the backward operator associated with it is a degenerate parabolic equation. Our main interest here is to prevent the diffusion process (that corresponds to a particular subsystem) from leaving a given bounded open domain. In particular, we consider a risk-sensitive version of the mean escape time criterion with respect to each of the subsystems. Using a variational representation, we characterize the risk-sensitive escape control for the diffusion process as the lower and upper values of an associated stochastic differential game. Finally, we comment on the implication of our results, where one is also interested in evaluating the performance of the risk-sensitive escape control, when there is some modeling error in the distributed control system.
△ Less
Submitted 29 September, 2014; v1 submitted 23 September, 2014;
originally announced September 2014.
-
On the minimum exit rate for a diffusion process pertaining to a chain of distributed control systems with random perturbations
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we consider the problem of minimizing the exit rate with which a diffusion process pertaining to a chain of distributed control systems, with random perturbations, exits from a given bounded open domain. In particular, we consider a chain of distributed control systems that are formed by $n$ subsystems (with $n \ge 2$), where the random perturbation enters only in the first subsyste…
▽ More
In this paper, we consider the problem of minimizing the exit rate with which a diffusion process pertaining to a chain of distributed control systems, with random perturbations, exits from a given bounded open domain. In particular, we consider a chain of distributed control systems that are formed by $n$ subsystems (with $n \ge 2$), where the random perturbation enters only in the first subsystem and is then subsequently transmitted to the other subsystems. Furthermore, we assume that, for any $\ell \in \{2, \ldots, n\}$, the distributed control systems, which is formed by the first $\ell$ subsystems, satisfies an appropriate Hörmander condition. As a result of this, the diffusion process is degenerate, in the sense that the infinitesimal generator associated with it is a degenerate parabolic equation. Our interest is to establish a connection between the minimum exit rate with which the diffusion process exits from the given domain and the principal eigenvalue for the infinitesimal generator with zero boundary conditions. Such a connection allows us to derive a family of Hamilton-Jacobi-Bellman equations for which we provide a verification theorem that shows the validity of the corresponding optimal control problems. Finally, we provide an estimate on the attainable exit probability of the diffusion process with respect to a set of admissible (optimal) Markov controls for the optimal control problems.
△ Less
Submitted 10 September, 2014; v1 submitted 9 September, 2014;
originally announced September 2014.
-
Exit Probabilities for a Chain of Distributed Control Systems with Small Random Perturbations
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we consider a diffusion process pertaining to a chain of distributed control systems with small random perturbation. The distributed control system is formed by n subsystems that satisfy an appropriate Hormander condition, i.e., the second subsystem assumes the random perturbation entered into the first subsystem, the third subsystem assumes the random perturbation entered into the…
▽ More
In this paper, we consider a diffusion process pertaining to a chain of distributed control systems with small random perturbation. The distributed control system is formed by n subsystems that satisfy an appropriate Hormander condition, i.e., the second subsystem assumes the random perturbation entered into the first subsystem, the third subsystem assumes the random perturbation entered into the first subsystem then was transmitted to the second subsystem and so on, such that the random perturbation propagates through the entire distributed control system. Note that the random perturbation enters only in one of the subsystems and, hence, the diffusion process is degenerate, in the sense that the backward operator associated with it is a degenerate parabolic equation. Our interest is to estimate the exit probability with which a diffusion process (corresponding to a particular subsystem) exits from a given bounded open domain during a certain time interval. The method for such an estimate basically relies on the interpretation of the exit probability function as a value function for a family of stochastic control problems that are associated with the underlying chain of distributed control systems.
△ Less
Submitted 2 September, 2014; v1 submitted 26 August, 2014;
originally announced August 2014.
-
On noncooperative $n$-player principal eigenvalue games
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
We consider a noncooperative $n$-player principal eigenvalue game which is associated with an infinitesimal generator of a stochastically perturbed multi-channel dynamical system -- where, in the course of such a game, each player attempts to minimize the asymptotic rate with which the controlled state trajectory of the system exits from a given bounded open domain. In particular, we show the exis…
▽ More
We consider a noncooperative $n$-player principal eigenvalue game which is associated with an infinitesimal generator of a stochastically perturbed multi-channel dynamical system -- where, in the course of such a game, each player attempts to minimize the asymptotic rate with which the controlled state trajectory of the system exits from a given bounded open domain. In particular, we show the existence of a Nash-equilibrium point (i.e., an $n$-tuple of equilibrium linear feedback operators) that is distinctly related to a unique maximum closed invariant set of the corresponding deterministic multi-channel dynamical system, when the latter is composed with this $n$-tuple of equilibrium linear feedback operators.
△ Less
Submitted 12 August, 2014; v1 submitted 21 May, 2014;
originally announced May 2014.
-
On the Problem of Minimum Asymptotic Exit Rate for Stochastically Perturbed Multi-Channel Dynamical Systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
We consider the problem of minimizing the asymptotic exit rate with which the controlled-diffusion process of a stochastically perturbed multi-channel dynamical system exits from a given bounded open domain. In particular, for a class of admissible bounded linear feedback operators, we establish a connection between the asymptotic exit rate with which such a controlled-diffusion process exits from…
▽ More
We consider the problem of minimizing the asymptotic exit rate with which the controlled-diffusion process of a stochastically perturbed multi-channel dynamical system exits from a given bounded open domain. In particular, for a class of admissible bounded linear feedback operators, we establish a connection between the asymptotic exit rate with which such a controlled-diffusion process exits from the given domain and the asymptotic behavior (i.e., a probabilistic characterization) of the principal eigenvalue of the infinitesimal generator, which corresponds to the stochastically perturbed dynamical system, with zero boundary conditions on the given domain. Finally, we briefly remark on the implication of our result for evaluating the performance of the associated deterministic multi-channel dynamical system, when such a dynamical system is composed with a set of (sub)-optimal admissible linear feedback operators.
△ Less
Submitted 20 August, 2014; v1 submitted 6 May, 2014;
originally announced May 2014.
-
Large Deviations for the Reliability Assessment of Redundant Multi-Channel Systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we are concerned with the reliability assessment of redundant multi-channel systems having multiple controllers with overlapping functionality -- where all controllers are required to respond optimally to the non-faulty controllers so as to ensure or maintain some system properties. In particular, for such redundant systems with small random perturbation, we study the relationships…
▽ More
In this paper, we are concerned with the reliability assessment of redundant multi-channel systems having multiple controllers with overlapping functionality -- where all controllers are required to respond optimally to the non-faulty controllers so as to ensure or maintain some system properties. In particular, for such redundant systems with small random perturbation, we study the relationships between the exit probabilities with which the state-trajectories exit from a given bounded open domain and the value functions corresponding to a family of stochastic exit-time control problems on the boundary of the given domain. Moreover, as the random perturbation vanishes, such relationships provide useful information concerning the reliability of the redundant multi-channel systems arising from the large deviations problem in connection with the asymptotic estimates of exit probabilities with respect to some portions of the boundary of the given domain. Finally, we briefly comment on the implication of our results on a co-design technique using multi-objective optimization frameworks for evaluating the performance of the redundant multi-channel systems.
△ Less
Submitted 26 March, 2015; v1 submitted 17 April, 2014;
originally announced April 2014.
-
On the entropy of equilibrium measures and game-theoretic equilibrium feedback operators in multi-channel dynamical systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
We investigate the connection between the entropy of equilibrium measures and game-theoretic equilibrium feedback operators in a multi-channel dynamical system. Specifically, we show that the existence of an equilibrium measure, which maximizes the free energy (i.e., the sum of the entropy and the integral over a potential), is related to an equilibrium or "maximum entropy" state for the multi-cha…
▽ More
We investigate the connection between the entropy of equilibrium measures and game-theoretic equilibrium feedback operators in a multi-channel dynamical system. Specifically, we show that the existence of an equilibrium measure, which maximizes the free energy (i.e., the sum of the entropy and the integral over a potential), is related to an equilibrium or "maximum entropy" state for the multi-channel dynamical system that is composed with a set of feedback operators. Further, we observe that such a connection makes sense when this set of feedback operators strategically interacts over an infinite-horizon, in a game-theoretic sense, using the current state-information of the system. Finally, we briefly comment on the implication of our result to the resilient behavior of the equilibrium feedback operators, when there is a random perturbation in the system.
△ Less
Submitted 29 January, 2014; v1 submitted 30 December, 2013;
originally announced December 2013.
-
Relating maximum entropy, resilient behavior and game-theoretic equilibrium feedback operators in multi-channel systems
Authors:
Getachew K. Befekadu,
Panos J. Antsaklis
Abstract:
In this paper, we first draw a connection between the existence of a stationary density function (which corresponds to an equilibrium state in the sense of statistical mechanics) and a set of feedback operators in a multi-channel system that strategically interacts in a game-theoretic framework. In particular, we show that there exists a set of (game-theoretic) equilibrium feedback operators such…
▽ More
In this paper, we first draw a connection between the existence of a stationary density function (which corresponds to an equilibrium state in the sense of statistical mechanics) and a set of feedback operators in a multi-channel system that strategically interacts in a game-theoretic framework. In particular, we show that there exists a set of (game-theoretic) equilibrium feedback operators such that the composition of the multi-channel system with this set of equilibrium feedback operators, when described by density functions, will evolve towards an equilibrium state in such a way that the entropy of the whole system is maximized. As a result of this, we are led to study, by a means of a stationary density function (i.e., a common fixed-point) for a family of Frobenius-Perron operators, how the dynamics of the system together with the equilibrium feedback operators determine the evolution of the density functions, and how this information translates into the maximum entropy behavior of the system. Later, we use such results to examine the resilient behavior of this set of equilibrium feedback operators, when there is a small random perturbation in the system.
△ Less
Submitted 14 January, 2014; v1 submitted 18 December, 2013;
originally announced December 2013.
