We propose methods to solve time-varying, sensor and actuator (SaA) selection problems for uncertain cyberphysical systems. We show that many SaA selection problems for optimizing a variety of control and estimation metrics can be posed as semidefinite optimization problems with mixed-integer bilinear matrix inequalities (MIBMIs). Although this class of optimization problems are computationally challenging, we present tractable approaches that directly tackle MIBMIs, providing both upper and lower bounds, and that lead to effective heuristics for SaA selection. The upper and lower bounds are obtained via successive convex approximations and semidefinite programming relaxations, respectively, and selections are obtained with a novel slicing algorithm from the solutions of the bounding problems. Custom branch-and-bound and combinatorial greedy approaches are also developed for a broad class of systems for comparison. Finally, comprehensive numerical experiments are performed to compare the different methods and illustrate their effectiveness.Index Terms-Sensor and actuator selection, cyber-physical systems, linear matrix inequalities, controller design, observer design, mixed integer programming.

Uncertainty from renewable energy and loads is one of the major challenges for stable grid operation. Various approaches have been explored to remedy these uncertainties. In this paper, we design centralized or decentralized statefeedback controllers for generators while considering worst-case uncertainty. Specifically, this paper introduces the notion of L∞ robust control and stability for uncertain power networks. Uncertain and nonlinear differential algebraic equation model of the network is presented. The model includes unknown disturbances from renewables and loads. Given an operating point, the linearized state-space presentation is given. Then, the notion of L∞ robust control and stability is discussed, resulting in a nonconvex optimization routine that yields a state feedback gain mitigating the impact of disturbances. The developed routine includes explicit input-bound constraints on generators' inputs and a measure of the worst-case disturbance. The feedback control architecture can be centralized, distributed, or decentralized. Algorithms based on successive convex approximations are then given to address the nonconvexity. Case studies are presented showcasing the performance of the L∞ controllers in comparison with automatic generation control and H∞ control methods.

No abstract

Nonlinear dynamic systems can be classified into various classes depending on the modeled nonlinearity. These classes include Lipschitz, bounded Jacobian, one-sided Lipschitz (OSL), and quadratically inner-bounded (QIB). Such classes essentially yield bounding constants characterizing the nonlinearity. This is then used to design observers and controllers through Riccati equations or matrix inequalities. While analytical expressions for bounding constants of Lipschitz and bounded Jacobian nonlinearity are studied in the literature, OSL and QIB classes are not thoroughly analyzed-computationally or analytically. In short, this paper develops analytical expressions of OSL and QIB bounding constants. These expressions are posed as constrained maximization problems, which can be solved via various optimization algorithms. This paper also presents a novel insight particularly on QIB function set: any function that is QIB turns out to be also Lipschitz continuous.

Power system dynamics are naturally nonlinear. The nonlinearity stems from power flows, generator dynamics, and electromagnetic transients. Characterizing the nonlinearity of the dynamical power system model is useful for designing superior estimation and control methods, providing better situational awareness and system stability. In this paper, we consider the synchronous generator model with a phasor measurement unit (PMU) that is installed at the terminal bus of the generator. The corresponding nonlinear process-measurement model is shown to be locally Lipschitz, i.e., the dynamics are limited in how fast they can evolve in an arbitrary compact region of the statespace. We then investigate different methods to compute Lipschitz constants for this model, which is vital for performing dynamic state estimation (DSE) or state-feedback control using Lyapunov theory. In particular, we compare a derived analytical bound with numerical methods based on low discrepancy sampling algorithms. Applications of the computed bounds to dynamic state estimation are showcased. The paper is concluded with numerical tests.Index Terms-Synchronous generator, dynamic state estimation, phasor measurement units, Lipschitz nonlinearity, Lipschitz-based observer, low discrepancy sequence.

Monitoring and control of traffic networks represent alternative, inexpensive strategies to minimize traffic congestion. As the number of traffic sensors is naturally constrained by budgetary requirements, real-time estimation of traffic flow in road segments that are not equipped with sensors is of significant importance-thereby providing situational awareness and guiding real-time feedback control strategies. To that end, firstly we build a generalized traffic flow model for stretched highways with arbitrary number of ramp flows based on the Lighthill Whitham Richards (LWR) flow model. Secondly, we characterize the function set corresponding to the nonlinearities present in the LWR model, and use this characterization to design real-time and robust state estimators (SE) for stretched highway segments. Specifically, we show that the nonlinearities from the derived models are locally Lipschitz continuous by providing the analytical Lipschitz constants. Thirdly, the analytical derivation is then incorporated through a robust SE method given a limited number of traffic sensors, under the impact of process and measurement disturbances and unknown inputs. The estimator is based on deriving a convex semidefinite optimization problem. Finally, numerical tests are given showcasing the applicability, scalability, and robustness of the proposed estimator for large systems under high magnitude disturbances, parametric uncertainty, and unknown inputs.

No abstract

In most dynamic networks, it is impractical to measure all of the system states; instead, only a subset of the states are measured through sensors. Consequently, and unlike full state feedback controllers, output feedback control utilizes only the measured states to obtain a stable closed-loop performance. This paper explores the interplay between the selection of minimal number of sensors and actuators (SaA) that yield a stable closed-loop system performance. Through the formulation of the static output feedback control problem, we show that the simultaneous selection of minimal set of SaA is a combinatorial optimization problem with mixedinteger nonlinear matrix inequality constraints. To address the computational complexity, we develop two approaches: The first approach relies on integer/disjunctive programming principles, while the second approach is a simple algorithm that is akin to binary search routines. The optimality of the two approaches is also discussed. Numerical experiments are included showing the performance of the developed approaches.Index Terms-Sensor and actuator selection and placement, static output feedback control, mixed-integer nonlinear matrix inequality, disjunctive programming, binary search algorithm.