Recent Advances in Analysis and Design of Cyber-physical Systems using Passivity Indices
Hasan Zakeri Panos J. Antsaklis


Learning Logistic Circuits
    Yitao Liang Guy Van den Broeck

Computer Science Department

University of California, Los Angeles




    December 30, 2023
==========================================================================================================


Analysis and resilient design of Cyber-physical Systems have greatly benefited from energy based concepts of passivity and dissipativity. Recently, there has been much research devoted to the use of passivity indices in different components of Cyber-physical systems. Passivity indices are measures of passivity, indicating how passive a system is or how far is it from being passive and generalize passivity based methods to systems that might not be passive. In this paper, we will review recent advances in the use of passivity indices in Cyber-physical systems. We will overview how the indices have been defined and applied to different components of Cyber-physical systems and how they are used in the resilient design of compositional Cyber-physical systems. 


Cyber-physical systems, passivity indices, networked control systems, hybrid and switched systems, passivation, compositional design




§ INTRODUCTION

A crucial component of Cyber-physical Systems (CPS) is the tight integration between the  Cyber and the Physical parts. CPS usually consists of many components working together, each with different models and requirements. “Although the diversity of models and formalisms supports a component-based “divide and conquer” approach to CPS development, it poses a serious problem for verifying the overall correctness and safety of designs at the system level.” Compositionality of the design is one of the major challenges in Cyber-physical Systems (CPS). 

CPS design requires reliability and robustness both at the same time
lee_cyber_2008.

Passivity, and more generally dissipativity, use a general notion of energy to derive abstractions of dynamical systems regardless. Such abstractions provide a common framework to model different components of the system and they have shown great promise in the analysis and resilient design of CPS as recently reviewed in passivity.cyber,sztipanovits_toward_2012. 

Passivity indices, as measures of passivity, express how passive a system is or how far a system is from being passive. The indices generalize the notion of passivity to systems that are not passive. Naturally, methods based on passivity indices generalize to a broader class of systems. Passivity indices framework has attracted much attention in CPS research and has been applied to many problems beyond the scope of passivity and dissipativity. 
In this paper, we will review some of the recent advances in analysis and design of CPS using passivity indices, and particularly, we summarize how the indices are defined for different components in CPS and how they can be used in the analysis and resilient design of such systems. In the next section, we review preliminaries and basic definitions of passivity indices. <ref> covers a design method to passivate a system. Next, in <ref>, we will discuss how passivity indices are defined and used in networked control systems. <ref> will cover systems involving both continuous and discrete dynamics and how the indices are defined and used in switched and hybrid systems. <ref> concludes the paper.




§ PRELIMINARIES

Consider a  continuous-time dynamical system 𝐇:→, where ∈⊆^m denotes the input and ∈⊆^p denotes the corresponding output. There exists a real-valued function w((t),(t)) (often written as w(t) when clear from content) associated with 𝐇, such that for all input and output pairs of (t) and (t) of the system, and for any t_1≥ t_0, 

    ∫_t_0^t_1| w(t)| t<∞

for any t_1≥ t_0.
The function w is called a supply rate function. 
Consider a continuous-time system described by

    =f(,)
       =h(,),

where f(·,·) and h(·,·) are Lipschitz mappings of proper dimensions, and assume the origin is an equilibrium point of the system; i.e., f(0,0)=0 and h(0,0)=0. 


The system described by (<ref>) is called dissipative with respect to supply rate function w((t),(t)), if there exists a nonnegative real-valued scalar function V(), called the storage function, such that V(0)=0 and for all _0∈, all t_1≥ t_0, and all ∈^m 

    V((t_1))≤ V((t_0))+∫_t_0^t_1w((t),(t)) t.

where (t_0)=x_0 and (t_1) is the state at t_1 resulting from initial condition x_0 and input function u(·).
The dissipation inequality (<ref>) expresses the fact that the energy “stored” in the system at any time t is not more than the initially stored energy plus the total energy supplied to the system by its input during this time. 

If V() is differentiable, then this is equivalent to 

    V̇()≜∂ V/∂· f(,)≤ w((t),(t)).


The system (<ref>) is called passive, if it is dissipative with respect to the supply rate function w(,)=^⊺.

Passivity can be applied to linear and nonlinear systems with a generalized notion of an energy storage function. Passivity is particularly appealing in CPS design because it is preserved when systems are combined in parallel or feedback process.passivity. Passivity imposes additional restrictions on a system than stability. For example, linear SISO passive systems aren't simply Lyapunov stable but are also minimum phase and have a low relative degree. 

Passivity indices are introduced as measures of passivity and they extend passivity based tools to non-passive systems as well.

The system (<ref>) is called Input Feed-forward Passive (IFP) if it is dissipative with respect to supply rate function w(,)=^⊺-ν^⊺ for some ν∈, denoted as IFP(ν). Input feed-forward passivity index for system (<ref>) is the largest ν for which the system is IFP. 

IFP index is equivalent to the largest gain that can be put in a negative feed-forward interconnection with the system such that the overall system is passive.

The system (<ref>) is called Output Feedback Passive (OFP) if it is dissipative with respect to supply rate function w(,)=^⊺-ρ^⊺ for some ρ∈, denoted as OFP(ρ). Output feedback passivity index for system (<ref>) is the largest ρ for which the system is OFP. 

OFP index is the largest gain that can be placed in positive feedback with a system such that the interconnected system is passive. If either one of the indices for a system is positive, we say that the system has an “excess of passivity,” and similarly, if either one is negative, we say the system has a “shortage of passivity.”

When applying the two indices simultaneously, a system is said to have OFP(ρ) and IFP(ν), or IF-OFP(ρ,ν), based on the following dissipation inequality:

    ∫_0^T[(1+ρν)^⊺-ρ^⊺-ν^⊺] t≥ V((T))-V((0)).

When ρ=0 and ν=0 the passivity index condition reduces to the definition of passivity.

Output feedback passive systems with ρ>0 are _2 stable. Moreover, if system G is strictly passive with OFP index ρ, then G is finite-gain _2 stable with gain γ≤1/ρ.


Consider the interconnection of two nonlinear systems (2.1). Assume that the two systems in the interconnection have indices (ρ_i,ν_i). The interconnection is _2 stable if the following matrix is positive definite:

    A=[          (ρ_1+ν_2)I 1/2(ρ_1ν_1-ρ_2ν_2)I; 1/2(ρ_1ν_1-ρ_2ν_2)I          (ρ_2+ν_1)I ]>0


For a review of relationship between passivity, passivity indices, conic systems, and positive real systems, see mccourt_connection_2009,meng.spr.

Passivity indices under operationa limitations for nonlinear systems as well as approximate methods to find them are presented in zakeri_passivity_2019. Local passivity indices for nonlinear systems and sum of squares methods to find the local indices are also presented in zakeri.acc2016.



§ INDICES IN PASSIVATION AND DESIGN

Passivity indices can be manipulated by series, feedback, or parallel interconnection. A generalization of these methods is given in xia_passivity_2014 by using an input-output transformation matrix. Appropriate design of this matrix, called the M-matrix, guarantees positive passivity levels for the system. This transformation matrix allows the use of a non-passive controller to guarantee the passivity and stability of a feedback controller. Consider the system G and a general input-output transformation matrix M as shown in <ref>.

The matrix M is considered to be invertible and defined as 

    M≜[  m_11I  m_12I;  m_21I m_22I. ]

It is shown in <cit.> that the passivity indices of the system Σ_0:_0→_0 depend on the gain γ of system G and the elements of M, as stated in <ref>.

    Consider a finite gain stable system G with gain γ and a passivation matrix M as shown in <ref>. The system Σ_0:_0→_0 is 
    
        
  * passive, if M is chosen such that
        
    m_11=m_21,   m_22=-m_21,   m_11≥ m_22γ>0.

        
  * OFP with OFP level ρ_0=1/2(m_11/m_21+m_12/m_22)>0, if 
        
    m_21≥ m_22γ>0,   m_11m_22>m_12m_21>0.

        
  * IFP with IFP level ν_0=1/2(m_21/m_11+m_22/m_12)>0, if
        
    m_11≥ m_12γ>0,   m_12m_21>m_11m_22>0.

        
  * IF-OFP with passivity indices δ_0=1/2m_11/m_21>0 and ϵ_0=a/2m_21/m_11>0, if
        
    m_11>0,   m_12=0,   m_21≥m_22γ/√(1-a)>0,

        where 0<a<1 is an arbitrary real number.
    

Conditions are given in xia_passivity_2014 for a feedback interconnection of passivated system Σ_0 and another arbitrary system. For proof of <ref>, see xia_passivity_2014-1, where the same passivation method is applied to a human controller. A quasi-linear model of human controller is presented in mcruer_human_1959. It is well-known that passivity and stability of a closed-loop system may not be preserved in the presence of communication effects, as shown in the next section. 

The M-matrix method is applied as a human/machine interface design in xia_guaranteeing_2015. Human controllers are modeled as linear time delay systems, which are known to be non-passive. This method is applied to a human in the loop to guarantee positive passivity indices and passivate the closed-loop system.

Passivity indices are used in zakeri_data-driven_2019-1 to derive a new data-adriven fault identification and controller reconfiguration algorithm. The algorithm relies only on the system's input and output data, and does not require a detailed system description. This algorithm can be readily applied to various applications, including Cyber-attack mitigation, without significant modifications or tuning.



§ PASSIVITY INDICES IN NETWORKED CONTROL SYSTEMS

Networks are an essential part of CPS, making possible the integration between many distributed components. The elements are usually spatially distributed and communicate over a wired or wireless link. The use of communication links in large scale systems brings many advantages including ease of maintenance, flexibility, scalability, and lower costs. However, employing shared multi-purpose communication networks in the core of Cyber-physical systems, as opposed to traditionally dedicated connections, brings out many challenges, making Networked Control Systems research of significant importance ge_distributed_2017,baillieul_control_2007,baillieul_guest_2003,antsaklis_networked_2004,zhang_network-induced_2013.
Packet dropouts su_robust_2018, signal quantization gu_networked_2014, time delays liu_networked_2014,heemels_networked_2010, fading channels su_design_2018, and limited information transfer zhang_resilient_2016 are among many challenges addressed in the literature grubmuller_influence_2018.






Delays are the most common effect of communication networks, and it is known that delay can disrupt passivity niemeyer_stable_1991. In kottenstette_stable_2007, the authors employed a wave variable transformation to compensate for the effects of delays when interconnecting passive systems. A modified wave variable transformation is applied to the case of networked switched systems in mccourt_stability_2010, where two switched systems connected in negative feedback communicate over a network with time delays. The non-passive nature of the delay can render the interconnection non-passive. This framework is extended in agarwal_dissipativity_2016-1 to the network interconnection of hybrid systems. The main idea in this transformation is to treat the delayed network as a 2-port network. If this two-port network is passive, then it ensures the passivity of the whole interconnection. The interconnection, including the transformations, is depicted in <ref>. The wave variable transformation is given as

    [  u_1; v̂_1 ]=1/√(2b)[  I bI; -I bI ][ y_d^(2);   y^(1) ]
    [  û_2; v̂_2 ]=1/√(2b)[  I bI; -I bI ][   y^(2); y_d^(1) ]

where

    û_2=u_1(t-T_2)=u_2, v̂_1=v_2(t-T_1)=v_1

where the network delays T_1 and T_2 and the design parameter b are constant. For time varying delays, the following modified transformation is proposed

    û_2   =g_1(t)u_1(t-T_2(t))=g_1(t)u_2(t)
    v̂_1   =g_2(t)v_2(t-T_1(t))=g_2(t)v_1(t)

where the design functions g_1(t),g_2(t) and delays T_1(t),T_2(t) satisfy

    g_1^2(t)≤1- T_2/ t, g_2^2(t)≤1- T_1/ t
     T_1/ t≤ 1,  T_2/ t≤ 1

It is shown in agarwal_dissipativity_2016,agarwal_dissipativity_2016-1 that the interconnection of two passive hybrid automata connected over a network with time-varying or constant delay using the modified wave variable transform is passive, and under certain assumptions, stable. Details on the passivity of hybrid systems can be found in <ref>.

Passivity of a networked control system in the presence of packet dropouts is studied in wang_feedback_2015. In this framework, the system is modeled as a discrete-time switched nonlinear system that switches between two modes—an uncontrolled mode in which the system evolves open loop, and a controlled mode in which a control input is applied to the system—is analyzed. If the ratio of the time steps for which the system evolves open loop versus the time steps for which the system evolves closed loop is bounded below a critical ratio, then the nonlinear system is locally passive in this sense.

Quantization is another widely seen phenomenon in digital controllers and communication channels. The proposed control framework of zhu_passivity_2012 maintains passivity for switched and non-switched systems under quantization, based on the use of an input-output coordinate transformation to recover the passivity property.




 §.§ Event-triggered Networked Control Systems



Event-triggered control is an efficient network control method that limits the communication loads on the network and provides a balance between performance, communication constraints, and control actions lemmon_event-triggered_2010. 
In a typical event-triggered feedback framework, the information, whether the measurement or the control action, is transmitted only when necessary. Compared to time-driven control where constant sampling period is applied to guarantee stability in the worst case scenario, the possibility of reducing the number of computations and thus of transmissions while guaranteeing desired levels of performance makes event-triggered control very appealing in networked control CPS. Passivity and passivity indices based control combined with event-triggered networked control systems (NCS) provide a powerful platform for designing CPS. This section is dedicated to recent advances in passivity based event-triggered networked control design.

The stability conditions for an event-triggered networked system based on the passivity properties of sub-systems have been explored in yu_event-triggered_2011,zhu_passivity_2017,zhu_passivity_2014-1, with focus on passivity and passivation of event-triggered feedback interconnected systems of two input-feedforward, output-feedback passive systems. It is shown that passivity indices of continuous feedback systems can be determined from the passivity levels of individual subsystems. The passivation conditions to render a non-passive plant passive are also obtained based on passivity indices. The results can be viewed as the extension of the well-known compositional property of passivity to event-triggered systems. The proposed event-triggering condition guarantees that these indices can be achieved. The passivation conditions depend on the passivity indices of the plant and controller and the event-triggering condition, which shows the trade-off between desired performance and communication resource utilization.

In rahnama_qsr-dissipativity_2016,rahnama_qsr-dissipativity_2018, QSR-dissipativity, passivity and finite-gain 2-stability conditions for an event-triggered NCS are proposed, where an input-output event-triggering sampler condition is located on the plant's output side, the controller's output side, or both sides, leading to a considerable decrease in communication load between sub-units in NCS. Passivity and stability conditions depend on passivity levels for the plant and controller. The results illustrate the trade-off among passivity levels, stable performance, and systems dependence on the rate of communication between the plant and controller. 

Many of the challenges mentioned in the previous section for network control systems, without event triggered framework, can persist into event-triggered scheme as well. 
The formation control problem of networked passive systems with event-triggered communication is studied in yu_distributed_2012, where a triggering condition to achieve distance-based formation among the agents with an ideal network model is derived. In yu_quantized_2012, the quantized output synchronization problem of networked passive systems with event-driven communication is studied to achieve an event-driven communication strategy such that output synchronization errors of the networked passive systems are bounded by the quantization errors of the signals transmitted in the communication network.

The triggering condition is derived in yu_event-triggered_2013 in the presence of network-induced delays. The results are based on the passivity theorem which allows characterization of a large class of output feedback stabilizing controllers and can consider network induced delays both from the plant to the network controller and from the network controller to the plant. Additionally, the effects of quantization of the transmitted signals in the communication network are taken into consideration and conditions for finite-gain _2-stability are achieved in the presence of time-varying (or constant) network induced delays with bounded jitters, without requiring that the network induced delays are upper bounded by the inter-event time.

In rahnama_passivity-based_2018, design framework that considers the effects of network induced time-delays, signal quantization and data loss in communication links between the plant and controller, as illustrated in <ref>, is introduced, along with conditions for 2-stability and robustness for the control design. The proposed asynchronous triggering conditions do not rely on the exact knowledge of the systems dynamics and are located on both sides of the communication network. A lower-bounds on inter-event time intervals for the triggering conditions and characterize the design's robustness against external disturbances is also proposed. For a detailed illustration of the relationship between stability, robustness and passivity levels of plant and controller, as well as an analysis of robustness against packet dropouts and passivity levels for the entire event-triggered networked control system, see rahnama_passivity-based_2018.



§ PASSIVITY INDICES IN SWITCHED AND HYBRID SYSTEMS

Unlike continuous systems, a switched system has an unusual phenomenon that must be taken into consideration when dealing with change of energy zhao_dissipativity_2008. Analyzing the stability of switched systems is not a trivial task, and with the complexity of the dynamics involved.

The applicability of passivity has been extended when defined for switched systems. Definitions of passivity for switched systems have been proposed in zefran_notion_2001,zhao_notion_2006,zhao_dissipativity_2008.
These definitions of passivity assume that under arbitrary switching, each subsystem is passive. This is an important assumption that guarantees passivity for the trivial case of no switching.  Aside from that, different definitions impose different assumptions on the system regarding the energy added due to switching.


Passivity-based control of hybrid systems with a common storage function has attracted many applications in electrical systems. For instance, escobar_hybrid_1998 applied the hybrid passivity idea to a three-phase voltage-sourced reversible-boost-type rectifier, and espinosa-perez_passivity-based_2004 proposed a passivity-based control strategy for switched reluctance motors with nonlinear magnetic circuits. A switching control strategy based on energy is presented in zhao_hybrid_2001 to globally stabilize the cart-pendulum system. 
However, the definition of passivity through common storage function, while useful, might not cover all practical consideration of a system. Each subsystem might have its own physical meaning, and its own storage function accordingly.
Passivity, based on a common storage function is similar to the classic definition os passivity and is fully discussed in haddad_dissipativity_2001,haddad_non-linear_2001. Here, we will focus on passivity and dissipativity of switched systems with multiple storage functions (sometimes referred to as decomposable dissipativity).

Consider the switched system of the form

    =f_σ(,_σ),
       =h_σ()

where σ is the switching signal taking values in 

    M={1,2,…,s}

which may depend on time or state, or both, or even be generated by higher level hybrid feedback in the loop. The switching signal σ can be characterized by the switching sequence

    Σ={_0;(i_0,t_0),(i_1,t_1),…,(i_r,t_r),…| i_r∈ M,n∈ℕ}

where t_0 is the initial time, _0 is the initial state, and ℕ is the set of nonnegative integers. When t∈[t_k,t_k+1), σ(t) = i_k , that is, the i_kth subsystem is active. We assume that the state of the switched system (<ref>) does not jump at the switching instants, i.e., the trajectory (t) is everywhere continuous. 

The first work to extend the passivity theory to switched systems through multiple storage functions is zefran_notion_2001 requires each storage function to be nonincreasing on the switching sequence of consecutive “switched on” times as a prerequisite to meet the nonincreasing condition of multiple Lyapunov functions, which, in turn, guarantees stability branicky_multiple_1998. It also requires that each subsystem is passive “on average” while inactive.

The following present another definition of passivity with a relaxed set of assumptions which still leads to stability. 

A switched system is passive with a set of storage functions V_i() and functions α_ijt,γ_j such that the following statements are true

    
  * The energy a system accumulates while inactive is bounded,
    
    V_i((t_2))≤α_ji(t_2-t_1(V_i((t_1)))+∫_t_1^t_2^⊺ t.

    
  * The composition of these functions α_jit is bounded,
    
    α_ji_1τ_1∘α_ji_2τ_2∘…∘α_ji_kτ_k(t)≤γ_j(t).



The first condition of the definition implies that when each subsystem is active, then it is passive. It is explicitly shown that when the system stays in a single subsystem, the first condition reduces to the traditional definition of passivity. However, zhao_notion_2006 does not discuss passivity of the negative or parallel feedback interconnection. 
This definition counts energy accumulated while a subsystem is inactive at a different, typically reduced, rate than when the subsystem is active. This amounts to each inactive system having a reduced “imported energy” from the active system. With this adjustment, each subsystem can tolerate a larger energy supply ^⊺ and still maintain passivity. Two sets of functions are introduced in zhao_notion_2006 to account for this reduced storage rate, however, the significance of these functions as well as how to compute them is not straightforward.

In zhao_dissipativity_2008, passivity for switched systems is defined and used to show stability results. Specifically, it was shown that passive systems are Lyapunov stable, that negative feedback induces asymptotic stability, and that output strictly passive systems are asymptotically stable.

System (<ref>) is said to be dissipative under the switching law Σ if there exist positive-definite continuous functions V_1(),V_2(),…,V_s(), called storage functions, locally integrable functions w_i^i(_i,h_i),1≤ i≤ s, called supply rates, and locally integrable functions w_j^i(,_i,h_i,t),1≤ i,j≤ s,i≠ j, called cross-supply rates, such that the following conditions hold

    
  * Each subsystem i is dissipative with respect to w_i^i while active, i.e.,
    
    V_i_k((t))-V_i_k((r))≤∫_t_1^t_2w_i_k^i_k((τ),h_i_k((τ))τ

    
  * Each subsystem j is dissipative with respect to w_j^i when the ith subsystem is active, i.e., for k=0,1,2,…,t_k≤ r≤ t<t_k+1,
    
    V_j((t))-V_j((r))≤
    ∫_r^tw_j^i_k((τ),u_i_k(τ),h_i_k((τ)),τ)τ,

    
  * for j≠ i_k,k=0,1,2,…,t_k≤ r≤ t<t_k+1, and for any i,j, there exist _i(t)=α_i((t),t) and φ_j^i(t)∈_1^+[0,∞), which may depend on _i and the switching sequence Σ, such that 

    f_i(0,α_i(0,t))   ≤0,      ∀ t≥ t_0
    
        w_i^i(_i(t),h_i((t)))   ≤0      ∀ t≥ t_0

and 

    w_j^i((t),_i(t),h_i((t)),t)-ϕ_j^i(t)≤0, ∀ j≠ i,∀ t≤ t_0.



In this framework, because all subsystems share the same state variables, the storage function of subsystems are still changing on the time intervals when they are inactive. The active subsystem drives the state which, in turn, causes the change of the storage functions of inactive subsystems. This “changing” energy of any inactive subsystem, though not necessarily real energy, is viewed as “exported energy” from the active subsystem, and is characterized by cross-supply rates. Unlike the classical definition of dissipativity, in zhao_dissipativity_2008, positive definite storage functions are required to induce stability and output stabilization. This requirement is the same as that of multiple Lyapunov functions branicky_multiple_1998.
Passivity comes from this definition by setting

    w_j^j(_j,h_j)=_j^⊺ h_j-δ_j^⊺_j-ϵ_j h_j^⊺ h_j,     j=1,2,…,m

for some δ_j≥0,ϵ_j≥0.

It is straightforward to define constant passivity indices using the above definition of passivity, however, it is restrictive for switched systems to have constant indices regardless of the active subsystem. The alternative is to redefine the indices to be time-varying. As the switched system changes the active subsystem, the value of the indices change accordingly. In the case of a constant index, if the subsystems have OFP index set {ρ_i} (IFP index set {ν_i}), then the switched system is OFP with index ρ=min{ρ_i}  (IFP with index ν=min{ν_i}). A comparison between the two cases and control design based on constant passivity indices for switched systems are presented in mccourt_passivity_2009. Passivity indices are considered in mccourt_control_2010 for the overall switched system indices are allowed to be a function of time. In this definition, the value of the index function at any time is simply the value of the constant passivity index for the active subsystem. Formally, if each subsystem i has constant OFP index ρ_i (or IFP index ν_i), then the overall switched system is OFP with index ρ(t)=ρ_σ (IFP with index ν(t)=ν_σ), where σ denotes the index of the active subsystem mccourt_control_2010.

A notion of QSR dissipativity for discrete time switched systems that uses the multiple supply rates is provided in mccourt_stability_2012. Using this notion, stability of the unforced switched system, passivity of the feedback interconnection of switched systems, and conditions for the feedback interconnection to have an stable unforced equilibrium are derived.

The results presented so far consider systems in which every mode is dissipative or passive. For more general switched systems in which some modes can be non-passive, stability has been studied in mccourt_control_2010,liu_stabilization_2012. The authors in wang_passivity_2014 define passivity in the presence of nonpassive modes. Since the dynamics of some modes are not passive, by classical definitions, the system is not passive. However, the authors provide necessary and sufficient condition, that if the nonpassive modes are active infrequently enough, the system can still be passive. They also proved that a nonpassive system can be rendered locally passive using feedback control laws if and only if its zero dynamics are locally passive. The proposed definition in wang_passivity_2014 is consistent with the traditional definition of passivity in the sense that useful properties, such as stability and compositionality, are preserved.



 §.§ Passivation of Switched and Hybrid Systems
 
In <cit.>, the M-matrix method is generalized to switched controllers consisting of N non-passive subsystems. It is assumed that a switched controller is placed in feedback configuration of a non-passive, unstable plant. The passivation matrix M is also time varying and switches between constant values whenever the controller switches. Due to the complexity of the switched system, it might be difficult to switch between different passivation matrices. 
In ghanbari_design_2017, a single passivation matrix is considered. Based on zhao_vector_2005, the gain of the switched controller is defined as the maximum of gains of each subsystem. Then, a single passivation matrix is designed to compensate for the lack of passivity in the system. Placing
the passivated switched controller in the negative feedback interconnection of a non-passive and unstable plant can make the closed-loop system passive and stable.

In agarwal_feedback_2017, a state feedback method is presented to passivate a discrete-time switched linear system to a desired strict IFP level. The importance of strict IFP, in this case, is the relation between a nonlinear switched system and its linearization. Therefore, by applying the state feedback designed with the aid of the linearized system, the nonlinear system will be passive as well. 







§ CONCLUSIONS

Passivity and dissipativity have shown great promise in the analysis and design of Cyber-physical systems due to their compositional properties. Passivity indices framework generalizes passivity properties to systems that may not be passive and has recently been employed in many components of CPS. In this paper, a brief outline of some of the recent advances in this area is given. In the area of networked control systems and event-triggered control, analysis and control design subject to challenges including time-varying delays, quantization, and packet dropouts were reviewed as well as trade-offs between performance and communication constraints. Design and analysis of switched and hybrid systems are also presented, especially when some subsystems are not passive,  or when the switched system is part of a networked control system. Passivation methods based on indices are also presented for different classes of systems. By necessity, only a brief outline was given here.


