Robust Controller for Delays and Packet Dropout Avoidance in Solar-Power Wireless Network

Solar Wireless Networked Control Systems (SWNCS) are a style of distributed control systems where sensors, actuators, and controllers are interconnected via a wireless communication network. This system setup has the benefit of low cost, flexibility, low weight, no wiring and simplicity of system diagnoses and maintenance. However, it also unavoidably calls some wireless network time delays and packet dropout into the design procedure. Solar lighting system offers a clean environment, therefore able to continue for a long period. SWNCS also offers multi Service infrastructure solution for both developed and undeveloped countries. The system provides wireless controller lighting, wireless communications network (WI-FI/WIMAX), CCTV surveillance, and wireless sensor for weather measurement which are all powered by solar energy

Effects of Delay on the Functionality of Large-scale Networks

Networked systems are common across engineering and the physical sciences. Examples include the Internet, coordinated motion of multi-agent systems, synchronization phenomena in nature etc. Their robust functionality is important to ensure smooth operation in the presence of uncertainty and unmodelled dynamics. Many such networked systems can be viewed under a unified optimization framework and several approaches to assess their nominal behaviour have been developed. In this paper, we consider what effect multiple, non-commensurate (heterogeneous) communication delays can have on the functionality of large-scale networked systems with nonlinear dynamics. We show that for some networked systems, the structure of the delayed dynamics allows functionality to be retained for arbitrary communication delays, even for switching topologies under certain connectivity conditions; whereas in other cases the loop gains have to be compensated for by the delay size, in order to render functionality delay-independent for arbitrary network sizes. Consensus reaching in multi-agent systems and stability of network congestion control for the Internet are used as examples. The differences and similarities of the two cases are explained in detail, and the application of the methodology to other technological and physical networks is discussed

Gossip and Distributed Kalman Filtering: Weak Consensus under Weak Detectability

The paper presents the gossip interactive Kalman filter (GIKF) for distributed Kalman filtering for networked systems and sensor networks, where inter-sensor communication and observations occur at the same time-scale. The communication among sensors is random; each sensor occasionally exchanges its filtering state information with a neighbor depending on the availability of the appropriate network link. We show that under a weak distributed detectability condition: 1. the GIKF error process remains stochastically bounded, irrespective of the instability properties of the random process dynamics; and 2. the network achieves \emph{weak consensus}, i.e., the conditional estimation error covariance at a (uniformly) randomly selected sensor converges in distribution to a unique invariant measure on the space of positive semi-definite matrices (independent of the initial state.) To prove these results, we interpret the filtered states (estimates and error covariances) at each node in the GIKF as stochastic particles with local interactions. We analyze the asymptotic properties of the error process by studying as a random dynamical system the associated switched (random) Riccati equation, the switching being dictated by a non-stationary Markov chain on the network graph.Comment: Submitted to the IEEE Transactions, 30 pages

Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems

Energy constraint long-range wireless sensor/ actuator based solutions are theoretically the perfect choice to support the next generation of city-scale cyber-physical systems. Traditional systems adopt periodic control which increases network congestion and actuations while burdens the energy consumption. Recent control theory studies overcome these problems by introducing aperiodic strategies, such as event trigger control. In spite of the potential savings, these strategies assume actuator continuous listening while ignoring the sensing energy costs. In this paper, we fill this gap, by enabling sensing and actuator listening duty-cycling and proposing two innovative MAC protocols for three decentralized event trigger contro l approaches. A laboratory experimental testbed, which emulates a smart water network, was modelled and extended to evaluate the impact of system parameters and the performance of each approach. Experimental results reveal the predominance of the decentralized event-triggered control against the classic periodic control either in terms of communication or actuation by promising significant system lifetime extension

Distributed control of deregulated electrical power networks

A prerequisite for reliable operation of electrical power networks is that supply and demand are balanced at all time, as efficient ways for storing large amounts of electrical energy are scarce. Balancing is challenging, however, due to the power system's dimensions and complexity, the low controllability and predictability of demand, and due to strict physical and security limitations, such as finitely fast generator dynamics and finite transmission-line capacities. The need for efficient and secure balancing arrangements is growing stronger with the increasing integration of distributed generation (DG), the ongoing deregulation of production and consumption of electrical energy, and thus, also the provision of many of the ancillary services that are essential for network stability. DG is mostly based on renewable, intermittent sources such as wind and sun, and consequently, it is associated with a much larger uncertainty in supply than conventional, centralized generation. Moreover, with the emergence of deregulated energy markets as core operational mechanism, the prime goal of power system operation is shifted from centralized minimization of costs to the maximization of individual profit by a large number of competing, autonomous market agents. The main objective of this thesis is to investigate the control-technical possibilities for ensuring efficient, reliable and stable operation of deregulated and badly predictable electrical power networks. Its contributions cover aspects of power system operation on a time scale ranging from day-ahead trading of electrical energy to second-based load-frequency control. As a first contribution, we identify the maximization of security of supply and market efficiency as the two main, yet conflicting objectives of power system operation. Special attention is paid to congestion management, which is an aspect of power system operation where the tension between reliability and efficiency is particularly apparent. More specifically, the differences between locational pricing and cost-based congestion redispatch are analyzed, followed by an assessment of their effects on grid operation. Next, we demonstrate that the current synchronous, energy-based market and incentive system does not necessarily motivate producers to exchange power profiles with the electricity grid that contribute to network stability and security of supply. The thesis provides an alternative production scheduling concept as a means to overcome this issue, which relies on standard market arrangements, but settles energy transactions in an asynchronous way. Theoretical analysis and simulation results illustrate that by adopting this method, scheduling efficiency is improved and the strain on balancing reserves can be reduced considerably. A major part of this thesis is dedicated to real-time, i.e., closed-loop, balancing or load-frequency control. With the increasing share of badly predictable DG, there is a growing need for efficient balancing mechanisms that can account for generator and transmission constraints during the operational day. A promising candidate solution is model predictive control (MPC). Because the large dimensions and complexity of electrical power networks hamper a standard, centralized implementation of MPC, we evaluate a number of scalable alternatives, in which the overall control action is computed by a set of local predictive control laws, instead. The extent of inter-controller communication is shown to be positively correlated with prediction accuracy and, thus, attainable closed-loop performance. Iterative, system-wide communication/coordination is usually not feasible for large networks, however, and consequently, Pareto-optimal performance and coupled-constraint handling are currently out of reach. This also hampers the application of standard cost-based stabilization schemes, in which closed-loop stability is attained via monotonic convergence of a single, optimal system-wide performance cost. Motivated by the observations regarding non-centralized MPC, the focus is then shifted to distributed control methods for networks of interconnected dynamical systems, with power systems as particular field of application, that can ensure stability based on local model and state information only. First, we propose a non-centralized, constraint-based stabilization scheme, in which the set of stabilizing control actions is specified via separable convergence conditions for a collection of a-priori synthesized structured max-control Lyapunov functions (max-CLFs). The method is shown to be non-conservative, in the sense that non-monotonic convergence of the structured functions along closed-loop trajectories is allowed, whereas their construction establishes the existence of a control Lyapunov function, and thus, stability, for the full, interconnected dynamics. Then, an alternative method is provided in which also the demand for a monotonically converging full-system CLF is relaxed while retaining the stability certificate. The conditions are embedded in an almost-decentralized Lyapunov-based MPC scheme, in which the local control laws rely on neighbor-to-neighbor communication only. Secondly, a generalized theorem and example system are provided to show that stabilization methods that rely on the off-line synthesis of fixed quadratic storage functions (SFs) fail for even the simplest of linear, time-invariant networks, if they contain one or more subsystems that are not stable under decoupled operation. This may also impede the application of max-CLF control. As key contribution of this thesis, to solve this issue, we endow the storage functions with a finite set of state-dependent parameters. Max-type convergence conditions are employed to construct a Lyapunov function for the full network, whereas monotonic convergence of the individual SFs is not required. The merit of the provided approach is that the storage functions can be constructed during operation, i.e., along a closed-loop trajectory, thus removing the impediment of centralized, off-line LF synthesis associated with fixed-parameter SFs. It is shown that parameterized-SF synthesis conditions can be efficiently exploited to obtain a scalable, trajectory-dependent control scheme that relies on non-iterative neighbor-to-neighbor communication only. For input-affine network dynamics and quadratic storage functions, the procedure can be implemented by solving a single semi-definite program per node and sampling instant, in a receding horizon fashion. Moreover, by interpolating a collection of so-obtained input trajectories, a low-complexity explicit control law for linear, time-invariant systems is obtained that extends the trajectory-specific convergence property to a much stronger guarantee of closed-loop asymptotic stability for a particular set of initial conditions. Finally, we consider the application of max-CLF and parameterized SFs for real-time balancing in multimachine electrical power networks. Given that generators are operated by competitive, profit-driven market agents, the stabilization scheme is extended with the competitive optimization of a set of arbitrarily chosen, local performance cost functions over a finite, receding prediction horizon. The suitability of the distributed Lyapunov-based predictive control and parameterized storage function algorithms is evaluated by simulating them in closed-loop with the 7-machine CIGRÉ benchmark system. The thesis concludes by summarizing the main contributions, followed by ideas for future research

From distributed coordination to field calculus and aggregate computing

open6siThis work has been partially supported by: EU Horizon 2020 project HyVar (www.hyvar-project .eu), GA No. 644298; ICT COST Action IC1402 ARVI (www.cost -arvi .eu); Ateneo/CSP D16D15000360005 project RunVar (runvar-project.di.unito.it).Aggregate computing is an emerging approach to the engineering of complex coordination for distributed systems, based on viewing system interactions in terms of information propagating through collectives of devices, rather than in terms of individual devices and their interaction with their peers and environment. The foundation of this approach is the distillation of a number of prior approaches, both formal and pragmatic, proposed under the umbrella of field-based coordination, and culminating into the field calculus, a universal functional programming model for the specification and composition of collective behaviours with equivalent local and aggregate semantics. This foundation has been elaborated into a layered approach to engineering coordination of complex distributed systems, building up to pragmatic applications through intermediate layers encompassing reusable libraries of program components. Furthermore, some of these components are formally shown to satisfy formal properties like self-stabilisation, which transfer to whole application services by functional composition. In this survey, we trace the development and antecedents of field calculus, review the field calculus itself and the current state of aggregate computing theory and practice, and discuss a roadmap of current research directions with implications for the development of a broad range of distributed systems.embargoed_20210910Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, DaniloViroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danil

Workflow-based Fast Data-driven Predictive Control with Disturbance Observer in Cloud-edge Collaborative Architecture

Data-driven predictive control (DPC) has been studied and used in various scenarios, since it could generate the predicted control sequence only relying on the historical input and output data. Recently, based on cloud computing, data-driven predictive cloud control system (DPCCS) has been proposed with the advantage of sufficient computational resources. However, the existing computation mode of DPCCS is centralized. This computation mode could not utilize fully the computing power of cloud computing, of which the structure is distributed. Thus, the computation delay could not been reduced and still affects the control quality. In this paper, a novel cloud-edge collaborative containerised workflow-based DPC system with disturbance observer (DOB) is proposed, to improve the computation efficiency and guarantee the control accuracy. First, a construction method for the DPC workflow is designed, to match the distributed processing environment of cloud computing. But the non-computation overheads of the workflow tasks are relatively high. Therefore, a cloud-edge collaborative control scheme with DOB is designed. The low-weight data could be truncated to reduce the non-computation overheads. Meanwhile, we design an edge DOB to estimate and compensate the uncertainty in cloud workflow processing, and obtain the composite control variable. The UUB stability of the DOB is also proved. Third, to execute the workflow-based DPC controller and evaluate the proposed cloud-edge collaborative control scheme with DOB in the real cloud environment, we design and implement a practical workflow-based cloud control experimental system based on container technology. Finally, a series of evaluations show that, the computation times are decreased by 45.19% and 74.35% for two real-time control examples, respectively, and by at most 85.10% for a high-dimension control example.Comment: 58 pages and 23 figure