-
How many autonomous vehicles are required to stabilize traffic flow?
Authors:
MirSaleh Bahavarnia,
Ahmad F. Taha
Abstract:
Collective behavior of human-driven vehicles (HVs) results in the well-known stop-and-go waves potentially leading to higher fuel consumption and emissions. This letter investigates the stabilization of traffic flow via a minimum number of autonomous vehicles (AVs) subject to constraints on the control parameters. The unconstrained scenario has been well-studied in recent studies. The main motivat…
▽ More
Collective behavior of human-driven vehicles (HVs) results in the well-known stop-and-go waves potentially leading to higher fuel consumption and emissions. This letter investigates the stabilization of traffic flow via a minimum number of autonomous vehicles (AVs) subject to constraints on the control parameters. The unconstrained scenario has been well-studied in recent studies. The main motivation to investigate the constrained scenario is that, in reality, lower and upper bounds exist on the control parameters. For the constrained scenario, we optimally find the minimum number of required AVs (via computing the optimal lower bound on the AV penetration rate) to stabilize traffic flow for a given number of HVs. As an immediate consequence, we conclude that for a given number of AVs, the number of HVs in the stabilized traffic flow cannot be arbitrarily large in the constrained scenario unlike the unconstrained scenario studied in the literature. Using nonlinear optimization techniques, we systematically propose a procedure to compute the optimal lower bound on the AV penetration rate. Finally, we validate the theoretical results via numerical simulations. Numerical simulations suggest that by enlarging the constraint intervals, a smaller optimal lower bound on the AV penetration rate is attainable. However, it leads to a slower transient response due to a dominant pole closer to the origin.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Multilinear Extensions in Submodular Optimization for Optimal Sensor Scheduling in Nonlinear Networks
Authors:
Mohamad H. Kazma,
Ahmad F. Taha
Abstract:
Optimal sensing nodes selection in dynamic systems is a combinatorial optimization problem that has been thoroughly studied in the recent literature. This problem can be formulated within the context of set optimization. For high-dimensional nonlinear systems, the problem is extremely difficult to solve. It scales poorly too. Current literature poses combinatorial submodular set optimization probl…
▽ More
Optimal sensing nodes selection in dynamic systems is a combinatorial optimization problem that has been thoroughly studied in the recent literature. This problem can be formulated within the context of set optimization. For high-dimensional nonlinear systems, the problem is extremely difficult to solve. It scales poorly too. Current literature poses combinatorial submodular set optimization problems via maximizing observability performance metrics subject to matroid constraints. Such an approach is typically solved using greedy algorithms that require lower computational effort yet often yield sub-optimal solutions. In this letter, we address the sensing node selection problem for nonlinear dynamical networks using a variational form of the system dynamics, that basically perturb the system physics. As a result, we show that the observability performance metrics under such system representation are indeed submodular. The optimal problem is then solved using the multilinear continuous extension. This extension offers a computationally scalable and approximate continuous relaxation with a performance guarantee. The effectiveness of the extended submodular program is studied and compared to greedy algorithms. We demonstrate the proposed set optimization formulation for sensing node selection on nonlinear natural gas combustion networks.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Modeling and Design Optimization of Looped Water Distribution Networks using MS Excel: Developing the Open-Source X-WHAT Model
Authors:
Marcus Nóbrega Gomes Jr.,
Igor Matheus Benites,
Salma M. Elsherif,
Ahmad F. Taha,
Marcio H. Giacomoni
Abstract:
Cost-effective water distribution network (WDN) design with acceptable pressure performance is crucial for the management of drinking water in cities. This paper presents a Microsoft Excel tool to model, simulate, and optimize WDNs with looped pipelines under steady-state incompressible flow simulations. Typically, the hardy-cross method is applied using spreadsheet calculations to estimate discha…
▽ More
Cost-effective water distribution network (WDN) design with acceptable pressure performance is crucial for the management of drinking water in cities. This paper presents a Microsoft Excel tool to model, simulate, and optimize WDNs with looped pipelines under steady-state incompressible flow simulations. Typically, the hardy-cross method is applied using spreadsheet calculations to estimate discharges. This method requires mass-conservative initial estimates and requires successive iterations to converge. In this paper, however, we develop an alternative method that uses the built-in solver capabilities of Excel, does not require initial mass-conservative estimation, and is free of flow corrections. The main objective of this paper is to develop an open-source accessible tool for simulating hydraulic networks also adapted for teaching and learning purposes. The governing equations and the mathematical basis for the hydraulic modeling of the system are mathematically described, considering the topology of the network, mass and energy conservation, cost of tank material, foundation, and cost of pumping energy to fill the tank. The use of this tool is encouraged at the undergraduate and graduate engineering levels, as it offers the opportunity to address complex concepts in a comprehensive way using a spreadsheet that does not require coding expertise. Hence, users can debug all cells and understand all equations used in the hydraulic model, as well as modify them. To demonstrate the model capabilities, three practical examples are presented, with the first one solved step by step, and the results are compared with the EPANET and with the results reported in the literature. Using the optimization method presented in this paper, it was possible to achieve a cost reduction of 151,790 USD (9.8% of the total cost) in a network that supplies a 44,416 population.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Structure-Preserving Model Order Reduction for Nonlinear DAE Models of Power Networks
Authors:
Muhammad Nadeem,
Ahmad F. Taha
Abstract:
This paper deals with the joint reduction of dynamic states (internal states of generator, solar, and loads, etc) and algebraic variables (states of the network e.g., voltage and phase angles) of a nonlinear differential-algebraic equation (NDAE) model of power networks. Traditionally, in the current literature of power systemmodel order reduction (MOR), the algebraic constraints are usually negle…
▽ More
This paper deals with the joint reduction of dynamic states (internal states of generator, solar, and loads, etc) and algebraic variables (states of the network e.g., voltage and phase angles) of a nonlinear differential-algebraic equation (NDAE) model of power networks. Traditionally, in the current literature of power systemmodel order reduction (MOR), the algebraic constraints are usually neglected and the power network is commonly modeled via a set of ordinary differential equations (ODEs) instead of NDAEs. Thus, reduction is usually carried out for the dynamic states only and the algebraic variables are kept intact. This leaves a significant part of the system's size and complexity unreduced. This paper addresses this aforementioned limitation, by jointly reducing both dynamic and algebraic variables. As compared to the literature the proposedMOR techniques herein are endowed with the following features: (i) no system linearization is required, (ii) requires no transformation to an equivalent or approximate ODE representation, (iii) guarantee that the reduced order model to be NDAE and thus preserves the differential-algebraic structure of original power system model, and (iv) can seamlessly reduce both dynamic and algebraic variables while maintaining high accuracy. Case studies performed on a 2000-bus power system reveal that the proposedMOR techniques are able to reduce system order while maintaining accuracy
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Stability And Uncertainty Propagation In Power Networks: A Lyapunov-based Approach With Applications To Renewable Resources Allocation
Authors:
Mohamad Kazma,
Ahmad F. Taha
Abstract:
The rapid increase in the integration of intermittent and stochastic renewable energy resources (RER) introduces challenging issues related to power system stability. Interestingly, identifying grid nodes that can best support stochastic loads from RER, has gained recent interest. Methods based on Lyapunov stability are commonly exploited to assess the stability of power networks. These strategies…
▽ More
The rapid increase in the integration of intermittent and stochastic renewable energy resources (RER) introduces challenging issues related to power system stability. Interestingly, identifying grid nodes that can best support stochastic loads from RER, has gained recent interest. Methods based on Lyapunov stability are commonly exploited to assess the stability of power networks. These strategies approach quantifying system stability while considering: (i) simplified reduced order power system models that do not model power flow constraints, or (ii) datadriven methods that are prone to measurement noise and hence can inaccurately depict stochastic loads as system instability. In this paper, while considering a nonlinear differential algebraic equation (NL-DAE) model, we introduce a new method for assessing the impact of uncertain renewable power injections on the stability of power system nodes/buses. The identification of stable nodes informs the operator/utility on how renewables injections affect the stability of the grid. The proposed method is based on optimizing metrics equivalent to the Lyapunov spectrum of exponents; its underlying properties result in a computationally efficient and scalable stable node identification algorithm for renewable energy resources allocation. The proposed method is validated on the IEEE 9-bus and 200-bus networks
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Real-time Regulation of Detention Ponds via Feedback Control: Balancing Flood Mitigation and Water Quality
Authors:
Marcus Nóbrega Gomes Jr,
Ahmad F. Taha,
Luis Miguel C. Rápallo,
Eduardo M. Mendiondo,
Marcio H. Giacomoni
Abstract:
Detention ponds can mitigate flooding and improve water quality by allowing the settlement of pollutants. Typically, they are operated with fully open orifices and weirs (i.e., passive control). Active controls can improve the performance of these systems: orifices can be retrofitted with controlled valves and spillways can have controllable gates. The real-time optimal operation of its hydraulic…
▽ More
Detention ponds can mitigate flooding and improve water quality by allowing the settlement of pollutants. Typically, they are operated with fully open orifices and weirs (i.e., passive control). Active controls can improve the performance of these systems: orifices can be retrofitted with controlled valves and spillways can have controllable gates. The real-time optimal operation of its hydraulic devices can be achieved with techniques such as Model Predictive Control (MPC). A distributed quasi-2D hydrologic-hydrodynamic coupled with a reservoir flood routing model is developed and integrated with an MPC algorithm to estimate the operation of valves and movable gates. The control optimization problem is adapted to switch from a flood-related algorithm focusing on mitigating floods to a heuristic objective function that aims to increase the detention time when no inflow hydrographs are predicted. The case studies show the potential of applying the methods developed in a catchment in Sao Paulo, Brazil. The performance of MPC compared to alternatives with either fully or partially open valves and gates are tested. Comparisons with HEC-RAS 2D indicate volume and peak flow errors of approximately 1.4% and 0.91% for the watershed module. Simulating two consecutive 10-year storms shows that the MPC strategy can achieve peak flow reductions of 79%. In contrast, passive control has nearly half of the performance. A 1-year continuous simulation results show that the passive scenario with 25% of the valves opened can treat 12% more runoff compared to the developed MPC approach, with an average detention time of approximately 6 hours. For the MPC approach, the average detention time is nearly 14 hours indicating that both control techniques can treat similar volumes; however, the proxy water quality for the MPC approach is enhanced due to the longer detention times.
△ Less
Submitted 13 August, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Observability for Nonlinear Systems: Connecting Variational Dynamics, Lyapunov Exponents, and Empirical Gramians
Authors:
Mohamad H. Kazma,
Ahmad F. Taha
Abstract:
Observability quantification is a key problem in dynamic network sciences. While it has been thoroughly studied for linear systems, observability quantification for nonlinear networks is less intuitive and more cumbersome. One common approach to quantify observability for nonlinear systems is via the Empirical Gramian (Empr-Gram) -- a generalized form of the Gramian of linear systems. In this tech…
▽ More
Observability quantification is a key problem in dynamic network sciences. While it has been thoroughly studied for linear systems, observability quantification for nonlinear networks is less intuitive and more cumbersome. One common approach to quantify observability for nonlinear systems is via the Empirical Gramian (Empr-Gram) -- a generalized form of the Gramian of linear systems. In this technical note, we produce three new results. First, we establish that a variational form of nonlinear systems (computed via perturbing initial conditions) yields a so-called Variational Gramian (Var-Gram) that is equivalent to the classic Empr-Gram; the former being easier to compute than the latter. Via Lyapunov exponents derived from Lyapunov's direct method, the technical note's second result derives connections between existing observability measures and Var-Gram. The third result demonstrates the applicability of these new notions for sensor selection/placement in nonlinear systems. Numerical case studies demonstrate these three developments and their merits.
△ Less
Submitted 15 July, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
On the Constrained CAV Platoon Control Problem
Authors:
MirSaleh Bahavarnia,
Junyi Ji,
Ahmad F. Taha,
Daniel B. Work
Abstract:
The main objective of the connected and automated vehicle (CAV) platoon control problem is to regulate CAVs' position while ensuring stability and accounting for vehicle dynamics. Although this problem has been studied in the literature, existing research has some limitations. This paper presents two new theoretical results that address these limitations: (i) the synthesis of unrealistic high-gain…
▽ More
The main objective of the connected and automated vehicle (CAV) platoon control problem is to regulate CAVs' position while ensuring stability and accounting for vehicle dynamics. Although this problem has been studied in the literature, existing research has some limitations. This paper presents two new theoretical results that address these limitations: (i) the synthesis of unrealistic high-gain control parameters due to the lack of a systematic way to incorporate the lower and upper bounds on the control parameters, and (ii) the performance sensitivity to the communication delay due to inaccurate Taylor series approximation. To be more precise, taking advantage of the wellknown Pade approximation, this paper proposes a constrained CAV platoon controller synthesis that (i) systematically incorporates the lower and upper bounds on the control parameters, and (ii) significantly improves the performance sensitivity to the communication delay. The effectiveness of the presented results is verified through conducting extensive numerical simulations. The proposed controller effectively attenuates the stop-and-go disturbance -- a single cycle of deceleration followed by acceleration -- amplification throughout the mixed platoon (consisting of CAVs and human-driven vehicles). Modern transportation systems will benefit from the proposed CAV controls in terms of effective disturbance attenuation as it will potentially reduce collisions.
△ Less
Submitted 21 February, 2024; v1 submitted 24 January, 2024;
originally announced January 2024.
-
Quality-Aware Hydraulic Control in Drinking Water Networks via Controllability Proxies
Authors:
Salma M. Elsherif,
Mohamad H. Kazma,
Ahmad F. Taha
Abstract:
The operation of water distribution networks is a complex procedure aimed at efficiently delivering consumers with adequate water quantity while ensuring its safe quality. An added challenge is the dependency of the water quality dynamics on the system's hydraulics, which influences the performance of the water quality controller. Prior research has addressed either solving the optimum operational…
▽ More
The operation of water distribution networks is a complex procedure aimed at efficiently delivering consumers with adequate water quantity while ensuring its safe quality. An added challenge is the dependency of the water quality dynamics on the system's hydraulics, which influences the performance of the water quality controller. Prior research has addressed either solving the optimum operational hydraulic setting problem or regulating the water quality dynamics as separate problems. Additionally, there have been efforts to couple these two problems and solve one compact problem resulting in trade-offs between the contradictory objectives. In contrast, this paper takes a novel approach by examining the water quality dependency on the hydraulics from a control-theoretic standpoint. More specifically, we explore the influence of accountability for water quality controllability improvement when addressing the pump scheduling problem. We examine its effects on the cumulative cost of the interconnected systems as well as the subsequent performance of the water quality controller. To achieve this, we develop a framework that incorporates different controllability metrics within the operational hydraulic optimization problem; its aim is attaining an adequate level of water quality control across the system. We assess the aforementioned aspects' performance on various scaled networks with a wide range of numerical scenarios.
△ Less
Submitted 15 August, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Learning for System Identification of NDAE-modeled Power Systems
Authors:
Wenjie Mei,
Muhammad Nadeem,
MirSaleh Bahavarnia,
Ahmad F. Taha
Abstract:
System identification through learning approaches is emerging as a promising strategy for understanding and simulating dynamical systems, which nevertheless faces considerable difficulty when confronted with power systems modeled by differential-algebraic equations (DAEs). This paper introduces a neural network (NN) framework for effectively learning and simulating solution trajectories of DAEs. T…
▽ More
System identification through learning approaches is emerging as a promising strategy for understanding and simulating dynamical systems, which nevertheless faces considerable difficulty when confronted with power systems modeled by differential-algebraic equations (DAEs). This paper introduces a neural network (NN) framework for effectively learning and simulating solution trajectories of DAEs. The proposed framework leverages the synergy between Implicit Runge-Kutta (IRK) time-stepping schemes tailored for DAEs and NNs (including a differential NN (DNN)). The framework enforces an NN to cooperate with the algebraic equation of DAEs as hard constraints and is suitable for the identification of the ordinary differential equation (ODE)-modeled dynamic equation of DAEs using an existing penalty-based algorithm. Finally, the paper demonstrates the efficacy and precision of the proposed NN through the identification and simulation of solution trajectories for the considered DAE-modeled power system.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
On Scaling Robust Feedback Control and State Estimation Problems in Power Networks
Authors:
MirSaleh Bahavarnia,
Muhammad Nadeem,
Ahmad F. Taha
Abstract:
Many mainstream robust control/estimation algorithms for power networks are designed using the Lyapunov theory as it provides performance guarantees for linear/nonlinear models of uncertain power networks but comes at the expense of scalability and sensitivity. In particular, Lyapunov-based approaches rely on forming semi-definite programs (SDPs) that are (i) not scalable and (ii) extremely sensit…
▽ More
Many mainstream robust control/estimation algorithms for power networks are designed using the Lyapunov theory as it provides performance guarantees for linear/nonlinear models of uncertain power networks but comes at the expense of scalability and sensitivity. In particular, Lyapunov-based approaches rely on forming semi-definite programs (SDPs) that are (i) not scalable and (ii) extremely sensitive to the choice of the bounding scalar that ensures the strict feasibility of the linear matrix inequalities (LMIs). This paper addresses these two issues by employing a celebrated non-Lyapunov approach (NLA) from the control theory literature. In lieu of linearized models of power grids, we focus on (the more representative) nonlinear differential algebraic equation (DAE) models and showcase the simplicity, scalability, and parameter-resiliency of NLA. For some power systems, the approach is nearly fifty times faster than solving SDPs via standard solvers with almost no impact on the performance. The case studies also demonstrate that NLA can be applied to more realistic scenarios in which (i) only partial state data is available and (ii) sparsity structures are imposed on the feedback gain. The paper also showcases that virtually no degradation in state estimation quality is experienced when applying NLA.
△ Less
Submitted 30 November, 2023; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Robust Feedback Control of Power Systems with Solar Plants and Composite Loads
Authors:
Muhammad Nadeem,
MirSaleh Bahavarnia,
Ahmad F. Taha
Abstract:
Due to the rapid developments in synchronized measurement technologies, there exist enormous opportunities to attenuate disturbances in future power grids with high penetration of renewables and complex load demands. To that end, this paper investigates the effectiveness of new robust feedback controllers for interconnected power systems with advanced power electronics-based models of photovoltaic…
▽ More
Due to the rapid developments in synchronized measurement technologies, there exist enormous opportunities to attenuate disturbances in future power grids with high penetration of renewables and complex load demands. To that end, this paper investigates the effectiveness of new robust feedback controllers for interconnected power systems with advanced power electronics-based models of photovoltaic (PV) power plants, composite load dynamics, and detailed higher-order synchronous generator models. Specifically, we design new, advanced control-theoretic wide-area controllers to improve the transient stability of nonlinear differential-algebraic models. Thorough simulation studies are carried out to assess the performance of the proposed controllers. Several fundamental questions on the proposed controllers' computational complexity and disturbance attenuation performance are raised and addressed. Simulation results demonstrate that with the proposed controllers as a secondary control layer, the overall transient stability and system robustness against load and renewables disturbances/uncertainties can be significantly improved compared to the state-of-the-art.
△ Less
Submitted 1 October, 2023;
originally announced October 2023.
-
On Updating Static Output Feedback Controllers Under State-Space Perturbation
Authors:
MirSaleh Bahavarnia,
Ahmad F. Taha
Abstract:
In this paper, we propose a novel update of a nominal stabilizing static output feedback (SOF) controller for a perturbed linear system. In almost every classical feedback controller design problem, a stabilizing feedback controller is designed given a stabilizable unstable system. In realistic scenarios, the system model is usually imperfect and subject to perturbations. A typical approach to att…
▽ More
In this paper, we propose a novel update of a nominal stabilizing static output feedback (SOF) controller for a perturbed linear system. In almost every classical feedback controller design problem, a stabilizing feedback controller is designed given a stabilizable unstable system. In realistic scenarios, the system model is usually imperfect and subject to perturbations. A typical approach to attenuate the impacts of such perturbations on the system stability is repeating the whole controller design procedure to find an updated stabilizing SOF controller. Such an approach can be inefficient and occasionally infeasible. Using the notion of minimum destabilizing real perturbation (MDRP), we construct a simple norm minimization problem (a least-squares problem) to propose an efficient update of a nominal stabilizing SOF controller that can be applied to various control engineering applications in the case of perturbed scenarios like abrupt changes or inaccurate system models. In particular, considering norm-bounded known or unknown perturbations, this paper presents updated stabilizing SOF controllers and derives sufficient stability conditions. Geometric metrics to quantitatively measure the approach's robustness are defined. Moreover, we characterize the corresponding guaranteed stability regions, and specifically, for the case of norm-bounded unknown perturbations, we propose non-fragility-based robust updated stabilizing SOF controllers. Through extensive numerical simulations, we assess the effectiveness of the theoretical results.
△ Less
Submitted 18 July, 2024; v1 submitted 30 July, 2023;
originally announced July 2023.
-
State-Robust Observability Measures for Sensor Selection in Nonlinear Dynamic Systems
Authors:
Mohamad H. Kazma,
Sebastian A. Nugroho,
Aleksandar Haber,
Ahmad F. Taha
Abstract:
This paper explores the problem of selecting sensor nodes for a general class of nonlinear dynamical networks. In particular, we study the problem by utilizing altered definitions of observability and open-loop lifted observers. The approach is performed by discretizing the system's dynamics using the implicit Runge-Kutta method and by introducing a state-averaged observability measure. The observ…
▽ More
This paper explores the problem of selecting sensor nodes for a general class of nonlinear dynamical networks. In particular, we study the problem by utilizing altered definitions of observability and open-loop lifted observers. The approach is performed by discretizing the system's dynamics using the implicit Runge-Kutta method and by introducing a state-averaged observability measure. The observability measure is computed for a number of perturbed initial states in the vicinity of the system's true initial state. The sensor node selection problem is revealed to retain the submodular and modular properties of the original problem. This allows the problem to be solved efficiently using a greedy algorithm with a guaranteed performance bound while showing an augmented robustness to unknown or uncertain initial conditions. The validity of this approach is numerically demonstrated on a $H_{2}/O_{2}$ combustion reaction network.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
ODE Transformations of Nonlinear DAE Power Systems
Authors:
Mohamad H. Kazma,
Ahmad F. Taha
Abstract:
Dynamic power system models are instrumental in real-time stability, monitoring, and control. Such models are traditionally posed as systems of nonlinear differential algebraic equations (DAEs): the dynamical part models generator transients and the algebraic one captures network power flow. While the literature on control and monitoring for ordinary differential equation (ODE) models of power sys…
▽ More
Dynamic power system models are instrumental in real-time stability, monitoring, and control. Such models are traditionally posed as systems of nonlinear differential algebraic equations (DAEs): the dynamical part models generator transients and the algebraic one captures network power flow. While the literature on control and monitoring for ordinary differential equation (ODE) models of power systems is indeed rich, that on DAE systems is \textit{not}. DAE system theory is less understood in the context of power system dynamics. To that end, this letter presents two new mathematical transformations for nonlinear DAE models that yield nonlinear ODE models whilst retaining the complete nonlinear DAE structure and algebraic variables. Such transformations make (more accurate) power system DAE models more amenable to a host of control and state estimation algorithms designed for ODE dynamical systems. We showcase that the proposed models are effective, simple, and computationally scalable.
△ Less
Submitted 31 January, 2024; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Revisiting the Optimal PMU Placement Problem in Multi-Machine Power Networks
Authors:
Mohamad H. Kazma,
Ahmad F. Taha
Abstract:
To provide real-time visibility of physics-based states, phasor measurement units (PMUs) are deployed throughout power networks. PMU data enable real-time grid monitoring and control -- and are essential in transitioning to smarter grids. Various considerations are taken into account when determining the geographic, optimal PMU placements (OPP). This paper focuses on the control-theoretic, observa…
▽ More
To provide real-time visibility of physics-based states, phasor measurement units (PMUs) are deployed throughout power networks. PMU data enable real-time grid monitoring and control -- and are essential in transitioning to smarter grids. Various considerations are taken into account when determining the geographic, optimal PMU placements (OPP). This paper focuses on the control-theoretic, observability aspect of OPP. A myriad of studies have investigated observability-based formulations to determine the OPP within a transmission network. However, they have mostly adopted a simplified representation of system dynamics, ignored basic algebraic equations that model power flows, disregarded including renewables such as solar and wind, and did not model their uncertainty. Consequently, this paper revisits the observability-based OPP problem by addressing the literature's limitations. A nonlinear differential algebraic representation (NDAE) of the power system is considered. The system is discretized using various discretization approaches while explicitly accounting for uncertainty. A moving horizon estimation approach is explored to reconstruct the joint differential and algebraic initial states of the system, as a gateway to the OPP problem which is then formulated as a computationally tractable integer program (IP). Comprehensive numerical simulations on standard power networks are conducted to validate the different aspects of this approach and test its robustness to various dynamical conditions
△ Less
Submitted 16 July, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
CAV Traffic Control to Mitigate the Impact of Congestion from Bottlenecks: A Linear Quadratic Regulator Approach and Microsimulation Study
Authors:
Suyash C. Vishnoi,
Junyi Ji,
MirSaleh Bahavarnia,
Yuhang Zhang,
Ahmad F. Taha,
Christian G. Claudel,
Daniel B. Work
Abstract:
This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for…
▽ More
This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for penalizing abrupt changes in platoons speeds. The controllers use the Lighthill-Whitham-Richards (LWR) model implemented using an extended cell transmission model (CTM) which considers the capacity drop phenomenon for a realistic representation of traffic in congestion. The impact of various parameters of the proposed controller on the control performance is analyzed. The effectiveness of the proposed traffic control algorithms is tested using a traffic control example and compared with existing proportional-integral (PI)- and model predictive control (MPC)- based controllers from the literature. A case study using the TransModeler traffic microsimulation software is conducted to test the usability of the proposed controller as well as existing controllers in a realistic setting and derive qualitative insights. It is observed that the proposed controller works well in both settings to mitigate the impact of the jam caused by a fixed bottleneck. The computation time required by the controller is also small making it suitable for real-time control.
△ Less
Submitted 3 July, 2023; v1 submitted 17 June, 2023;
originally announced June 2023.
-
Sorta Solving the OPF by Not Solving the OPF: DAE Control Theory and the Price of Realtime Regulation
Authors:
Muhammad Nadeem,
Ahmad F. Taha
Abstract:
This paper presents a new approach to approximate the AC optimal power flow (ACOPF). By eliminating the need to solve the ACOPF every few minutes, the paper showcases how a realtime feedback controller can be utilized in lieu of ACOPF and its variants. By (i) forming the grid dynamics as a system of differential-algebraic equations (DAE) that naturally encode the non-convex OPF power flow constrai…
▽ More
This paper presents a new approach to approximate the AC optimal power flow (ACOPF). By eliminating the need to solve the ACOPF every few minutes, the paper showcases how a realtime feedback controller can be utilized in lieu of ACOPF and its variants. By (i) forming the grid dynamics as a system of differential-algebraic equations (DAE) that naturally encode the non-convex OPF power flow constraints, (ii) utilizing DAELyapunov theory, and (iii) designing a feedback controller that captures realtime uncertainty while being uncertainty-unaware, the presented approach demonstrates promises of obtaining solutions that are close to the OPF ones without needing to solve the OPF. The proposed controller responds in realtime to deviations in renewables generation and loads, guaranteeing improvements in system transient stability, while always yielding approximate solutions of the ACOPF with no constraint violations. As the studied approach herein yields slightly more expensive realtime generator controls, the corresponding price of realtime control and regulation is examined. Cost comparisons with the traditional ACOPF are also showcased -- all via case studies on standard power networks.
△ Less
Submitted 10 June, 2024; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Comprehensive Framework for Controlling Nonlinear Multi-Species Water Quality Dynamics
Authors:
Salma M. Elsherif,
Ahmad F. Taha,
Ahmed A. Abokifa,
Lina Sela
Abstract:
Tracing disinfectant (e.g., chlorine) and contaminants evolution in water networks requires the solution of 1- D advection-reaction (AR) partial differential equations (PDEs). With the absence of analytical solutions in many scenarios, numerical solutions require high-resolution time- and spacediscretizations resulting in large model dimensions. This adds complexity to the water quality control pr…
▽ More
Tracing disinfectant (e.g., chlorine) and contaminants evolution in water networks requires the solution of 1- D advection-reaction (AR) partial differential equations (PDEs). With the absence of analytical solutions in many scenarios, numerical solutions require high-resolution time- and spacediscretizations resulting in large model dimensions. This adds complexity to the water quality control problem. In addition, considering multi-species water quality dynamics rather than the single-species dynamics produces a more accurate description of the reaction dynamics under abnormal hazardous conditions (e.g., contamination events). Yet, these dynamics introduces nonlinear reaction formulation to the model. To that end, solving nonlinear 1-D AR PDEs in real time is critical in achieving monitoring and control goals for various scaled networks with a high computational burden. In this work, we propose a novel comprehensive framework to overcome the large-dimensionality issue by introducing different approaches for applying model order reduction (MOR) algorithms to the nonlinear system followed by applying real-time water quality regulation algorithm that is based on an advanced model to maintain desirable disinfectant levels in water networks under multi-species dynamics. The performance of this framework is validated using rigorous numerical case studies under a wide range of scenarios demonstrating the challenges associated with regulating water quality under such conditions.
△ Less
Submitted 13 July, 2023; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Robust Dynamic State Estimation of Multi-Machine Power Networks with Solar Farms and Dynamics Loads
Authors:
Muhammad Nadeem,
Ahmad F. Taha
Abstract:
Conventional state estimation routines of electrical grids are mainly reliant on dynamic models of fossil fuel-based resources. These models commonly contain differential equations describing synchronous generator models and algebraic equations modeling power flow/balance equations. Fuel-free power systems that are driven by inertia-less renewable energy resources will hence require new models and…
▽ More
Conventional state estimation routines of electrical grids are mainly reliant on dynamic models of fossil fuel-based resources. These models commonly contain differential equations describing synchronous generator models and algebraic equations modeling power flow/balance equations. Fuel-free power systems that are driven by inertia-less renewable energy resources will hence require new models and upgraded estimation routines. To that end, in this paper we propose a robust estimator for an interconnected model of power networks comprised of a comprehensive ninth order synchronous generator model, advanced power electronics-based models for photovoltaic (PV) power plants, constant power loads, constant impedance loads, and motor loads. The presented state estimator design is based on Lyapunov stability criteria for nonlinear differential algebraic equation (DAE) models and is posed as a convex semi-definite optimization problem. Thorough simulations studies have been carried out on IEEE-39 bus test system to showcase the robustness of the proposed estimator against unknown uncertainty from load demand and solar irradiance.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
On Differential Privacy and Traffic State Estimation Problem for Connected Vehicles
Authors:
Suyash C. Vishnoi,
Ahmad F. Taha,
Sebastian A. Nugroho,
Christian G. Claudel
Abstract:
This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ…
▽ More
This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ) model is utilized to model the traffic dynamics. The model is formulated as a nonlinear state-space difference equation. Sensitivity relations are derived for the given data which are then used to formulate a differentially private mechanism which adds a Gaussian noise to the data to make it differentially private. A Moving Horizon Estimation (MHE) approach is implemented for traffic state estimation using a linearized ARZ model. MHE is compared with Kalman Filter variants namely Extended Kalman Filter, Ensemble Kalman Filter and Unscented Kalman Filter. Several research and engineering questions are formulated and analysis is performed to find corresponding answers.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Traffic State Estimation for Connected Vehicles using the Second-Order Aw-Rascle-Zhang Traffic Model
Authors:
Suyash C. Vishnoi,
Sebastian A. Nugroho,
Ahmad F. Taha,
Christian G. Claudel
Abstract:
This paper addresses the problem of traffic state estimation (TSE) in the presence of heterogeneous sensors which include both fixed and moving sensors. Traditional fixed sensors are expensive and cannot be installed throughout the highway. Moving sensors such as Connected Vehicles (CVs) offer a relatively cheap alternative to measure traffic states across the network. Moving forward it is thus im…
▽ More
This paper addresses the problem of traffic state estimation (TSE) in the presence of heterogeneous sensors which include both fixed and moving sensors. Traditional fixed sensors are expensive and cannot be installed throughout the highway. Moving sensors such as Connected Vehicles (CVs) offer a relatively cheap alternative to measure traffic states across the network. Moving forward it is thus important to develop such models that effectively use the data from CVs. One such model is the nonlinear second-order Aw-Rascle-Zhang (ARZ) model which is a realistic traffic model, reliable for TSE and control. A state-space formulation is presented for the ARZ model considering junctions in the formulation which is important to model real highways with ramps. A Moving Horizon Estimation (MHE) implementation is presented for TSE using a linearized ARZ model. Various state-estimation methods used for TSE in the literature along with the presented approach are compared with regard to accuracy and computational tractability with the help of a numerical study using the VISSIM traffic simulation software. The impact of various strategies for querying CV data on the estimation performance is also considered. Several research questions are posed and addressed with a thorough analysis of the results.
△ Less
Submitted 3 July, 2024; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Data-Driven Identification of Dynamic Quality Models in Drinking Water Networks
Authors:
Shen Wang,
Ankush Chakrabarty,
Ahmad F. Taha
Abstract:
Traditional control and monitoring of water quality in drinking water distribution networks (WDN) rely on mostly model- or toolbox-driven approaches, where the network topology and parameters are assumed to be known. In contrast, system identification (SysID) algorithms for generic dynamic system models seek to approximate such models using only input-output data without relying on network paramet…
▽ More
Traditional control and monitoring of water quality in drinking water distribution networks (WDN) rely on mostly model- or toolbox-driven approaches, where the network topology and parameters are assumed to be known. In contrast, system identification (SysID) algorithms for generic dynamic system models seek to approximate such models using only input-output data without relying on network parameters. The objective of this paper is to investigate SysID algorithms for water quality model approximation. This research problem is challenging due to (i) complex water quality and reaction dynamics and (ii) the mismatch between the requirements of SysID algorithms and the properties of water quality dynamics. In this paper, we present the first attempt to identify water quality models in WDNs using only input-output experimental data and classical SysID methods without knowing any WDN parameters. Properties of water quality models are introduced, the ensuing challenges caused by these properties when identifying water quality models are discussed, and remedial solutions are given. Through case studies, we demonstrate the applicability of SysID algorithms, show the corresponding performance in terms of accuracy and computational time, and explore the possible factors impacting water quality model identification.
△ Less
Submitted 23 January, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Dynamic State Estimation of Nonlinear Differential Algebraic Equation Models of Power Networks
Authors:
Muhammad Nadeem,
Sebastian A. Nugroho,
Ahmad F. Taha
Abstract:
This paper investigates the joint problems of dynamic state estimation of algebraic variables (voltage and phase angle) and generator states (rotor angle and frequency) of nonlinear differential algebraic equation (NDAE) power network models, under uncertainty. Traditionally, these two problems have been decoupled due to complexity of handling NDAE models. In particular, this paper offers the firs…
▽ More
This paper investigates the joint problems of dynamic state estimation of algebraic variables (voltage and phase angle) and generator states (rotor angle and frequency) of nonlinear differential algebraic equation (NDAE) power network models, under uncertainty. Traditionally, these two problems have been decoupled due to complexity of handling NDAE models. In particular, this paper offers the first attempt to solve the aforementioned problem in a coupled approach where the algebraic and generator states estimates are simultaneously computed. The proposed estimation algorithm herein is endowed with the following properties: (i) it is fairly simple to implement and based on well-understood Lyapunov theory; (ii) considers various sources of uncertainty from generator control inputs, loads, renewables, process and measurement noise; (iii) models phasor measurement unit installations at arbitrary buses; and (iv) is computationally less intensive than the decoupled approach in the literature.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Flood Risk Mitigation and Valve Control in Stormwater Systems: State-Space Modeling, Control Algorithms, and Case Studies
Authors:
Marcus N. Gomes Junior,
Marcio H. Giacomoni,
Ahmad F. Taha,
Eduardo M. Mendiondo
Abstract:
The increasing access to non-expensive sensors, computing power, and more accurate forecasting of storm events provides unique opportunities to shift flood management practices from static approaches to an optimization-based real-time control (RTC) of urban drainage systems. Recent studies have addressed a plethora of strategies for flood control in stormwater reservoirs; however, advanced control…
▽ More
The increasing access to non-expensive sensors, computing power, and more accurate forecasting of storm events provides unique opportunities to shift flood management practices from static approaches to an optimization-based real-time control (RTC) of urban drainage systems. Recent studies have addressed a plethora of strategies for flood control in stormwater reservoirs; however, advanced control theoretic techniques are not yet fully investigated and applied to these systems. In addition, there is an absence of a coupled integrated control model for systems composed of watersheds, reservoirs, and channels for flood mitigation.
To this end, we develop a novel state-space model of hydrologic and hydrodynamic processes in reservoirs and one-dimensional channels. The model is tested under different types of reservoir control strategies based on real-time measurements (reactive control), and based on predictions of the future behavior of the system (predictive control) using rainfall forecastings. We apply the modeling approach in a system composed by a single watershed, reservoir, and a channel connected in series, respectively, for the San Antonio observed rainfall data. Results indicate that for flood mitigation, the predictive control strategy outperforms the reactive controls not only when applied for synthetic design storm events, but also for a continuous simulation. Moreover, the predictive control strategy requires smaller valve operations, while still guaranteeing efficient hydrological performance. From the results, we recommend the use of the model predictive control strategy to control stormwater systems due to the ability to handle different objective functions, which can be altered according to rainfall forecasting and shift the reservoir operation from flood-based control to strategies focused on increasing detention times, depending on the forecasting.
△ Less
Submitted 8 May, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Control-Theoretic Modeling of Multi-Species Water Quality Dynamics in Drinking Water Networks: Survey, Methods, and Test Cases
Authors:
Salma M. Elsherif,
Shen Wang,
Ahmad F. Taha,
Lina Sela,
Marcio H. Giacomoni,
Ahmed Abokifa
Abstract:
Chlorine is a widely used disinfectant and proxy for water quality (WQ) monitoring in water distribution networks (WDN). Chlorine-based WQ regulation and control aims to maintain pathogen-free water. Chlorine residual evolution within WDN is commonly modeled using the typical single-species decay and reaction dynamics that account for network-wide, spatiotemporal chlorine concentrations only. Prio…
▽ More
Chlorine is a widely used disinfectant and proxy for water quality (WQ) monitoring in water distribution networks (WDN). Chlorine-based WQ regulation and control aims to maintain pathogen-free water. Chlorine residual evolution within WDN is commonly modeled using the typical single-species decay and reaction dynamics that account for network-wide, spatiotemporal chlorine concentrations only. Prior studies have proposed more advanced and accurate descriptions via multi-species dynamics. This paper presents a host of novel state-space, control-theoretic representations of multi-species water quality dynamics. These representations describe decay, reaction, and transport of chlorine and a fictitious reactive substance to reflect realistic complex scenarios in WDN. Such dynamics are simulated over space- and time-discretized grids of the transport partial differential equation and the nonlinear reaction ordinary differential equation. To that end, this paper (i) provides a full description on how to formulate a high fidelity model-driven state-space representation of the multi-species water quality dynamics and (ii) investigates the applicability and performance of different Eulerian-based schemes (Lax-Wendroff, backward Euler, and Crank- Nicolson) and Lagrangian-based schemes (method of characteristics) in contrast with EPANET and its EPANET-MSX extension. Numerical case studies reveal that the Lax-Wendroff scheme and method of characteristics outperform other schemes with reliable results under reasonable assumptions and limitations.
△ Less
Submitted 31 May, 2022; v1 submitted 29 April, 2022;
originally announced April 2022.
-
Where Should Traffic Sensors Be Placed on Highways?
Authors:
Sebastian A. Nugroho,
Suyash C. Vishnoi,
Ahmad F. Taha,
Christian G. Claudel,
Taposh Banerjee
Abstract:
This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors ar…
▽ More
This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors are not installed. The substantial contribution of this paper is the utilization of control-theoretic observability analysis -- jointly with integer programming -- to determine traffic sensor locations based on the nonlinear dynamics and parameters of traffic networks. In particular, the celebrated asymmetric cell transmission model is used to guide the placement strategy jointly with observability analysis of nonlinear dynamic systems through Gramians. Thorough numerical case studies are presented to corroborate the proposed theoretical methods and various computational research questions are posed and addressed. The presented approach can also be extended to other models of traffic dynamics.
△ Less
Submitted 4 May, 2022; v1 submitted 2 October, 2021;
originally announced October 2021.
-
Feedback Stabilization and Output Tracking for Discrete-Time Lipschitz Nonlinear Systems via Iterative Convex Approximations
Authors:
Sebastian A. Nugroho,
Suyash C. Vishnoi,
Ahmad F. Taha,
Christian G. Claudel
Abstract:
The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and conseq…
▽ More
The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and consequently, state feedback design remains less developed. To that end, this paper is dedicated to the problem of full-state feedback controller design for discrete-time Lipschitz nonlinear systems. In addition, we present a simple iterative method for improving the convergence of the closed-loop performance. It is later demonstrated that our approach can be conveniently extended and utilized for output tracking.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Load and Renewable-Following Control of Linearization-Free Differential Algebraic Equation Power System Models
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha
Abstract:
Electromechanical transients in power networks are mostly caused by a mismatch between power consumption and production, causing generators to deviate from the nominal frequency. To that end, feedback control algorithms have been designed to perform frequency and load/renewables-following control. In particular, the literature addressed a plethora of grid- and frequency-control challenges with a f…
▽ More
Electromechanical transients in power networks are mostly caused by a mismatch between power consumption and production, causing generators to deviate from the nominal frequency. To that end, feedback control algorithms have been designed to perform frequency and load/renewables-following control. In particular, the literature addressed a plethora of grid- and frequency-control challenges with a focus on linearized, differential equation models whereby algebraic constraints (i.e., power flows) are eliminated. This is in contrast with the more realistic nonlinear differential algebraic equation (NDAE) models. Yet, as grids are increasingly pushed to their limits via intermittent renewables and varying loads, their physical states risk escaping operating regions due to either a poor prediction or sudden changes in renewables or demands -- deeming a feedback controller based on a linearization point virtually unusable. In lieu of linearized differential equation models, the objective of this paper is to design a simple, purely decentralized, linearization-free, feedback control law for NDAE models of power networks. The aim of such a controller is to primarily stabilize frequency oscillations after a significant, unknown disturbance in renewables or loads. Although the controller design involves advanced NDAE system theory, the controller itself is as simple as a decentralized proportional or linear quadratic regulator in its implementation. Case studies demonstrate that the proposed controller is able to stabilize dynamic and algebraic states under significant disturbances.
△ Less
Submitted 8 February, 2023; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Model Order Reduction for Water Quality Dynamics
Authors:
Shen Wang,
Ahmad F. Taha,
Ankush Chakrabarty,
Lina Sela,
Ahmed Abokifa
Abstract:
A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport dynamics in drinking water distribution networks has been recently proposed. Such representation is a byproduct of space- and time-discretization of the PDE modeling transport dynamics. This results in a large state-space dimension even for small networks with tens of nodes. Although such a st…
▽ More
A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport dynamics in drinking water distribution networks has been recently proposed. Such representation is a byproduct of space- and time-discretization of the PDE modeling transport dynamics. This results in a large state-space dimension even for small networks with tens of nodes. Although such a state-space model provides a model-driven approach to predict water quality dynamics, incorporating it into model-based control algorithms or state estimators for large networks is challenging and at times intractable. To that end, this paper investigates model order reduction (MOR) methods for water quality dynamics with the objective of performing post-reduction feedback control. The presented investigation focuses on reducing state-dimension by orders of magnitude, the stability of the MOR methods, and the application of these methods to model predictive control.
△ Less
Submitted 18 February, 2022; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Towards Understanding Sensor and Control Nodes Selection in Nonlinear Dynamic Systems: Lyapunov Theory Meets Branch-and-Bound
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha
Abstract:
Sensor and actuator selection problems (SASP) are some of the core problems in dynamic systems design and control. These problems correspond to determining the optimal selection of sensors (measurements) or actuators (control nodes) such that certain estimation/control objectives can be achieved. While the literature on SASP is indeed inveterate, the vast majority of the work focuses on linear(ize…
▽ More
Sensor and actuator selection problems (SASP) are some of the core problems in dynamic systems design and control. These problems correspond to determining the optimal selection of sensors (measurements) or actuators (control nodes) such that certain estimation/control objectives can be achieved. While the literature on SASP is indeed inveterate, the vast majority of the work focuses on linear(ized) representation of the network dynamics, resulting in the placements of sensors or actuators (SA) that are valid for confined operating regions. As an alternative, herein we propose a new general framework for addressing SASP in nonlinear dynamic systems (NDS), assuming that the inputs and outputs are linearly coupled with the nonlinear dynamics. This is investigated through (i) classifying and parameterizing the NDS into various nonlinear function sets, (ii) utilizing rich Lyapunov theoretic formulations, and (iii) designing a new customized branch-and-bound (BnB) algorithm that exploits problem structure of the SASP. The newly designed BnB routines are computationally more attractive than the standard one and also directly applicable to solve SASP for linear systems. In contrast with contemporary approaches from the literature, our approach is suitable for finding the optimal SA combination for stable/unstable NDS that ensures stabilization of estimation error and closed-loop dynamics through a simple linear feedback control policy.
△ Less
Submitted 4 May, 2022; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Revisiting the Water Quality Sensor Placement Problem: Optimizing Network Observability and State Estimation Metrics
Authors:
Ahmad F. Taha,
Shen Wang,
Yi Guo,
Tyler H. Summers,
Nikolaos Gatsis,
Marcio H. Giacomoni,
Ahmed A. Abokifa
Abstract:
Real-time water quality (WQ) sensors in water distribution networks (WDN) have the potential to enable network-wide observability of water quality indicators, contamination event detection, and closed-loop feedback control of WQ dynamics. To that end, prior research has investigated a wide range of methods that guide the geographic placement of WQ sensors. These methods assign a metric for fixed s…
▽ More
Real-time water quality (WQ) sensors in water distribution networks (WDN) have the potential to enable network-wide observability of water quality indicators, contamination event detection, and closed-loop feedback control of WQ dynamics. To that end, prior research has investigated a wide range of methods that guide the geographic placement of WQ sensors. These methods assign a metric for fixed sensor placement (SP) followed by \textit{metric-optimization} to obtain optimal SP. These metrics include minimizing intrusion detection time, minimizing the expected population and amount of contaminated water affected by an intrusion event. In contrast to the literature, the objective of this paper is to provide a computational method that considers the overlooked metric of state estimation and network-wide observability of the WQ dynamics. This metric finds the optimal WQ sensor placement that minimizes the state estimation error via the Kalman filter for noisy WQ dynamics -- a metric that quantifies WDN observability. To that end, the state-space dynamics of WQ states for an entire WDN are given and the observability-driven sensor placement algorithm is presented. The algorithm takes into account the time-varying nature of WQ dynamics due to changes in the hydraulic profile -- a collection of hydraulic states including heads (pressures) at nodes and flow rates in links which are caused by a demand profile over a certain period of time. Thorough case studies are given, highlighting key findings, observations, and recommendations for WDN operators. Github codes are included for reproducibility.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
How Effective is Model Predictive Control in Real-Time Water Quality Regulation? State-Space Modeling and Scalable Control
Authors:
Shen Wang,
Ahmad F. Taha,
Ahmed A. Abokifa
Abstract:
Real-time water quality control (WQC) in water distribution networks (WDN), the problem of regulating disinfectant levels, is challenging due to lack of (i) a proper control-oriented modeling considering complicated components (junctions, reservoirs, tanks, pipes, pumps, and valves) for water quality modeling in WDN and (ii) a corresponding scalable control algorithm that performs real-time water…
▽ More
Real-time water quality control (WQC) in water distribution networks (WDN), the problem of regulating disinfectant levels, is challenging due to lack of (i) a proper control-oriented modeling considering complicated components (junctions, reservoirs, tanks, pipes, pumps, and valves) for water quality modeling in WDN and (ii) a corresponding scalable control algorithm that performs real-time water quality regulation. In this paper, we solve the WQC problem by (a) proposing a novel state-space representation of the WQC problem that provides an explicit relationship between inputs (chlorine dosage at booster stations) and states/outputs (chlorine concentrations in the entire network) and (b) designing a highly scalable model predictive control (MPC) algorithm that showcases fast response time and resilience against some sources of uncertainty.
△ Less
Submitted 16 December, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Control Node Selection Algorithm for Nonlinear Dynamic Networks
Authors:
Aleksandar Haber,
Sebastian A. Nugroho,
Patricio Torres,
Ahmad F. Taha
Abstract:
The coupled problems of selecting control nodes and designing control actions for nonlinear network dynamics are fundamental scientific problems with applications in many diverse fields. These problems are thoroughly studied for linear dynamics; however, in spite of a number of open research questions, methods for nonlinear network dynamics are less developed. As observed by various studies, the p…
▽ More
The coupled problems of selecting control nodes and designing control actions for nonlinear network dynamics are fundamental scientific problems with applications in many diverse fields. These problems are thoroughly studied for linear dynamics; however, in spite of a number of open research questions, methods for nonlinear network dynamics are less developed. As observed by various studies, the prevailing graph-based controllability approaches for selecting control nodes might result in significantly suboptimal control performance for nonlinear dynamics. Herein we present a new, intuitive, and simple method for simultaneous control node selection and control sequence design for complex networks with nonlinear dynamics. The method is developed by incorporating the control node selection problem into an open-loop predictive control cost function and by solving the resulting mixed-integer optimization problem using a mesh adaptive direct search method. The developed framework is numerically robust and can deal with stiff networks, networks with non-smooth dynamics, as well as with control and actuator constraints. Good numerical performance of the method is demonstrated by testing it on prototypical Duffing oscillator and associative memory networks. The developed codes that can easily be adapted to models of other complex systems are available online.
△ Less
Submitted 23 August, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
Nonlinear Dynamic Systems Parameterization Using Interval-Based Global Optimization: Computing Lipschitz Constants and Beyond
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
and Vu Hoang
Abstract:
Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant s…
▽ More
Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant scalars or matrices bounding the NDS' nonlinearities. These constants (i) depend on the NDS' operating region, topology, and parameters, and (ii) are utilized to synthesize observer/controller gains. Unfortunately, there is a near-complete absence of algorithms to compute such bounding constants. In this paper, we develop analytical then computational methods to compute such constants. First, for every function set classification, we derive analytical expressions for these bounding constants through global maximization formulations. Second, we utilize a derivative-free, interval-based global maximization algorithm based on branch-and-bound framework to numerically obtain the bounding constants. Third, we showcase the effectiveness of our approaches to compute the corresponding parameters on some NDS such as highway traffic networks and synchronous generator models.
△ Less
Submitted 4 May, 2022; v1 submitted 25 April, 2020;
originally announced April 2020.
-
Computing Lipschitz Constants for Hydraulic Models of Water Distribution Networks
Authors:
Ramsey Shadfan,
Shen Wang,
Sebastian A. Nugroho,
Fengxin Chen,
Ahmad F. Taha
Abstract:
Drinking water distribution networks (WDN) are large-scale, dynamic systems spanning large geographic areas. Water networks include various components such as junctions, reservoirs, tanks, pipes, pumps, and valves. Hydraulic models for these components depicting mass and energy balance form nonlinear algebraic differential equations (NDAE). While control theoretic studies have been thoroughly expl…
▽ More
Drinking water distribution networks (WDN) are large-scale, dynamic systems spanning large geographic areas. Water networks include various components such as junctions, reservoirs, tanks, pipes, pumps, and valves. Hydraulic models for these components depicting mass and energy balance form nonlinear algebraic differential equations (NDAE). While control theoretic studies have been thoroughly explored for other complex infrastructure such as power and transportation systems, little is understood or even investigated for feedback control and state estimation problems for the NDAE models of WDN. The objective of this letter is to showcase a complete NDAE model of WDN followed by computing Lipschitz constants of the vector-valued nonlinearity in that model. The computation of Lipschitz constants of hydraulic models is crucial as it paves the way to apply a plethora of control-theoretic studies for water system applications. In particular, the computation of Lipschitz constant is explored through closed-form, analytical expressions as well as via numerical methods. Case studies reveal how such computations fare against each other for various water networks.
△ Less
Submitted 4 March, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Asymmetric Cell Transmission Model-Based, Ramp-Connected Robust Traffic Density Estimation under Bounded Disturbances
Authors:
Suyash C. Vishnoi,
Sebastian A. Nugroho,
Ahmad F. Taha,
Christian Claudel,
Taposh Banerjee
Abstract:
In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a…
▽ More
In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a traffic model for stretched highway having multiple ramps built based on asymmetric cell transmission model (ACTM). Second, based on the assumption that the encompassed nonlinearity of the ACTM is Lipschitz, a robust dynamic observer framework for performing traffic density estimation is proposed. Numerical test results show that the observer yields a sufficient performance in estimating traffic densities having noisy measurements, while being computationally faster the Unscented Kalman Filter in performing real-time estimation.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
New Insights on One-Sided Lipschitz and Quadratically Inner-Bounded Nonlinear Dynamic Systems
Authors:
Sebastian A. Nugroho,
Vu Hoang,
Maria Radosz,
Shen Wang,
Ahmad F. Taha
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 inequa…
▽ More
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.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Probabilistic State Estimation in Water Networks
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Lina Sela,
Marcio Giacomoni
Abstract:
State estimation in water distribution networks (WDN), the problem of estimating all unknown network heads and flows given select measurements, is challenging due to the nonconvexity of hydraulic models and significant uncertainty from water demands, network parameters, and measurements. To this end, a probabilistic modeling for state estimation (PSE) in WDNs is proposed. After linearizing the non…
▽ More
State estimation in water distribution networks (WDN), the problem of estimating all unknown network heads and flows given select measurements, is challenging due to the nonconvexity of hydraulic models and significant uncertainty from water demands, network parameters, and measurements. To this end, a probabilistic modeling for state estimation (PSE) in WDNs is proposed. After linearizing the nonlinear hydraulic WDN model, the proposed PSE shows that the covariance matrix of unknown system states (unmeasured heads and flows) can be linearly expressed by the covariance matrix of three uncertainty sources (i.e., measurement noise, network parameters, and water demands). Instead of providing deterministic results for unknown states, the proposed PSE approach (i) regards the system states and uncertainty sources as random variables and yields variances of individual unknown states, (ii) considers thorough modeling of various types of valves and measurement scenarios in WDNs, and (iii) is also useful for uncertainty quantification, extended period simulations, and confidence limit analysis. The effectiveness and scalability of the proposed approach is tested using several WDN case studies.
△ Less
Submitted 10 March, 2021; v1 submitted 3 February, 2020;
originally announced February 2020.
-
A New Derivative-Free Linear Approximation for Solving the Network Water Flow Problem with Convergence Guarantees
Authors:
Shen Wang,
Ahmad F. Taha,
Lina Sela,
Marcio Giacomoni,
Nikolaos Gatsis
Abstract:
Addressing challenges in urban water infrastructure systems including aging infrastructure, supply uncertainty, extreme events, and security threats, depend highly on water distribution networks modeling emphasizing the importance of realistic assumptions, modeling complexities, and scalable solutions. In this study, we propose a derivative-free, linear approximation for solving the network water…
▽ More
Addressing challenges in urban water infrastructure systems including aging infrastructure, supply uncertainty, extreme events, and security threats, depend highly on water distribution networks modeling emphasizing the importance of realistic assumptions, modeling complexities, and scalable solutions. In this study, we propose a derivative-free, linear approximation for solving the network water flow problem (WFP). The proposed approach takes advantage of the special form of the nonlinear head loss equations and, after the transformation of variables and constraints, the WFP reduces to a linear optimization problem that can be efficiently solved by modern linear solvers. Ultimately, the proposed approach amounts to solving a series of linear optimization problems. We demonstrate the proposed approach through several case studies and show that the approach can model arbitrary network topologies and various types of valves and pumps, thus providing modeling flexibility. Under mild conditions, we show that the proposed linear approximation converges. We provide sensitivity analysis and discuss in detail the current limitations of our approach and suggest solutions to overcome these. All the codes, tested networks, and results are freely available on Github for research reproducibility.
△ Less
Submitted 1 February, 2020;
originally announced February 2020.
-
Sensor Placement Strategies for Some Classes of Nonlinear Dynamic Systems via Lyapunov Theory
Authors:
Sebastian Nugroho,
Ahmad F. Taha
Abstract:
In this paper, the problem of placing sensors for some classes of nonlinear dynamic systems (NDS) is investigated. In conjunction with mixed-integer programming, classical Lyapunov-based arguments are used to find the minimal sensor configuration such that the NDS internal states can be observed while still optimizing some estimation metrics. The paper's approach is based on two phases. The first…
▽ More
In this paper, the problem of placing sensors for some classes of nonlinear dynamic systems (NDS) is investigated. In conjunction with mixed-integer programming, classical Lyapunov-based arguments are used to find the minimal sensor configuration such that the NDS internal states can be observed while still optimizing some estimation metrics. The paper's approach is based on two phases. The first phase assumes that the encompassed nonlinearities belong to one of the following function set classifications: bounded Jacobian, Lipschitz continuous, one-sided Lipschitz, or quadratically inner-bounded. To parameterize these classifications, two approaches based on stochastic point-based and interval-based optimization methods are explored. Given the parameterization, the second phase formulates the sensor placement problem for various NDS classes through mixed-integer convex programming. The theoretical optimality of the sensor placement alongside a state estimator design are then given. Numerical tests on traffic network models showcase that the proposed approach yields sensor placements that are consistent with conventional wisdom in traffic theory.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
Robust Dynamic State Estimation of Synchronous Machines with Asymptotic State Estimation Error Performance Guarantees
Authors:
Sebastian Nugroho,
Ahmad F. Taha,
Junjian Qi
Abstract:
A robust observer for performing power system dynamic state estimation (DSE) of a synchronous generator is proposed. The observer is developed using the concept of $\mathcal{L}_{\infty}$ stability for uncertain, nonlinear dynamic generator models. We use this concept to (i) design a simple, scalable, and robust dynamic state estimator and (ii) obtain a performance guarantee on the state estimation…
▽ More
A robust observer for performing power system dynamic state estimation (DSE) of a synchronous generator is proposed. The observer is developed using the concept of $\mathcal{L}_{\infty}$ stability for uncertain, nonlinear dynamic generator models. We use this concept to (i) design a simple, scalable, and robust dynamic state estimator and (ii) obtain a performance guarantee on the state estimation error norm relative to the magnitude of uncertainty from unknown generator inputs, and process and measurement noises. Theoretical methods to obtain upper and lower bounds on the estimation error are also provided. Numerical tests validate the performance of the $\mathcal{L}_{\infty}$-based estimator in performing DSE under various scenarios. The case studies reveal that the derived theoretical bounds are valid for a variety of case studies and operating conditions, while yielding better performance than existing power system DSE methods.
△ Less
Submitted 17 February, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
State Estimation in Water Distribution Networks through a New Successive Linear Approximation
Authors:
Shen Wang,
Ahmad F. Taha,
Lina Sela,
Nikolaos Gatsis,
Marcio H. Giacomoni
Abstract:
State estimation (SE) of water distribution networks (WDNs) is difficult to solve due to nonlinearity/nonconvexity of water flow models, uncertainties from parameters and demands, lack of redundancy of measurements, and inaccurate flow and pressure measurements. This paper proposes a new, scalable successive linear approximation to solve the SE problem in WDNs. The approach amounts to solving eith…
▽ More
State estimation (SE) of water distribution networks (WDNs) is difficult to solve due to nonlinearity/nonconvexity of water flow models, uncertainties from parameters and demands, lack of redundancy of measurements, and inaccurate flow and pressure measurements. This paper proposes a new, scalable successive linear approximation to solve the SE problem in WDNs. The approach amounts to solving either a sequence of linear or quadratic programs---depending on the operators' objectives. The proposed successive linear approximation offers a seamless way of dealing with valve/pump model nonconvexities, is different than a first order Taylor series linearization, and can incorporate with robust uncertainty modeling. Two simple testcases are adopted to illustrate the effectiveness of proposed approach using head measurements at select nodes.
△ Less
Submitted 26 April, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Receding Horizon Control for Drinking Water Networks: The Case for Geometric Programming
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Marcio Giacomoni
Abstract:
Optimal, network-driven control of Water Distribution Networks (WDN) is very difficult: valve and pump models form non-trivial, combinatorial logic; hydraulic models are nonconvex; water demand patterns are uncertain; and WDN are naturally large-scale. Prior research on control of WDN addressed major research challenges, yet either (i) adopted simplified hydraulic models, WDN topologies, and rudim…
▽ More
Optimal, network-driven control of Water Distribution Networks (WDN) is very difficult: valve and pump models form non-trivial, combinatorial logic; hydraulic models are nonconvex; water demand patterns are uncertain; and WDN are naturally large-scale. Prior research on control of WDN addressed major research challenges, yet either (i) adopted simplified hydraulic models, WDN topologies, and rudimentary valve/pump modeling or (ii) used mixed-integer, nonconvex optimization to solve WDN control problems.
The objective of this paper is to develop tractable computational algorithms to manage WDN operation, while considering arbitrary topology, flow direction, an abundance of valve types, control objectives, hydraulic models, and operational constraints---all while only using convex, continuous optimization. Specifically, we propose new Geometric Programming (GP)-based Model Predictive Control (MPC) algorithms, designed to solve the water flow equations and obtain WDN controls, i.e., pump/valve schedules alongside heads and flows. The proposed approach amounts to solving a series of convex optimization problems that graciously scale to large networks. The proposed approach is tested using a 126-node network with many valves and pumps and shown to outperform traditional, rule-based control. The developed GP-based MPC algorithms, as well as the numerical test results are all included on Github.
△ Less
Submitted 28 December, 2019; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Tuning-Free, Low Memory Robust Estimator to Mitigate GPS Spoofing Attacks
Authors:
Junhwan Lee,
Ahmad F. Taha,
Nikolaos Gatsis,
David Akopian
Abstract:
The operation of critical infrastructures such as the electrical power grid, cellphone towers, and financial institutions relies on precise timing provided by stationary GPS receivers. These GPS devices are vulnerable to a type of spoofing called Time Synchronization Attack (TSA), whose objective is to maliciously alter the timing provided by the GPS receiver. The objective of this paper is to des…
▽ More
The operation of critical infrastructures such as the electrical power grid, cellphone towers, and financial institutions relies on precise timing provided by stationary GPS receivers. These GPS devices are vulnerable to a type of spoofing called Time Synchronization Attack (TSA), whose objective is to maliciously alter the timing provided by the GPS receiver. The objective of this paper is to design a tuning-free, low memory robust estimator to mitigate such spoofing attacks. The contribution is that the proposed method dispenses with several limitations found in the existing state-of-the-art methods in the literature that require parameter tuning, availability of the statistical distributions of noise, real-time optimization, or heavy computations. Specifically, we (i) utilize an observer design for linear systems under unknown inputs, (ii) adjust it to include a state-correction algorithm, (iii) design a realistic experimental setup with real GPS data and sensible spoofing attacks, and (iv) showcase how the proposed tuning-free, low memory robust estimator can combat TSAs. Numerical tests with real GPS data demonstrate that accurate time can be provided to the user under various attack conditions.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
Geometric Programming-Based Control for Nonlinear, DAE-Constrained Water Distribution Networks
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Marcio Giacomoni
Abstract:
Control of water distribution networks (WDNs) can be represented by an optimization problem with hydraulic models describing the nonlinear relationship between head loss, water flow, and demand. The problem is difficult to solve due to the non-convexity in the equations governing water flow. Previous methods used to obtain WDN controls (i.e., operational schedules for pumps and valves) have adopte…
▽ More
Control of water distribution networks (WDNs) can be represented by an optimization problem with hydraulic models describing the nonlinear relationship between head loss, water flow, and demand. The problem is difficult to solve due to the non-convexity in the equations governing water flow. Previous methods used to obtain WDN controls (i.e., operational schedules for pumps and valves) have adopted simplified hydraulic models. One common assumption found in the literature is the modification of WDN topology to exclude loops and assume a known water flow direction. In this paper, we present a new geometric programming-based model predictive control approach, designed to solve the water flow equations and obtain WDN controls. The paper considers the nonlinear difference algebraic equation (DAE) form of the WDN dynamics, and the GP approach amounts to solving a series of convex optimization problems and requires neither the knowledge of water flow direction nor does it restrict the water network topology. A case study is presented to illustrate the performance of the proposed method.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Characterizing the Nonlinearity of Power System Generator Models
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Junjian Qi
Abstract:
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…
▽ More
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 state-space. 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.
△ Less
Submitted 18 June, 2019; v1 submitted 15 February, 2019;
originally announced February 2019.
-
Energy Crowdsourcing and Peer-to-Peer Energy Trading in Blockchain-Enabled Smart Grids
Authors:
Shen Wang,
Ahmad F. Taha,
Jianhui Wang,
Karla Kvaternik,
Adam Hahn
Abstract:
The power grid is rapidly transforming, and while recent grid innovations increased the utilization of advanced control methods, the next-generation grid demands technologies that enable the integration of distributed energy resources (DERs)---and consumers that both seamlessly buy and sell electricity. This paper develops an optimization model and blockchain-based architecture to manage the opera…
▽ More
The power grid is rapidly transforming, and while recent grid innovations increased the utilization of advanced control methods, the next-generation grid demands technologies that enable the integration of distributed energy resources (DERs)---and consumers that both seamlessly buy and sell electricity. This paper develops an optimization model and blockchain-based architecture to manage the operation of crowdsourced energy systems (CES), with peer-to-peer (P2P) energy trading transactions. An operational model of CESs in distribution networks is presented considering various types of energy trading transactions and crowdsourcees. Then, a two-phase operation algorithm is presented: Phase I focuses on the day-ahead scheduling of generation and controllable DERs, whereas Phase II is developed for hour-ahead or real-time operation of distribution networks. The developed approach supports seamless P2P energy trading between individual prosumers and/or the utility. The presented operational model can also be used to operate islanded microgrids. The CES framework and the operation algorithm are then prototyped through an efficient blockchain implementation, namely the IBM Hyperledger Fabric. This implementation allows the system operator to manage the network users to seamlessly trade energy. Case studies and prototype illustration are provided.
△ Less
Submitted 10 May, 2019; v1 submitted 3 January, 2019;
originally announced January 2019.
-
A Control-Theoretic Approach for Scalable and Robust Traffic Density Estimation using Convex Optimization
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Christian Claudel
Abstract:
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 con…
▽ More
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.
△ Less
Submitted 8 November, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Algorithms for Joint Sensor and Control Nodes Selection in Dynamic Networks
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Nikolaos Gatsis,
Tyler H. Summers,
Ram Krishnan
Abstract:
The problem of placing or selecting sensors and control nodes plays a pivotal role in the operation of dynamic networks. This paper proposes optimal algorithms and heuristics to solve the simultaneous sensor and actuator selection problem in linear dynamic networks. In particular, a sufficiency condition of static output feedback stabilizability is used to obtain the minimal set of sensors and con…
▽ More
The problem of placing or selecting sensors and control nodes plays a pivotal role in the operation of dynamic networks. This paper proposes optimal algorithms and heuristics to solve the simultaneous sensor and actuator selection problem in linear dynamic networks. In particular, a sufficiency condition of static output feedback stabilizability is used to obtain the minimal set of sensors and control nodes needed to stabilize an unstable network. We show the joint sensor/actuator selection and output feedback control can be written as a mixed-integer nonconvex problem. To solve this nonconvex combinatorial problem, three methods based on (1) mixed-integer nonlinear programming, (2) binary search algorithms, and (3) simple heuristics are proposed. The first method yields optimal solutions to the selection problem---given that some constants are appropriately selected. The second method requires a database of binary sensor/actuator combinations, returns optimal solutions, and necessitates no tuning parameters. The third approach is a heuristic that yields suboptimal solutions but is computationally attractive. The theoretical properties of these methods are discussed and numerical tests on dynamic networks showcase the trade-off between optimality and computational time.
△ Less
Submitted 7 March, 2019; v1 submitted 28 November, 2018;
originally announced November 2018.