Optimal Load and Energy Management of Aircraft Microgrids Using Multi-Objective Model Predictive Control

Safety issues related to the electrification of more electric aircraft (MEA) need to be addressed because of the increasing complexity of aircraft electrical power systems and the growing number of safety-critical sub-systems that need to be powered. Managing the energy storage systems and the flexibility in the load-side plays an important role in preserving the system’s safety when facing an energy shortage. This paper presents a system-level centralized operation management strategy based on model predictive control (MPC) for MEA to schedule battery systems and exploit flexibility in the demand-side while satisfying time-varying operational requirements. The proposed online control strategy aims to maintain energy storage (ES) and prolong the battery life cycle, while minimizing load shedding, with fewer switching activities to improve devices lifetime and to avoid unnecessary transients. Using a mixed-integer linear programming (MILP) formulation, different objective functions are proposed to realize the control targets, with soft constraints improving the feasibility of the model. In addition, an evaluation framework is proposed to analyze the effects of various objective functions and the prediction horizon on system performance, which provides the designers and users of MEA and other complex systems with new insights into operation management problem formulation

Robust Model Predictive Control for Signal Temporal Logic Synthesis

Most automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive controllers for cyber-physical systems subject to signal temporal logic (STL) specifications. We build on recent work that encodes STL specifications as mixed integer linear constraints on the variables of a discrete-time model of the system and environment dynamics. To obtain a reactive controller, we present solutions to the worst-case model predictive control (MPC) problem using a suite of mixed integer linear programming techniques. We demonstrate the comparative effectiveness of several existing worst-case MPC techniques, when applied to the problem of control subject to temporal logic specifications; our empirical results emphasize the need to develop specialized solutions for this domain

On suboptimal control design for hybrid automata using predictive control techniques

In this paper we propose an on-line design technique for the target control problem, when the system is modelled by hybrid automata. First, we compute off-line the shortest path, which has the minimum discrete cost, from an initial state to the given target set. Next, we derive a controller which successfully drives the system from the initial state to the target set while minimizing a cost function. The model predictive control (MPC) technique is used when the current state is not within a guard set, otherwise the mixed-integer predictive control (MIPC) technique is employed. An on-line, semi-explicit control algorithm is derived by combining the two techniques. Finally, as an application of the proposed control procedure, the high-speed and energy-saving control problem of the CPU processing isconsidered

Model Predictive Control for Signal Temporal Logic Specification

We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control

Hybrid model predictive control for freeway traffic using discrete speed limit signals

HYCON2 Show day - Traffic modeling, Estimation and Control 13/05/2014 GrenobleIn this paper, two hybrid Model Predictive Control (MPC) approaches for freeway traffic control are proposed considering variable speed limits (VSL) as discrete variables as in current real world implementations. These discrete characteristics of the speed limits values and some necessary constraints for the actual operation of VSL are usually underestimated in the literature, so we propose a way to include them using a macroscopic traffic model within an MPC framework. For obtaining discrete signals, the MPC controller has to solve a highly non-linear optimization problem, including mixed-integer variables. Since solving such a problem is complex and difficult to execute in real-time, we propose some methods to obtain reasonable control actions in a limited computation time. The first two methods (-exhaustive and -genetic discretization) consist of first relaxing the discrete constraints for the VSL inputs; and then, based on this continuous solution and using a genetic or an exhaustive algorithm, to find discrete solutions within a distance of the continuous solution that provide a good performance. The second class of methods split the problem in a continuous optimization for the ramp metering signals and in a discrete optimization for speed limits. The speed limits optimization, which is much more time-consuming than the ramp metering one, is solved by a genetic or an exhaustive algorithm in communication with a non-linear solver for the ramp metering. The proposed methods are tested by simulation, showing not only a good performance, but also keeping the computation time reduced.Unión Europea FP7/2007–201