Co-Optimization of Control and Actuator Selection for Cyber-Physical Systems

Abstract This paper considers actuator selection problems which aim to maintain control performance of dynamical systems, and minimize operational costs or wear-and-tear of the actuators. The logical controls of actuators make the problem combinatorial, which make exhaustive search impractical. An actuator selection problem can be cast as a binary-integer programming with bilinear matrix inequalities (BIBMIs). In this paper, we first show that such non-convex optimization can be equivalently reformulated as an optimization problem with non-convexities restricted to binary decision variables. We next consider a continuous optimization which is equivalent to the BIBMIs, and leverage the continuous reformulation to derive a branch-and-bound method employing bound refinement. Numerical simulations demonstrate the effectiveness of the proposed approach.

[1]  M. Corless,et al.  Analysis and control of polytopic uncertain/nonlinear systems in the presence of bounded disturbance inputs , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[2]  Baoyuan Wu,et al.  $\ell _p$p-Box ADMM: A Versatile Framework for Integer Programming , 2019, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[3]  Stephen P. Boyd,et al.  Sensor Selection via Convex Optimization , 2009, IEEE Transactions on Signal Processing.

[4]  Tyler H. Summers,et al.  Actuator placement in networks using optimal control performance metrics , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[5]  John K. Karlof,et al.  Integer programming : theory and practice , 2005 .

[6]  Zhi-Quan Luo,et al.  An ADMM algorithm for optimal sensor and actuator selection , 2014, 53rd IEEE Conference on Decision and Control.

[7]  Shreyas Sundaram,et al.  Sensor selection for Kalman filtering of linear dynamical systems: Complexity, limitations and greedy algorithms , 2017, Autom..

[8]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[9]  Nikolaos Gatsis,et al.  Time-Varying Sensor and Actuator Selection for Uncertain Cyber-Physical Systems , 2017, IEEE Transactions on Control of Network Systems.

[10]  Joshua A. Taylor,et al.  Allocating Sensors and Actuators via Optimal Estimation and Control , 2017, IEEE Transactions on Control Systems Technology.

[11]  Martin W. P. Savelsbergh,et al.  Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition , 2000, INFORMS J. Comput..

[12]  David K. Smith Theory of Linear and Integer Programming , 1987 .

[13]  Bernard Ghanem,et al.  Binary Optimization via Mathematical Programming with Equilibrium Constraints , 2016, 1608.04425.

[14]  Jan Karel Lenstra,et al.  Approximation algorithms for scheduling unrelated parallel machines , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[15]  Alexander Martin,et al.  General Mixed Integer Programming: Computational Issues for Branch-and-Cut Algorithms , 2000, Computational Combinatorial Optimization.

[16]  Stephen L. Smith,et al.  Submodularity and greedy algorithms in sensor scheduling for linear dynamical systems , 2015, Autom..

[17]  George J. Pappas,et al.  Minimal Actuator Placement With Bounds on Control Effort , 2014, IEEE Transactions on Control of Network Systems.

[18]  Andrey V. Savkin,et al.  A framework for optimal actuator/sensor selection in a control system , 2019, Int. J. Control.

[19]  Adam N. Letchford,et al.  Non-convex mixed-integer nonlinear programming: A survey , 2012 .