首页 > 最新文献

2021 60th IEEE Conference on Decision and Control (CDC)最新文献

英文 中文
Optimal operation of renewable energy microgrids considering lifetime characteristics of battery energy storage system 考虑电池储能系统寿命特性的可再生能源微电网优化运行
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683478
M. Shehzad, F. Guéniat
The battery energy storage system’s integration with renewable energy (RE) micro-grids play an important role in solving power supply problems. To achieve reliable and economic operations of a RE micro-grid, in addition to maximize the integration of of renewable resources, the lifetime characteristics of a battery energy storage system also need to be fully investigated.This research study develops an optimization model that includes battery life loss cost, states switching costs, and operation and maintenance cost to obtain a set of optimal parameters of operation strategy. Considering the lifetime characteristics of battery storage system, a multi-objective optimization to maximize the power sold values, and to minimize the degradations concerning battery life cycles has been achieved being main control objectives of the research under study. Based on a model adopting mixed-integer constraints and dynamics, the problem of optimal load demand tracking, and electricity market participation is solved through the implementation of an model based predictive control (MPC) scheme. The efficacy of the proposed controller is proved through extensive simulations where the RE-based micro-grid running costs are minimized.
电池储能系统与可再生能源微电网的集成对于解决电力供应问题具有重要作用。为了实现可再生能源微电网的可靠和经济运行,除了最大限度地整合可再生资源外,还需要对电池储能系统的寿命特性进行充分研究。本研究建立了包含电池寿命损失成本、状态切换成本和运行维护成本的优化模型,以获得一组运行策略的最优参数。考虑到电池储能系统的寿命特性,以最大限度地提高储能系统的售电量和最小化电池寿命周期的退化为主要的控制目标。基于混合整数约束和动态模型,通过实现基于模型的预测控制(MPC)方案,解决了最优负荷需求跟踪和电力市场参与问题。通过大量的仿真验证了该控制器的有效性,使基于re的微电网运行成本最小化。
{"title":"Optimal operation of renewable energy microgrids considering lifetime characteristics of battery energy storage system","authors":"M. Shehzad, F. Guéniat","doi":"10.1109/CDC45484.2021.9683478","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683478","url":null,"abstract":"The battery energy storage system’s integration with renewable energy (RE) micro-grids play an important role in solving power supply problems. To achieve reliable and economic operations of a RE micro-grid, in addition to maximize the integration of of renewable resources, the lifetime characteristics of a battery energy storage system also need to be fully investigated.This research study develops an optimization model that includes battery life loss cost, states switching costs, and operation and maintenance cost to obtain a set of optimal parameters of operation strategy. Considering the lifetime characteristics of battery storage system, a multi-objective optimization to maximize the power sold values, and to minimize the degradations concerning battery life cycles has been achieved being main control objectives of the research under study. Based on a model adopting mixed-integer constraints and dynamics, the problem of optimal load demand tracking, and electricity market participation is solved through the implementation of an model based predictive control (MPC) scheme. The efficacy of the proposed controller is proved through extensive simulations where the RE-based micro-grid running costs are minimized.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125952043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On Robustness of the Normalized Random Block Coordinate Method for Non-Convex Optimization 非凸优化的归一化随机块坐标法的鲁棒性
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9682846
Berkay Turan, César A. Uribe, Hoi-To Wai, M. Alizadeh
Large-scale optimization problems are usually characterized not only by large amounts of data points but points living in a high-dimensional space. Block coordinate methods allow for efficient implementations where steps can be made (block) coordinate-wise. Many existing algorithms rely on trustworthy gradient information and may fail to converge when such information becomes corrupted by possibly adversarial agents. We study the setting where the partial gradient with respect to each coordinate block is arbitrarily corrupted with some probability. We analyze the robustness properties of the normalized random block coordinate method (NRBCM) for non-convex optimization problems. We prove that NRBCM finds an $mathcal{O}(1/sqrt T )$-stationary point after T iterations if the corruption probabilities of partial gradients with respect to each block are below 1/2. With the additional assumption of gradient domination, faster rates are shown. Numerical evidence on a logistic classification problem supports our results.
大规模优化问题通常不仅具有大量的数据点,而且存在于高维空间中的点。块坐标方法允许有效的实现,其中可以根据(块)坐标进行步骤。许多现有的算法依赖于可信的梯度信息,当这些信息被可能的敌对代理破坏时,可能无法收敛。研究了各坐标块的偏梯度以一定概率被任意破坏的情况。分析了归一化随机块坐标法(NRBCM)求解非凸优化问题的鲁棒性。我们证明了NRBCM在T次迭代后找到$数学{O}(1/sqrt T)$-平稳点,如果每个块的部分梯度的破坏概率小于1/2。在附加的梯度控制假设下,显示出更快的速率。一个逻辑分类问题的数值证据支持我们的结果。
{"title":"On Robustness of the Normalized Random Block Coordinate Method for Non-Convex Optimization","authors":"Berkay Turan, César A. Uribe, Hoi-To Wai, M. Alizadeh","doi":"10.1109/CDC45484.2021.9682846","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9682846","url":null,"abstract":"Large-scale optimization problems are usually characterized not only by large amounts of data points but points living in a high-dimensional space. Block coordinate methods allow for efficient implementations where steps can be made (block) coordinate-wise. Many existing algorithms rely on trustworthy gradient information and may fail to converge when such information becomes corrupted by possibly adversarial agents. We study the setting where the partial gradient with respect to each coordinate block is arbitrarily corrupted with some probability. We analyze the robustness properties of the normalized random block coordinate method (NRBCM) for non-convex optimization problems. We prove that NRBCM finds an $mathcal{O}(1/sqrt T )$-stationary point after T iterations if the corruption probabilities of partial gradients with respect to each block are below 1/2. With the additional assumption of gradient domination, faster rates are shown. Numerical evidence on a logistic classification problem supports our results.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126105260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Constrained Neural Networks for Approximate Nonlinear Model Predictive Control 约束神经网络用于近似非线性模型预测控制
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683320
Saket Adhau, Vihangkumar V. Naik, S. Skogestad
Solving Non-Linear Model Predictive Control (NMPC) online is often challenging due to the computational complexities involved. This issue can be avoided by approximating the optimization problem using supervised learning methods which comes with a trade-off on the optimality and/or constraint satisfaction. In this paper, a novel supervised learning framework for approximating NMPC is proposed, where we explicitly impart constraint knowledge within the neural networks. This knowledge is inherited by augmenting the loss function of the neural networks during the training phase with insights from KKT conditions. Logarithmic barrier functions are utilized to augment the loss function including conditions of primal and dual feasibility. The proposed framework can be applied to other machine learning based parametric approximators. This approach is easy to implement and its efficacy is demonstrated on a benchmark NMPC problem for continuous stirred tank reactor (CSTR).
由于计算的复杂性,在线求解非线性模型预测控制(NMPC)往往具有挑战性。这个问题可以通过使用监督学习方法来近似优化问题来避免,这种方法在最优性和/或约束满足之间进行权衡。本文提出了一种新的用于逼近NMPC的监督学习框架,其中我们明确地在神经网络中传递约束知识。这些知识是通过在训练阶段增加神经网络的损失函数来继承的,并从KKT条件中获得洞察力。利用对数势垒函数对损失函数进行扩充,包括原可行性和对偶可行性条件。提出的框架可以应用于其他基于机器学习的参数逼近器。该方法易于实现,并通过连续搅拌槽式反应器(CSTR)的NMPC基准问题验证了其有效性。
{"title":"Constrained Neural Networks for Approximate Nonlinear Model Predictive Control","authors":"Saket Adhau, Vihangkumar V. Naik, S. Skogestad","doi":"10.1109/CDC45484.2021.9683320","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683320","url":null,"abstract":"Solving Non-Linear Model Predictive Control (NMPC) online is often challenging due to the computational complexities involved. This issue can be avoided by approximating the optimization problem using supervised learning methods which comes with a trade-off on the optimality and/or constraint satisfaction. In this paper, a novel supervised learning framework for approximating NMPC is proposed, where we explicitly impart constraint knowledge within the neural networks. This knowledge is inherited by augmenting the loss function of the neural networks during the training phase with insights from KKT conditions. Logarithmic barrier functions are utilized to augment the loss function including conditions of primal and dual feasibility. The proposed framework can be applied to other machine learning based parametric approximators. This approach is easy to implement and its efficacy is demonstrated on a benchmark NMPC problem for continuous stirred tank reactor (CSTR).","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123567280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Optimal control of DAEs with unconstrained terminal costs 终端成本无约束DAEs的最优控制
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9682950
P. Wijnbergen, Stephan Trenn
This paper is concerned with the linear quadratic optimal control problem for impulse controllable differential algebraic equations on a bounded half open interval. Regarding the cost functional, a general positive semi-definite weight matrix is considered in the terminal cost. It is shown that for this problem, there generally does not exist an input that minimizes the cost functional. First it is shown that the problem can be reduced to finding an input to an index-1 DAE that minimizes a different quadratic cost functional. Second, necessary and sufficient conditions in terms of matrix equations are given for the existence of an optimal control.
研究有界半开区间上脉冲可控微分代数方程的线性二次最优控制问题。对于代价泛函,在终端代价中考虑一个一般的正半定权矩阵。结果表明,对于这个问题,通常不存在使成本函数最小的输入。首先,这个问题可以简化为找到一个index-1 DAE的输入,该输入使不同的二次代价函数最小化。其次,用矩阵方程给出了最优控制存在的充分必要条件。
{"title":"Optimal control of DAEs with unconstrained terminal costs","authors":"P. Wijnbergen, Stephan Trenn","doi":"10.1109/CDC45484.2021.9682950","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9682950","url":null,"abstract":"This paper is concerned with the linear quadratic optimal control problem for impulse controllable differential algebraic equations on a bounded half open interval. Regarding the cost functional, a general positive semi-definite weight matrix is considered in the terminal cost. It is shown that for this problem, there generally does not exist an input that minimizes the cost functional. First it is shown that the problem can be reduced to finding an input to an index-1 DAE that minimizes a different quadratic cost functional. Second, necessary and sufficient conditions in terms of matrix equations are given for the existence of an optimal control.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123785988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Modeling and Adaptive Control of Flexible Quadrotor UAVs 柔性四旋翼无人机建模与自适应控制
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683103
E. Eraslan, Y. Yildiz
This paper introduces an analytical framework for the derivation of distributed-parameter equations of motion of a flexible quadrotor. This approach helps obtain rigid and flexible equations of motion simultaneously, in a decoupled form, which facilitates the controller design. An adaptive controller is implemented using the developed model to prevent excessive oscillations due to flexible dynamics and to compensate uncertainties. Furthermore, a delay-dependent stability condition is obtained for the overall system dynamics, including the human UAV operator with reaction time delay, the adaptive controller and the flexible quadrotor dynamics. It is demonstrated via simulations that the flexible arm tip oscillations are reduced when the closed loop reference model adaptive controller is used, compared to a conventional model reference adaptive controller.
本文介绍了柔性四旋翼机分布参数运动方程推导的解析框架。这种方法有助于同时以解耦形式获得刚性和柔性运动方程,从而方便了控制器的设计。利用所建立的模型实现了自适应控制器,以防止由于柔性动力学引起的过度振荡和补偿不确定性。在此基础上,给出了具有反应时滞的无人机操作系统、自适应控制器和柔性四旋翼动力学的时滞相关稳定条件。仿真结果表明,与传统模型参考自适应控制器相比,采用闭环参考模型自适应控制器可以减小柔性臂尖端的振动。
{"title":"Modeling and Adaptive Control of Flexible Quadrotor UAVs","authors":"E. Eraslan, Y. Yildiz","doi":"10.1109/CDC45484.2021.9683103","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683103","url":null,"abstract":"This paper introduces an analytical framework for the derivation of distributed-parameter equations of motion of a flexible quadrotor. This approach helps obtain rigid and flexible equations of motion simultaneously, in a decoupled form, which facilitates the controller design. An adaptive controller is implemented using the developed model to prevent excessive oscillations due to flexible dynamics and to compensate uncertainties. Furthermore, a delay-dependent stability condition is obtained for the overall system dynamics, including the human UAV operator with reaction time delay, the adaptive controller and the flexible quadrotor dynamics. It is demonstrated via simulations that the flexible arm tip oscillations are reduced when the closed loop reference model adaptive controller is used, compared to a conventional model reference adaptive controller.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125291996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Local Shape-Preserving Formation Maneuver Control of Multi-agent Systems: From 2D to 3D 多智能体系统局部保形编队机动控制:从2D到3D
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683637
Changhuang Wan, Gangshan Jing, R. Dai, R. Zhao
In this paper, we propose a formation maneuver control strategy to steer a triangulated formation from two dimensional (2D) space to three dimensional (3D) space, while maintaining the shape of each triangle during the transition. To describe the desired 3D formation shape, we adopt a weak rigidity function containing both distance and angle constraints, together with a sign function. The local shapes are preserved by restricting agents’ motions to the null-space of the distance rigidity function. Furthermore, we formulate this formation maneuver control as an optimal control problem to minimize the control efforts subject to system dynamics, local shape preserving constraints, initial and terminal boundary conditions, which can be solved via a nonlinear programming solver. In the end, two simulation examples are provided to show the effectiveness of our formation control strategy.
在本文中,我们提出了一种编队机动控制策略,以引导一个三角形编队从二维空间进入三维空间,同时在过渡过程中保持每个三角形的形状。为了描述所需的三维地层形状,我们采用了包含距离和角度约束的弱刚性函数以及符号函数。通过将agent的运动限制在距离刚性函数的零空间来保持局部形状。在此基础上,将该编队机动控制问题表述为在系统动力学、局部保形约束、初始边界条件和终端边界条件下,使控制努力最小化的最优控制问题,该问题可通过非线性规划求解器求解。最后,通过两个仿真实例验证了编队控制策略的有效性。
{"title":"Local Shape-Preserving Formation Maneuver Control of Multi-agent Systems: From 2D to 3D","authors":"Changhuang Wan, Gangshan Jing, R. Dai, R. Zhao","doi":"10.1109/CDC45484.2021.9683637","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683637","url":null,"abstract":"In this paper, we propose a formation maneuver control strategy to steer a triangulated formation from two dimensional (2D) space to three dimensional (3D) space, while maintaining the shape of each triangle during the transition. To describe the desired 3D formation shape, we adopt a weak rigidity function containing both distance and angle constraints, together with a sign function. The local shapes are preserved by restricting agents’ motions to the null-space of the distance rigidity function. Furthermore, we formulate this formation maneuver control as an optimal control problem to minimize the control efforts subject to system dynamics, local shape preserving constraints, initial and terminal boundary conditions, which can be solved via a nonlinear programming solver. In the end, two simulation examples are provided to show the effectiveness of our formation control strategy.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125526119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A New ℓ-step Neighbourhood Distributed Moving Horizon Estimator 一种新的l阶邻域分布移动视界估计
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9682837
Antonello Venturino, S. Bertrand, C. Stoica, T. Alamo, E. Camacho
This paper focuses on Distributed State Estimation over a peer-to-peer sensor network composed by possible low-computational sensors. We propose a new ℓ-step Neighbourhood Distributed Moving Horizon Estimation technique with fused arrival cost and pre-estimation, improving the accuracy of the estimation, while reducing the computation time compared to other approaches from the literature. Simultaneously, convergence of the estimation error is improved by means of spreading the information amongst neighbourhoods, which comes natural in the sliding window data present in the Moving Horizon Estimation paradigm.
本文主要研究由可能的低计算量传感器组成的点对点传感器网络的分布式状态估计。本文提出了一种融合到达代价和预估计的新方法,提高了估计的精度,同时与文献中其他方法相比减少了计算时间。同时,通过在邻域间传播信息,提高了估计误差的收敛性,这在移动地平线估计范式中滑动窗口数据中是很自然的。
{"title":"A New ℓ-step Neighbourhood Distributed Moving Horizon Estimator","authors":"Antonello Venturino, S. Bertrand, C. Stoica, T. Alamo, E. Camacho","doi":"10.1109/CDC45484.2021.9682837","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9682837","url":null,"abstract":"This paper focuses on Distributed State Estimation over a peer-to-peer sensor network composed by possible low-computational sensors. We propose a new ℓ-step Neighbourhood Distributed Moving Horizon Estimation technique with fused arrival cost and pre-estimation, improving the accuracy of the estimation, while reducing the computation time compared to other approaches from the literature. Simultaneously, convergence of the estimation error is improved by means of spreading the information amongst neighbourhoods, which comes natural in the sliding window data present in the Moving Horizon Estimation paradigm.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125526282","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Global analysis of networks of piecewise affine bistable switches 分段仿射双稳开关网络的全局分析
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683536
Gianluca Villani, L. Scardovi
In this paper we investigate the dynamics of a network of N diffusively-coupled compartments, each modelling a bistable switch. The dynamics of each compartment is described by a piecewise linear differential equation. We prove that all the solutions converge to the set of equilibria and that this is a structural property, as it does not depend on the system parameters and the interconnection topology. The theoretical results are supplemented with numerical results which suggest new directions for future research.
在本文中,我们研究了N个扩散耦合室的网络动力学,每个室模拟一个双稳开关。每个隔室的动力学用分段线性微分方程来描述。我们证明了所有的解都收敛于平衡点集合,这是一个结构性质,因为它不依赖于系统参数和互连拓扑。数值结果补充了理论结果,为今后的研究指明了新的方向。
{"title":"Global analysis of networks of piecewise affine bistable switches","authors":"Gianluca Villani, L. Scardovi","doi":"10.1109/CDC45484.2021.9683536","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683536","url":null,"abstract":"In this paper we investigate the dynamics of a network of N diffusively-coupled compartments, each modelling a bistable switch. The dynamics of each compartment is described by a piecewise linear differential equation. We prove that all the solutions converge to the set of equilibria and that this is a structural property, as it does not depend on the system parameters and the interconnection topology. The theoretical results are supplemented with numerical results which suggest new directions for future research.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126828858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Resilient Homomorphic Encryption Scheme for Cyber-Physical Systems 网络物理系统的弹性同态加密方案
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683696
M. Fauser, Ping Zhang
In this paper, a resilient homomorphic encryption scheme for cyber-physical systems (CPS) is presented. The proposed approach allows the calculation process of feedback controllers to be carried out in an encrypted environment. Moreover, the proposed approach is able to neutralize the effect of attacks injected in the encrypted signals sent over the network, so that the controller can still get the true sensor information. We shall first show that the proposed resilient homomorphic encryption scheme can calculate the multiplication of a matrix with a vector directly based on the ciphertexts, whose result after decryption is the same as the matrix-vector product got based on plaintexts. By transforming the control law into a matrix-vector product, the evaluation of the controller can be carried out with ciphertexts. As a result, the resilient homomorphic encryption scheme ensures the confidentiality of both the signals sent over the network and the controller parameters. In addition, a CPS utilizing the proposed encryption scheme is resilient to additive attacks, as long as the attacks are inside the resilience range. The proposed approach is illustrated through the well-established quadruple-tank benchmark process.
提出了一种用于网络物理系统(CPS)的弹性同态加密方案。该方法允许反馈控制器的计算过程在加密环境中进行。此外,该方法能够抵消网络上发送的加密信号中注入的攻击的影响,使控制器仍然能够获得真实的传感器信息。首先证明所提出的弹性同态加密方案可以直接基于密文计算矩阵与向量的乘法,其解密后的结果与基于明文的矩阵-向量乘积相同。通过将控制律转化为矩阵-向量积,可以用密文对控制器进行评估。因此,弹性同态加密方案保证了网络上发送的信号和控制器参数的机密性。此外,使用所提出的加密方案的CPS对附加攻击具有弹性,只要攻击在弹性范围内。通过建立的四缸基准工艺说明了所提出的方法。
{"title":"Resilient Homomorphic Encryption Scheme for Cyber-Physical Systems","authors":"M. Fauser, Ping Zhang","doi":"10.1109/CDC45484.2021.9683696","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683696","url":null,"abstract":"In this paper, a resilient homomorphic encryption scheme for cyber-physical systems (CPS) is presented. The proposed approach allows the calculation process of feedback controllers to be carried out in an encrypted environment. Moreover, the proposed approach is able to neutralize the effect of attacks injected in the encrypted signals sent over the network, so that the controller can still get the true sensor information. We shall first show that the proposed resilient homomorphic encryption scheme can calculate the multiplication of a matrix with a vector directly based on the ciphertexts, whose result after decryption is the same as the matrix-vector product got based on plaintexts. By transforming the control law into a matrix-vector product, the evaluation of the controller can be carried out with ciphertexts. As a result, the resilient homomorphic encryption scheme ensures the confidentiality of both the signals sent over the network and the controller parameters. In addition, a CPS utilizing the proposed encryption scheme is resilient to additive attacks, as long as the attacks are inside the resilience range. The proposed approach is illustrated through the well-established quadruple-tank benchmark process.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126860479","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Adaptive NN-Based Reference-Tracking Control of Uncertain Nonlinear Parabolic PDE Systems 不确定非线性抛物型PDE系统的自适应nn参考跟踪控制
Pub Date : 2021-12-14 DOI: 10.1109/CDC45484.2021.9683381
Jingting Zhang, Yan Gu, P. Stegagno, Weizhen Zeng, C. Yuan
This paper is focused on the reference-tracking control problem of distributed parameter systems modeled by a class of parabolic partial differential equations (PDEs) with uncertain nonlinear dynamics. An adaptive tracking control scheme is developed by utilizing radial basis function neural networks (RBF NNs) to deal with nonlinear system uncertainties. Specifically, the Galerkin method is first employed to derive a reduced-order ordinary differential equation (ODE) model to approximate the original PDE system. Based on this, an adaptive tracking control scheme is developed based on the singular perturbation theory and Lyapunov stability theory. With the control scheme implemented on the original PDE system, the system output can be guaranteed to track a prescribed reference trajectory with desired system stability and tracking accuracy. Simulation study on a representative transport-reaction process is conducted to demonstrate the effectiveness of the proposed approach.
研究一类非线性动力学不确定抛物型偏微分方程(PDEs)所建立的分布参数系统的参考跟踪控制问题。提出了一种利用径向基函数神经网络(RBF)处理非线性系统不确定性的自适应跟踪控制方案。具体而言,首先利用伽辽金方法推导出一个降阶常微分方程(ODE)模型来近似原PDE系统。在此基础上,提出了一种基于奇异摄动理论和李亚普诺夫稳定性理论的自适应跟踪控制方案。将该控制方案应用于原PDE系统,可以保证系统输出跟踪规定的参考轨迹,并具有理想的系统稳定性和跟踪精度。通过一个典型的输运-反应过程的仿真研究,验证了该方法的有效性。
{"title":"Adaptive NN-Based Reference-Tracking Control of Uncertain Nonlinear Parabolic PDE Systems","authors":"Jingting Zhang, Yan Gu, P. Stegagno, Weizhen Zeng, C. Yuan","doi":"10.1109/CDC45484.2021.9683381","DOIUrl":"https://doi.org/10.1109/CDC45484.2021.9683381","url":null,"abstract":"This paper is focused on the reference-tracking control problem of distributed parameter systems modeled by a class of parabolic partial differential equations (PDEs) with uncertain nonlinear dynamics. An adaptive tracking control scheme is developed by utilizing radial basis function neural networks (RBF NNs) to deal with nonlinear system uncertainties. Specifically, the Galerkin method is first employed to derive a reduced-order ordinary differential equation (ODE) model to approximate the original PDE system. Based on this, an adaptive tracking control scheme is developed based on the singular perturbation theory and Lyapunov stability theory. With the control scheme implemented on the original PDE system, the system output can be guaranteed to track a prescribed reference trajectory with desired system stability and tracking accuracy. Simulation study on a representative transport-reaction process is conducted to demonstrate the effectiveness of the proposed approach.","PeriodicalId":229089,"journal":{"name":"2021 60th IEEE Conference on Decision and Control (CDC)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126862396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
2021 60th IEEE Conference on Decision and Control (CDC)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1