22 research outputs found

    On suboptimal control design for hybrid automata using predictive control techniques

    Get PDF
    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

    Robust Model Predictive Control for Signal Temporal Logic Synthesis

    Get PDF
    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

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

    Get PDF
    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

    Robust Model Predictive Control for Signal Temporal Logic Synthesis

    Get PDF
    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 the synthesis of piecewise affine control laws

    Get PDF
    Abstract-Piecewise affine (PWA) control laws offer an attractive solution to real-time control of linear, nonlinear and hybrid systems. In this paper we provide a compact exposition of the existing state-of-the-art methods for the synthesis of PWA control laws using optimization-based methods

    Formal controller synthesis for wastewater systems with signal temporal logic constraints: the Barcelona case study

    Get PDF
    © . This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/We present an approach for formal controller synthesis of the Barcelona wastewater system. The goal of the controller is to minimize overflow in the system and to reduce environmental contamination (pollution). Due to the influence of sudden and unpredictable weather changes within the Mediterranean climate, we propose robust model predictive control strategy. This approach synthesizes control inputs (i.e., flows through network actuators) that make the system robust to uncertainties in the weather forecast; control inputs are updated in an online fashion to incorporate the newly available measurements from the system and the disturbances. We employ signal temporal logic as a formal mechanism to express the desired behavior of the system. The quantitative semantics of the logic is then used to encode the desired behavior in both the set of constraints and the objective function of the optimization problem. We propose a solution approach for the obtained worst-case optimization, which is based on transforming the nonlinear dynamics of the system into a mixed logical dynamical model. Then, we employ Monte Carlo sampling and dual reformulation to get a mixed integer linear or quadratic programming problem. The proposed approach is applied to a catchment of the Barcelona wastewater system to illustrate its effectiveness.Peer ReviewedPostprint (author's final draft

    Comparison of Predictive Control Methods for High Consumption Industrial Furnace

    Get PDF
    We describe several predictive control approaches for high consumption industrial furnace control. These furnaces are major consumers in production industries, and reducing their fuel consumption and optimizing the quality of the products is one of the most important engineer tasks. In order to demonstrate the benefits from implementation of the advanced predictive control algorithms, we have compared several major criteria for furnace control. On the basis of the analysis, some important conclusions have been drawn

    MINLP-based hybrid strategy for operating mode selection of TES-backed-up refrigeration systems

    Get PDF
    Es la versión aceptada del artículo. Se puede consultar la versión final en https://onlinelibrary.wiley.com/doi/10.1002/rnc.4674This brief deals with the satisfaction of the daily cooling demand by a hybrid system that consists of a vapor-compression refrigeration cycle and a thermal energy storage (TES) unit, based on phase change materials. The addition of the TES tank to the original refrigeration plant allows to schedule the cooling production regardless of the instantaneous demand, given that the TES tank can store cold energy and release it whenever deemed appropriate. The scheduling problem is posed as an optimization problem based on mixed-integer nonlinear programming (MINLP) since it includes both discrete and continuous variables. The latter corresponds to the references on the main cooling powers involved in the problem (cooling production at the evaporator and TES charging/discharging), whereas the discrete variables define the operating mode scheduling. Therefore, in addition to the hybrid features of the physical plant, a hybrid optimal control strategy is also proposed. A receding horizon approach is applied, similar to model predictive control (MPC) strategies, while economic criteria are imposed in the objective function, as well as feasibility issues. The TES state estimation is also addressed since its instantaneous charge ratio is not measurable. The proposed strategy is applied in simulation to a challenging cooling demand profile, and the main advantages of the MINLP-based strategy over a nonlinear MPC-based scheduling strategy previously developed are highlighted, regarding operating cost, ease of tuning, and ability to adapt to cooling demand variations.Ministerio de Ciencia e InnovaciónFCT (Portugal)POR Lisbo

    MINLP-based hybrid strategy for operating mode selection of TES-backed-up refrigeration systems

    Full text link
    This brief deals with the satisfaction of the daily cooling demand by a hybrid system that consists of a vapour-compression refrigeration cycle and a thermal energy storage (TES) unit, based on phase change materials. The addition of the TES tank to the original refrigeration plant allows to schedule the cooling production regardless of the instantaneous demand, given that the TES tank can store cold energy and release it whenever deemed appropriate. The scheduling problem is posed as an optimization problem based on mixed-integer non-linear programming (MINLP), since it includes both discrete and continuous variables. The latter corresponds to the references on the main cooling powers involved in the problem (cooling production at the evaporator and TES charging/discharging), whereas the discrete variables define the operating mode scheduling. Therefore, in addition to the hybrid features of the physical plant, a hybrid optimal control strategy is also proposed. A receding horizon approach is applied, similar to model predictive control (MPC) strategies, while economic criteria are imposed in the objective function, as well as feasibility issues. The TES state estimation is also addressed, since its instantaneous charge ratio is not measurable. The proposed strategy is applied in simulation to a challenging cooling demand profile and the main advantages of the MINLP-based strategy over a non-linear MPC-based scheduling strategy previously developed are highlighted, regarding operating cost, ease of tuning, and ability to adapt to cooling demand variations.Comment: 22 pages, 11 figures. Postprint of the final published wor
    corecore