A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics

Maruf, Abdullah Al; Niu, Luyao; Clark, Andrew; Mertoguno, J. Sukarno; Poovendran, Radha

doi:10.1109/cdc51059.2022.9992810

Cited by 2 publications

(2 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our developed approach does not require re-configuring the network topology or control laws, and hence is more computationally efficient. In [30], the authors decomposed the dynamics of each subsystem into intrinsic and coupled terms, where the former term is independent of the other subsystems and the latter one depends on interconnections. A resilience index was defined for each term of a compromised subsystem by bounding how fast a subsystem approaches the boundary of safety set.…”

Section: Related Workmentioning

confidence: 99%

“…Such resilience indices were computed by sumof-squares optimization, and allowed the synthesis of safe control law under fixed interconnections. When the interconnections change, the resilience indices and safe control law in [30] could not always guarantee safety property. In this paper, we propose a resilience index and derive a system of linear inequalities that can applied to verify safety when interconnections change.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee

Niu

Maruf

Clark

et al. 2022

2022 IEEE 61st Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

Interconnected systems such as power systems and chemical processes are often required to satisfy safety properties in the presence of faults and attacks. Verifying safety of these systems, however, is computationally challenging due to nonlinear dynamics, high dimensionality, and combinatorial number of possible faults and attacks that can be incurred by the subsystems interconnected within the network. In this paper, we develop a compositional resilience index to verify safety properties of interconnected systems under faults and attacks. The resilience index is a tuple serving the following two purposes. First, it quantifies how a safety property is impacted when a subsystem is compromised by faults and attacks. Second, the resilience index characterizes the needed behavior of a subsystem during normal operations to ensure safety violations will not occur when future adverse events occur. We develop a set of sufficient conditions on the dynamics of each subsystem to satisfy its safety constraint, and leverage these conditions to formulate an optimization program to compute the resilience index. When multiple subsystems are interconnected and their resilience indices are given, we show that the safety constraints of the interconnected system can be efficiently verified by solving a system of linear inequalities. We demonstrate our developed resilience index using a numerical case study on chemical reactors connected in series.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%