Managing NFV using SDN and control theory

Control theory and SDN (Software Defined Networking) are key components for NFV (Network Function Virtualization) deployment. However little has been done to use a control-theoretic approach for SDN and NFV management. In this paper, we describe a use case for NFV management using control theory and SDN. We use the management architecture of RINA (a clean-slate Recursive InterNetwork Architecture) to manage Virtual Network Function (VNF) instances over the GENI testbed. We deploy Snort, an Intrusion Detection System (IDS) as the VNF. Our network topology has source and destination hosts, multiple IDSes, an Open vSwitch (OVS) and an OpenFlow controller. A distributed management application running on RINA measures the state of the VNF instances and communicates this information to a Proportional Integral (PI) controller, which then provides load balancing information to the OpenFlow controller. The latter controller in turn updates traffic flow forwarding rules on the OVS switch, thus balancing load across the VNF instances. This paper demonstrates the benefits of using such a control-theoretic load balancing approach and the RINA management architecture in virtualized environments for NFV management. It also illustrates that GENI can easily support a wide range of SDN and NFV related experiments

Verification and Optimization of a PLC Control Schedule

We report on the use of the SPIN model checker for both the verification of a process control program and the derivation of optimal control schedules. This work was carried out as part of a case study for the EC VHS project (Verification of Hybrid Systems), in which the program for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be designed and verified. The intention of our approach was to see how much could be achieved here using the standard model checking environment of SPIN/Promela. As the symbolic calculations of real-time model checkers can be quite expensive it is interesting to try and exploit the efficiency of established non-real-time model checkers like SPIN in those cases where promising work-arounds seem to exist. In our case we handled the relevant real-time properties of the PLC controller using a time-abstraction technique; for the scheduling we implemented in Promela a so-called variable time advance procedure. For this case study these techniques proved sufficient to verify the design of the controller and derive (time-)optimal schedules with reasonable time and space requirements

Evaluating the Wiimote as a musical controller

The Nintendo Wiimote is growing in popularity with mu-sicians as a controller. This mode of use is an adaptationfrom its intended use as a game controller, and requiresevaluation of its functions in a musical context in orderto understand its possibilities and limits. Drawing on Hu-man Computer Interaction methodology, we assessed thecore musical applications of the Wiimote and designeda usability experiment to test them. 17 participants tookpart, performing musical tasks in four contexts: trigger-ing; precise and expressive continuous control; and ges-ture recognition. Interviews and empirical evidence wereutilised to probe the device’s limitations and its creativestrengths. This study should help potential users to planthe Wiimote’s employment in their projects, and should beuseful as a case study in HCI evaluation of musical con-trollers

Plane geometry and convexity of polynomial stability regions

The set of controllers stabilizing a linear system is generally non-convex in the parameter space. In the case of two-parameter controller design (e.g. PI control or static output feedback with one input and two outputs), we observe however that quite often for benchmark problem instances, the set of stabilizing controllers seems to be convex. In this note we use elementary techniques from real algebraic geometry (resultants and Bezoutian matrices) to explain this phenomenon. As a byproduct, we derive a convex linear matrix inequality (LMI) formulation of two-parameter fixed-order controller design problem, when possible

Simulation of site-specific irrigation control strategies with sparse input data

Crop and irrigation water use efficiencies may be improved by managing irrigation application timing and volumes using physical and agronomic principles. However, the crop water requirement may be spatially variable due to different soil properties and genetic variations in the crop across the field. Adaptive control strategies can be used to locally control water applications in response to in-field temporal and spatial variability with the aim of maximising both crop development and water use efficiency. A simulation framework ‘VARIwise’ has been created to aid the development, evaluation and management of spatially and temporally varied adaptive irrigation control strategies (McCarthy et al., 2010). VARIwise enables alternative control strategies to be simulated with different crop and environmental conditions and at a range of spatial resolutions. An iterative learning controller and model predictive controller have been implemented in VARIwise to improve the irrigation of cotton. The iterative learning control strategy involves using the soil moisture response to the previous irrigation volume to adjust the applied irrigation volume applied at the next irrigation event. For field implementation this controller has low data requirements as only soil moisture data is required after each irrigation event. In contrast, a model predictive controller has high data requirements as measured soil and plant data are required at a high spatial resolution in a field implementation. Model predictive control involves using a calibrated model to determine the irrigation application and/or timing which results in the highest predicted yield or water use efficiency. The implementation of these strategies is described and a case study is presented to demonstrate the operation of the strategies with various levels of data availability. It is concluded that in situations of sparse data, the iterative learning controller performs significantly better than a model predictive controller

Proactive controller assignment schemes in SDN for fast recovery

​© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.A sizeable software defined network with a single controller responsible for all forwarding elements is potentially failure-prone and inadequate for dynamic network loads. To this end, having multiple controllers improves resilience and distributes network control overhead. However, when there is a disruption in the control plane, a rapid and performant controller-switch assignment is critical, which is a challenging technical question. In this work, we propose a proactive switch assignment approach in case of controller failures using a genetic algorithm based heuristic that considers controller load distribution, reassignment cost and probability of failure. Moreover, we compare the performance of our scheme with random and greedy algorithms. Experiment results show that our proposed PREFCP framework has better performance in terms of probability of failure and controller load distributio

Packetized Predictive Control for Rate-Limited Networks via Sparse Representation

We study a networked control architecture for linear time-invariant plants in which an unreliable data-rate limited network is placed between the controller and the plant input. The distinguishing aspect of the situation at hand is that an unreliable data-rate limited network is placed between controller and the plant input. To achieve robustness with respect to dropouts, the controller transmits data packets containing plant input predictions, which minimize a finite horizon cost function. In our formulation, we design sparse packets for rate-limited networks, by adopting an an ell-0 optimization, which can be effectively solved by an orthogonal matching pursuit method. Our formulation ensures asymptotic stability of the control loop in the presence of bounded packet dropouts. Simulation results indicate that the proposed controller provides sparse control packets, thereby giving bit-rate reductions for the case of memoryless scalar coding schemes when compared to the use of, more common, quadratic cost functions, as in linear quadratic (LQ) control.Comment: 9 pages, 7 figures. arXiv admin note: text overlap with arXiv:1307.824

A flow disturbance estimation and rejection strategy for multirotors with round-trip trajectories

This paper presents a round-trip strategy of multirotors subject to unknown flow disturbances. During the outbound flight, the vehicle immediately utilizes the wind disturbance estimations in feedback control, as an attempt to reduce the tracking error. During this phase, the disturbance estimations with respect to the position are also recorded for future use. For the return flight, the disturbances previously collected are then routed through a feedforward controller. The major assumption here is that the disturbances may vary over space, but not over time during the same mission. We demonstrate the effectiveness of this feedforward strategy via experiments with two different types of wind flows; a simple jet flow and a more complex flow. To use as a baseline case, a cascaded PD controller with an additional feedback loop for disturbance estimation was employed for outbound flights. To display our contributions regarding the additional feedforward approach, an additional feedforward correction term obtained via prerecorded data was integrated for the return flight. Compared to the baseline controller, the feedforward controller was observed to produce 43% less RMSE position error at a vehicle ground velocity of 1 m/s with 6 m/s of environmental wind velocity. This feedforward approach also produced 14% less RMSE position error for the complex flows as well