IEEE open journal of control systems最新文献_第7页

Risk-Based Security Measure Allocation Against Actuator Attacks 针对执行器攻击的基于风险的安全措施分配

IEEE open journal of control systems Pub Date : 2023-08-16 DOI: 10.1109/OJCSYS.2023.3305831

Sribalaji C. Anand;André M. H. Teixeira

{"title":"Risk-Based Security Measure Allocation Against Actuator Attacks","authors":"Sribalaji C. Anand;André M. H. Teixeira","doi":"10.1109/OJCSYS.2023.3305831","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3305831","url":null,"abstract":"This article considers the problem of risk-optimal allocation of security measures when the actuators of an uncertain control system are under attack. We consider an adversary injecting false data into the actuator channels. The attack impact is characterized by the maximum performance loss caused by a stealthy adversary with bounded energy. Since the impact is a random variable, due to system uncertainty, we use Conditional Value-at-Risk (CVaR) to characterize the risk associated with the attack. We then consider the problem of allocating security measures to the set of actuators to minimize the risk. We assume that there are only a limited number of security measures available. Under this constraint, we observe that the allocation problem is a mixed-integer optimization problem. Thus we use relaxation techniques to approximate the security allocation problem into a Semi-Definite Program (SDP). We also compare our allocation method \u0000<inline-formula><tex-math>$(i)$</tex-math></inline-formula>\u0000 across different risk measures: the worst-case measure, the average (nominal) measure, and \u0000<inline-formula><tex-math>$(ii)$</tex-math></inline-formula>\u0000 across different search algorithms: the exhaustive and the greedy search algorithms. We depict the efficacy of our approach through numerical examples.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"297-309"},"PeriodicalIF":0.0,"publicationDate":"2023-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10221684.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50226363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Context-Triggered Abstraction-Based Control Design 基于上下文触发的抽象控制设计

IEEE open journal of control systems Pub Date : 2023-08-16 DOI: 10.1109/OJCSYS.2023.3305835

Satya Prakash Nayak;Lucas N. Egidio;Matteo Della Rossa;Anne-Kathrin Schmuck;Raphael M. Jungers

引用次数: 0

Polynomial Controller Synthesis of Nonlinear Systems With Continuous State Feedback Using Trust Regions 具有连续状态反馈的非线性系统的信赖域多项式控制器综合

IEEE open journal of control systems Pub Date : 2023-08-02 DOI: 10.1109/OJCSYS.2023.3301335

Victor Gaßmann;Matthias Althoff

引用次数: 0

Exploiting the Synchronization of Nonlinear Dynamics to Secure Distributed Consensus 利用非线性动力学的同步来确保分布式一致性

IEEE open journal of control systems Pub Date : 2023-07-27 DOI: 10.1109/OJCSYS.2023.3299521

Camilla Fioravanti;Valeria Bonagura;Gabriele Oliva;Christoforos N. Hadjicostis;Stefano Panzieri

{"title":"Exploiting the Synchronization of Nonlinear Dynamics to Secure Distributed Consensus","authors":"Camilla Fioravanti;Valeria Bonagura;Gabriele Oliva;Christoforos N. Hadjicostis;Stefano Panzieri","doi":"10.1109/OJCSYS.2023.3299521","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3299521","url":null,"abstract":"Distributed cooperative multi-agent operations, which are emerging as effective solutions in countless application domains, are prone to eavesdropping by malicious entities due to their exposure on the network. Moreover, in several cases, agents are reluctant to disclose their initial conditions (even to legitimate neighbors) due to their sensitivity to private data. Providing security guarantees against external readings by malicious entities and the privacy of exchanged data while allowing agents to reach an agreement on some shared variables is an essential feature to foster the adoption of distributed protocols. In this article, we propose to implement a secure and privacy-preserving consensus strategy that exploits, for this purpose, the performance of synchronization of nonlinear continuous-time dynamical systems. This is achieved by splitting the initial conditions into two information fragments, one of which is subject to nonlinear manipulation. In this way, the information being exchanged in the network will always be subject to the influence of nonlinear dynamics. However, by exploiting the ability of such dynamics to synchronize, the combination of the two fragments still converges to a weighted average of each node's actual initial conditions. Furthermore, due to the dependence of the hidden dynamics on a coordinate transformation known only to the legitimate nodes, message security is ensured even once consensus is reached; our approach relies on the assumption that a secure communication channel is available during an initialization phase. The article is complemented by a simulation campaign aimed at numerically demonstrating the effectiveness of the proposed approach.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"249-262"},"PeriodicalIF":0.0,"publicationDate":"2023-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10196002.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50226360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

$mathsf{HyHooVer}$: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization $mathsf｛HyHooVer｝$：使用优化的混合状态空间随机系统的验证和参数综合

IEEE open journal of control systems Pub Date : 2023-07-26 DOI: 10.1109/OJCSYS.2023.3299152

Negin Musavi;Dawei Sun;Sayan Mitra;Geir E. Dullerud;Sanjay Shakkottai

{"title":"$mathsf{HyHooVer}$: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization","authors":"Negin Musavi;Dawei Sun;Sayan Mitra;Geir E. Dullerud;Sanjay Shakkottai","doi":"10.1109/OJCSYS.2023.3299152","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3299152","url":null,"abstract":"This article presents a new method for model-free verification of a general class of control systems with unknown nonlinear dynamics, where the state space has both a continuum-based and a discrete component. Specifically, we focus on finding what choices of initial states or parameters maximize a given probabilistic objective function over all choices of initial states or parameters from such hybrid state space, without having exact knowledge of the system dynamics. We introduce the notion of \u0000<italic>set initialized Markov chains\u0000 to represent such systems. Our method utilizes generalized techniques from multi-armed bandit theory on the continuum, in an attempt to make an efficient use of the available sampling budget. We introduce a new algorithm called the \u0000<italic>Hybrid Hierarchical Optimistic Optimization\u0000 (HyHOO) algorithm, which is designed to address the problem outlined in this paper. The algorithm combines elements of the existing Hierarchical Optimistic Optimization (HOO) bandit algorithm with carefully chosen parameters to create a fresh perspective on the problem. By viewing the problem as a multi-armed bandit problem, we are able to provide theoretical regret bounds on sample efficiency of our tool, \u0000<inline-formula><tex-math>$mathsf{HyHooVer}$</tex-math></inline-formula>\u0000. This is achieved by making assumptions about the smoothness of the underlying system. The results of experiments in formal verification and parameter synthesis of variety of scenarios, indicate that the proposed method is effective and efficient when applied to realistic-sized problems and it performs well compared to other methods, specifically PlasmaLab, BoTorch, and the baseline HOO algorithm. Specifically, it demonstrates better efficiency when employed on models with large state space and when the objective function has sharp slopes in comparison with other tools.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"263-276"},"PeriodicalIF":0.0,"publicationDate":"2023-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10195190.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50226361","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Abstraction-Based Planning for Uncertainty-Aware Legged Navigation 基于抽象的不确定性感知腿导航规划

IEEE open journal of control systems Pub Date : 2023-07-17 DOI: 10.1109/OJCSYS.2023.3296000

Jesse Jiang;Samuel Coogan;Ye Zhao

引用次数: 1

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems 随机系统控制综合的鲁棒完全有限状态抽象

IEEE open journal of control systems Pub Date : 2023-07-12 DOI: 10.1109/OJCSYS.2023.3294829

Yiming Meng;Jun Liu

{"title":"Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems","authors":"Yiming Meng;Jun Liu","doi":"10.1109/OJCSYS.2023.3294829","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3294829","url":null,"abstract":"The essential step of abstraction-based control synthesis for nonlinear systems to satisfy a given specification is to obtain a finite-state abstraction of the original systems. The complexity of the abstraction is usually the dominating factor that determines the efficiency of the algorithm. For the control synthesis of discrete-time nonlinear stochastic systems modelled by nonlinear stochastic difference equations, recent literature has demonstrated the soundness of abstractions in preserving robust probabilistic satisfaction of \u0000<inline-formula><tex-math>$omega$</tex-math></inline-formula>\u0000-regular linear-time properties. However, unnecessary transitions exist within the abstractions, which are difficult to quantify, and the completeness of abstraction-based control synthesis in the stochastic setting remains an open theoretical question. In this article, we address this fundamental question from the topological view of metrizable space of probability measures, and propose constructive finite-state abstractions for control synthesis of probabilistic linear temporal specifications. Such abstractions are both sound and approximately complete. That is, given a concrete discrete-time stochastic system and an arbitrarily small \u0000<inline-formula><tex-math>$mathcal{L}^{1}$</tex-math></inline-formula>\u0000-perturbation of this system, there exists a family of finite-state controlled Markov chains that both abstracts the concrete system and is abstracted by the slightly perturbed system. In other words, given an arbitrarily small prescribed precision, an abstraction always exists to decide whether a control strategy exists for the concrete system to satisfy the probabilistic specification.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"235-248"},"PeriodicalIF":0.0,"publicationDate":"2023-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10179944.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50375008","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Restructuring Dynamical Systems for Inductive Verification 用于归纳验证的重构动力系统

IEEE open journal of control systems Pub Date : 2023-07-11 DOI: 10.1109/OJCSYS.2023.3294098

Vishnu Murali;Ashutosh Trivedi;Majid Zamani

{"title":"Restructuring Dynamical Systems for Inductive Verification","authors":"Vishnu Murali;Ashutosh Trivedi;Majid Zamani","doi":"10.1109/OJCSYS.2023.3294098","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3294098","url":null,"abstract":"Inductive approaches to deductive verification has gained widespread adoption in the control and verification of safety-critical dynamical systems. The practical success of barrier certificates attests to their effectiveness and ongoing theoretical and practical refinement. However, when verification conditions are non-inductive, various strategies are employed to address this issue. One strategy is to \u0000<italic>strengthen\u0000 the property until they arrive at an inductive proof. However, it is not always obvious how one must strengthen a property. Notions of strenghtening are particularly non-obvious when the properties of interest are more expressive than safety or reachability. An alternative technique is to instead consider \u0000<italic>structural\u0000 changes. These structural changes may either be to consider novel notions of induction such as \u0000<inline-formula><tex-math>$k$</tex-math></inline-formula>\u0000-induction, or to encode additional information similar to dimension lifting. We posit that reformulating or \u0000<italic>restructuring\u0000 of the system is fundamental to inductive approaches. This position article provides an overview of barrier certificate based verification approaches and their connection to system restructuring. We discuss the opportunities, challenges, and open problems in this emerging field, paving the way for future research in the verification of safety-critical dynamical systems. The framework of restructuring of a system holds promise for advancing deductive verification, enhancing system safety, and promoting design insights.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"200-207"},"PeriodicalIF":0.0,"publicationDate":"2023-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10179178.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50375004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Data-Driven Tube-Based Stochastic Predictive Control 基于数据驱动的Tube随机预测控制

IEEE open journal of control systems Pub Date : 2023-07-03 DOI: 10.1109/OJCSYS.2023.3291596

SEBASTIAN Kerz;JOHANNES Teutsch;TIM Brüdigam;MARION Leibold;DIRK Wollherr

{"title":"Data-Driven Tube-Based Stochastic Predictive Control","authors":"SEBASTIAN Kerz;JOHANNES Teutsch;TIM Brüdigam;MARION Leibold;DIRK Wollherr","doi":"10.1109/OJCSYS.2023.3291596","DOIUrl":"https://doi.org/10.1109/OJCSYS.2023.3291596","url":null,"abstract":"A powerful result from behavioral systems theory known as the fundamental lemma allows for predictive control akin to Model Predictive Control (MPC) for linear time-invariant (LTI) systems with unknown dynamics purely from data. While most data-driven predictive control literature focuses on robustness with respect to measurement noise, only a few works consider exploiting probabilistic information of disturbances for performance-oriented control as in stochastic MPC. This work proposes a novel data-driven stochastic predictive control scheme for chance-constrained LTI systems subject to measurement noise and additive stochastic disturbances. In order to render the otherwise stochastic and intractable optimal control problem deterministic, our approach leverages ideas from tube-based MPC by decomposing the state into a deterministic nominal state driven by inputs and a stochastic error state affected by disturbances. Satisfaction of original chance constraints is guaranteed by tightening nominal constraints probabilistically with respect to additive disturbances and robustly with respect to measurement noise. The resulting data-driven receding horizon optimal control problem is lightweight, recursively feasible, and renders the closed loop input-to-state stable in the presence of both additive disturbances and measurement noise. We demonstrate the effectiveness of the proposed approach in a simulation example.","PeriodicalId":73299,"journal":{"name":"IEEE open journal of control systems","volume":"2 ","pages":"185-199"},"PeriodicalIF":0.0,"publicationDate":"2023-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/9552933/9973428/10171461.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50226359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach 离散事件系统的攻击弹性监督控制：一种有限状态转换器方法

IEEE open journal of control systems Pub Date : 2023-06-28 DOI: 10.1109/OJCSYS.2023.3290408

Yu Wang;Alper Kamil Bozkurt;Nathan Smith;Miroslav Pajic

引用次数: 2