Optimal co-design of control, scheduling and routing in multi-hop control networks

A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. Given a SISO LTI plant, we will address the problem of co-designing a digital controller and the network parameters (scheduling and routing) in order to guarantee stability and maximize a performance metric on the transient response to a step input, with constraints on the control effort, on the output overshoot and on the bandwidth of the communication channel. We show that the above optimization problem is a polynomial optimization problem, which is generally NP-hard. We provide sufficient conditions on the network topology, scheduling and routing such that it is computationally feasible, namely such that it reduces to a convex optimization problem.Comment: 51st IEEE Conference on Decision and Control, 2012. Accepted for publication as regular pape

Space-Time Sampling for Network Observability

Designing sparse sampling strategies is one of the important components in having resilient estimation and control in networked systems as they make network design problems more cost-effective due to their reduced sampling requirements and less fragile to where and when samples are collected. It is shown that under what conditions taking coarse samples from a network will contain the same amount of information as a more finer set of samples. Our goal is to estimate initial condition of linear time-invariant networks using a set of noisy measurements. The observability condition is reformulated as the frame condition, where one can easily trace location and time stamps of each sample. We compare estimation quality of various sampling strategies using estimation measures, which depend on spectrum of the corresponding frame operators. Using properties of the minimal polynomial of the state matrix, deterministic and randomized methods are suggested to construct observability frames. Intrinsic tradeoffs assert that collecting samples from fewer subsystems dictates taking more samples (in average) per subsystem. Three scalable algorithms are developed to generate sparse space-time sampling strategies with explicit error bounds.Comment: Submitted to IEEE TAC (Revised Version

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks

A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We provide necessary and sufficient conditions on the plant dynamics and on the communication protocol configuration such that the Fault Detection and Isolation (FDI) problem of failures and malicious attacks to communication nodes can be solved.Comment: 6 page

Integration of process design and control: A review

There is a large variety of methods in literature for process design and control, which can be classified into two main categories. The methods in the first category have a sequential approach in which, the control system is designed, only after the details of process design are decided. However, when process design is fixed, there is little room left for improving the control performance. Recognizing the interactions between process design and control, the methods in the second category integrate some control aspects into process design. With the aim of providing an exploration map and identifying the potential areas of further contributions, this paper presents a thematic review of the methods for integration of process design and control. The evolution paths of these methods are described and the advantages and disadvantages of each method are explained. The paper concludes with suggestions for future research activities

Information-theoretic approach to the study of control systems

We propose an information-theoretic framework for analyzing control systems based on the close relationship of controllers to communication channels. A communication channel takes an input state and transforms it into an output state. A controller, similarly, takes the initial state of a system to be controlled and transforms it into a target state. In this sense, a controller can be thought of as an actuation channel that acts on inputs to produce desired outputs. In this transformation process, two different control strategies can be adopted: (i) the controller applies an actuation dynamics that is independent of the state of the system to be controlled (open-loop control); or (ii) the controller enacts an actuation dynamics that is based on some information about the state of the controlled system (closed-loop control). Using this communication channel model of control, we provide necessary and sufficient conditions for a system to be perfectly controllable and perfectly observable in terms of information and entropy. In addition, we derive a quantitative trade-off between the amount of information gathered by a closed-loop controller and its relative performance advantage over an open-loop controller in stabilizing a system. This work supplements earlier results [H. Touchette, S. Lloyd, Phys. Rev. Lett. 84, 1156 (2000)] by providing new derivations of the advantage afforded by closed-loop control and by proposing an information-based optimality criterion for control systems. New applications of this approach pertaining to proportional controllers, and the control of chaotic maps are also presented.Comment: 18 pages, 7 eps figure

Modelling & analysis of hybrid dynamic systems using a bond graph approach

Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic systems models, it is frequently desirable to abstract rapidly changing, highly nonlinear behaviour to a discontinuity. Bond graphs lend themselves to systems modelling by being multi-disciplinary and reflecting the physics of the system. One advantage is that they can produce a mathematical model in a form that simulates quickly and efficiently. Hybrid bond graphs are a logical development which could further improve speed and efficiency. A range of hybrid bond graph forms have been proposed which are suitable for either simulation or further analysis, but not both. None have reached common usage. A Hybrid bond graph method is proposed here which is suitable for simulation as well as providing engineering insight through analysis. This new method features a distinction between structural and parametric switching. The controlled junction is used for the former, and gives rise to dynamic causality. A controlled element is developed for the latter. Dynamic causality is unconstrained so as to aid insight, and a new notation is proposed. The junction structure matrix for the hybrid bond graph features Boolean terms to reflect the controlled junctions in the graph structure. This hybrid JSM is used to generate a mixed-Boolean state equation. When storage elements are in dynamic causality, the resulting system equation is implicit. The focus of this thesis is the exploitation of the model. The implicit form enables application of matrix-rank criteria from control theory, and control properties can be seen in the structure and causal assignment. An impulsive mode may occur when storage elements are in dynamic causality, but otherwise there are no energy losses associated with commutation because this method dictates the way discontinuities are abstracted. The main contribution is therefore a Hybrid Bond Graph which reflects the physics of commutating systems and offers engineering insight through the choice of controlled elements and dynamic causality. It generates a unique, implicit, mixed-Boolean system equation, describing all modes of operation. This form is suitable for both simulation and analysis