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

System Level Synthesis

This article surveys the System Level Synthesis framework, which presents a novel perspective on constrained robust and optimal controller synthesis for linear systems. We show how SLS shifts the controller synthesis task from the design of a controller to the design of the entire closed loop system, and highlight the benefits of this approach in terms of scalability and transparency. We emphasize two particular applications of SLS, namely large-scale distributed optimal control and robust control. In the case of distributed control, we show how SLS allows for localized controllers to be computed, extending robust and optimal control methods to large-scale systems under practical and realistic assumptions. In the case of robust control, we show how SLS allows for novel design methodologies that, for the first time, quantify the degradation in performance of a robust controller due to model uncertainty -- such transparency is key in allowing robust control methods to interact, in a principled way, with modern techniques from machine learning and statistical inference. Throughout, we emphasize practical and efficient computational solutions, and demonstrate our methods on easy to understand case studies.Comment: To appear in Annual Reviews in Contro

A virtual actuator approach for the secure control of networked LPV systems under pulse-width modulated DoS attacks

In this paper, we formulate and analyze the problem of secure control in the context of networked linear parameter varying (LPV) systems. We consider an energy-constrained, pulse-width modulated (PWM) jammer, which corrupts the control communication channel by performing a denial-of-service (DoS) attack. In particular, the malicious attacker is able to erase the data sent to one or more actuators. In order to achieve secure control, we propose a virtual actuator technique under the assumption that the behavior of the attacker has been identified. The main advantage brought by this technique is that the existing components in the control system can be maintained without need of retuning them, since the virtual actuator will perform a reconfiguration of the plant, hiding the attack from the controller point of view. Using Lyapunov-based results that take into account the possible behavior of the attacker, design conditions for calculating the virtual actuators gains are obtained. A numerical example is used to illustrate the proposed secure control strategy.Peer ReviewedPostprint (author's final draft

Resource-Aware Design Of Wireless Control Systems

This work is motivated by modern monitoring and control infrastructures appearing in smart homes, urban environments, and industrial plants. These systems are characterized by multiple sensor and actuator devices at different physical locations, communicating wirelessly with each other. Desired monitoring and control performance requires efficient wireless communication, as the more information the sensors convey the more precise actuation becomes. However wireless communication is constrained by the inherent uncertainty of the wireless medium as well as resource limitations at the devices, e.g., limited power resources. The increased number of wireless devices in such environments further necessitates the management of the shared wireless spectrum with direct account of control performance. To address these challenges, the goal of this work is to provide control-aware and resource-aware communication policies. This is first examined in the fundamental problem of allocating transmit power resources for wireless closed loop control. Opportunistic online adaptation of power to plant and wireless channel conditions is shown to be essential in achieving the optimal tradeoff between control performance and power utilization. Optimal structural properties of channel access mechanisms are also considered for the problem of guaranteeing multiple control performance requirements over a shared wireless medium. This includes scheduling mechanisms implemented by central authorities, as well as decentralized mechanisms implemented independently by the wireless devices with emerging wireless interferences. Again the mechanisms exhibit an opportunistic adaptation to varying wireless channel conditions, especially designed to explore the tradeoffs between different communication links and meet control performance requirements. The structural characterization is augmented with tractable optimization algorithms to compute these channel access mechanisms. Finally, as control is naturally a dynamic task that requires a long term planning, appropriate dynamic algorithms adapting to the varying control system states are examined. Besides adapting dynamically, the proposed algorithms provide guarantees about long term control performance and resource utilization by construction

Markov Decision Processes with Applications in Wireless Sensor Networks: A Survey

Wireless sensor networks (WSNs) consist of autonomous and resource-limited devices. The devices cooperate to monitor one or more physical phenomena within an area of interest. WSNs operate as stochastic systems because of randomness in the monitored environments. For long service time and low maintenance cost, WSNs require adaptive and robust methods to address data exchange, topology formulation, resource and power optimization, sensing coverage and object detection, and security challenges. In these problems, sensor nodes are to make optimized decisions from a set of accessible strategies to achieve design goals. This survey reviews numerous applications of the Markov decision process (MDP) framework, a powerful decision-making tool to develop adaptive algorithms and protocols for WSNs. Furthermore, various solution methods are discussed and compared to serve as a guide for using MDPs in WSNs

Networked Predictive Control of Uncertain Constrained Nonlinear Systems: Recursive Feasibility and Input-to-State Stability Analysis

Abstract-In this paper, the robust state feedback stabilization of uncertain discrete-time constrained nonlinear systems in which the loop is closed through a packet-based communication network is addressed. In order to cope with model uncertainty, timevarying transmission delays, and packet dropouts (typically affecting the performances of networked control systems), a robust control scheme combining model predictive control with a network delay compensation strategy is proposed in the context of non-acknowledged UDP-like networks. The contribution of the paper is twofold. First, the issue of guaranteeing the recursive feasibility of the optimization problem associated to the receding horizon control law has been addressed, such that the invariance of the feasible region under the networked closed-loop dynamics can be guaranteed. Secondly, by exploiting a novel characterization of regional Input-to-State Stability in terms of time-varying Lyapunov functions, the networked closed-loop system has been proven to be Input-to-State Stable with respect to bounded perturbations

Stochastic Event-Based Control and Estimation

Digital controllers are traditionally implemented using periodic sampling, computation, and actuation events. As more control systems are implemented to share limited network and CPU bandwidth with other tasks, it is becoming increasingly attractive to use some form of event-based control instead, where precious events are used only when needed. Forms of event-based control have been used in practice for a very long time, but mostly in an ad-hoc way. Though optimal solutions to most event-based control problems are unknown, it should still be viable to compare performance between suggested approaches in a reasonable manner. This thesis investigates an event-based variation on the stochastic linear-quadratic (LQ) control problem, with a fixed cost per control event. The sporadic constraint of an enforced minimum inter-event time is introduced, yielding a mixed continuous-/discrete-time formulation. The quantitative trade-off between event rate and control performance is compared between periodic and sporadic control. Example problems for first-order plants are investigated, for a single control loop and for multiple loops closed over a shared medium. Path constraints are introduced to model and analyze higher-order event-based control systems. This component-based approach to stochastic hybrid systems allows to express continuous- and discrete-time dynamics, state and switching constraints, control laws, and stochastic disturbances in the same model. Sum-of-squares techniques are then used to find bounds on control objectives using convex semidefinite programming. The thesis also considers state estimation for discrete time linear stochastic systems from measurements with convex set uncertainty. The Bayesian observer is considered given log-concave process disturbances and measurement likelihoods. Strong log-concavity is introduced, and it is shown that the observer preserves log-concavity, and propagates strong log-concavity like inverse covariance in a Kalman filter. A recursive state estimator is developed for systems with both stochastic and set-bounded process and measurement noise terms. A time-varying linear filter gain is optimized using convex semidefinite programming and ellipsoidal over-approximation, given a relative weight on the two kinds of error