A case study of a systematic attack design method for critical infrastructure cyber-physical systems

Grimsman, David; Chetty, Vasu; Woodbury, Nathan; Vaziripour, Elham; Roy, Sandip; Zappala, Daniel; Warnick, Sean

doi:10.1109/acc.2016.7524931

Cited by 7 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The previous examples show how MBAM can reduce the number of parameters used to describe a set of models. The reduced parameter descriptions for the first example, given by (19) and (20), parameterize a subset of the original model class, but this subset is chosen to be "representative" of the original class in the sense that it is a set of models on the boundary of the original set. We can parameterize this set of boundary models with fewer parameters than the original set, hence MBAM is a parameter-reduction technique.…”

Section: Parameterizations Of Lti Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation

Paré

Grimsman

Wilson

et al. 2019

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

We show that two widely accepted model reduction techniques, Balanced Truncation and Balanced Singular Perturbation Approximation, can be derived as limiting approximations of a carefully constructed parameterization of Linear Time Invariant (LTI) systems by employing the Model Boundary Approximation Method (MBAM), a recent development in the Physics literature [1]. This unifying framework of these popular model reduction techniques shows that Balanced Truncation and Balanced Singular Perturbation Approximation each correspond to a particular boundary point on a manifold, the "model manifold," which is associated with the specific choice of model parameterization and initial condition, and is embedded in a sample space of measured outputs, which can be chosen arbitrarily, provided that the number of samples exceeds the number of parameters. We also show that MBAM provides a novel way to interpolate between Balanced Truncation and Balanced Singular Perturbation Approximation, by exploring the set of approximations on the boundary of the manifold between the elements that correspond to the two model reduction techniques; this allows for alternative approximations of a given system to be found that may be better under certain conditions. The work herein suggests similar types of approximations may be obtainable in topologically similar places (i.e. on certain boundaries) on the model manifold of nonlinear systems if analogous parameterizations can be achieved, therefore extending these widely accepted model reduction techniques to nonlinear systems.

show abstract

Section: Parameterizations Of Lti Systemsmentioning

confidence: 99%

“…Although the dynamical order was not reduced in the example above, the reduced models are simpler. While the original model exhibited nonlinear dynamics, the approximate models in (19) and ( 20) are linear and constant, respectively. Note that code for computing each step of the MBAM process can be found at [63].…”

Section: A Michaelis Menten Examplementioning

confidence: 99%

Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation

Paré

Grimsman

Wilson

et al. 2019

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

show abstract

“…In fact, research on cybersecurity undertaken from the perspective of critical infrastructure protection is growing across the world (Gonzalez et al, 2006;Grimsman et al, 2016;Karabacak et al, 2015;Ten et al, 2010;Thakur et al;, Zhou et al, 2011etc.). Nevertheless, little of that research has focused on trustrelated issues despite the multidisciplinarity characteristic of trust, which is a concept used in both soft and hard sciences, and the multifaceted nature of critical infrastructures, which include machines, technologies, humans, organizations, and institutions.…”

Section: Ingénierie Des Systèmes D'informationmentioning

confidence: 99%

Une vision de la recherche sur la confiance et la sûreté des systèmes d'information dans le cadre de la protection des infrastructures critiques

Rajaonah¹

2017

isi

View full text Add to dashboard Cite

“…use optimal control to find an attack in constrained conditions [6]. In [11], the authors attempt to find a generalized formulation of attacks based on system vulnerabilities. Ramasubramanian et.…”

mentioning

confidence: 99%

A Game-Theoretic Approach and Evaluation of Adversarial Vehicular Platooning

Sajjad

Sharma

Gerdes

2017

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles

View full text Add to dashboard Cite

In this paper, we consider an attack on a string of automated vehicles, or platoons, from a game-theoretic standpoint. Game theory enables us to ask the question of optimality in an adversarial environment; what is the optimal strategy that an attacker can use to disrupt the operation of automated vehicles, considering that the defenders are also optimally trying to maintain normal operation. We formulate a zero-sum game and find optimal controllers for different game parameters. A platoon is then simulated and its closed loop stability is then evaluated in the presence of an optimal attack. It is shown that with the constraint of optimality, the attacker cannot significantly degrade the stability of a vehicle platoon in nominal cases. It is motivated that in order to have an optimal solution that is nearly unstable, the game has to be formulated almost unfairly in favor of the attacker. CCS CONCEPTS •Security and privacy →Security in hardware; Systems security; •Computer systems organization →Embedded and cyber-physical systems; Real-time systems;

show abstract

A case study of a systematic attack design method for critical infrastructure cyber-physical systems

Cited by 7 publications

References 14 publications

Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation

Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation

Une vision de la recherche sur la confiance et la sûreté des systèmes d'information dans le cadre de la protection des infrastructures critiques

A Game-Theoretic Approach and Evaluation of Adversarial Vehicular Platooning

Contact Info

Product

Resources

About