Model predictive control techniques for hybrid systems

This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581

Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems

This paper presents a fully automated procedure for controller synthesis for a general class of multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two terms: the first one models the coupling constraints and the other one is an additional bounded control input. We aim to design these inputs so that each agent meets an individual high-level specification given as a Metric Interval Temporal Logic (MITL). Furthermore, the connectivity of the initially connected agents, is required to be maintained. First, assuming a polyhedral partition of the workspace, a novel decentralized abstraction that provides controllers for each agent that guarantee the transition between different regions is designed. The controllers are the solution of a Robust Optimal Control Problem (ROCP) for each agent. Second, by utilizing techniques from formal verification, an algorithm that computes the individual runs which provably satisfy the high-level tasks is provided. Finally, simulation results conducted in MATLAB environment verify the performance of the proposed framework

Hybrid modeling and control of mechatronic systems using a piecewise affine dynamics approach

This thesis investigates the topic of modeling and control of PWA systems based on two experimental cases of an electrical and hydraulic nature with varying complexity that were also built, instrumented and evaluated. A full-order model has been created for both systems, including all dominant system dynamics and non-linearities. The unknown parameters and characteristics have been identi ed via an extensive parameter identi cation. In the following, the non-linear characteristics are linearized at several points, resulting in PWA models for each respective setup. Regarding the closed loop control of the generated models and corresponding experimental setups, a linear control structure comprised of integral error, feed-forward and state-feedback control has been used. Additionally, the hydraulic setup has been controlled in an autonomous hybrid position/force control mode, resulting in a switched system with each mode's dynamics being de ned by the previously derived PWA-based model in combination with the control structure and respective mode-dependent controller gains. The autonomous switch between control modes has been de ned by a switching event capable of consistently switching between modes in a deterministic manner despite the noise-a icted measurements. Several methods were used to obtain suitable controller gains, including optimization routines and pole placement. Validation of the system's fast and accurate response was obtained through simulations and experimental evaluation. The controlled system's local stability was proven for regions in state-space associated with operational points by using pole-zero analysis. The stability of the hybrid control approach was proven by using multiple Lyapunov functions for the investigated test scenarios.publishedVersio

Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains

In this paper we look into the problem of planning over hybrid domains, where change can be both discrete and instantaneous, or continuous over time. In addition, it is required that each state on the trajectory induced by the execution of plans complies with a given set of global constraints. We approach the computation of plans for such domains as the problem of searching over a deterministic state model. In this model, some of the successor states are obtained by solving numerically the so-called initial value problem over a set of ordinary differential equations (ODE) given by the current plan prefix. These equations hold over time intervals whose duration is determined dynamically, according to whether zero crossing events take place for a set of invariant conditions. The resulting planner, FS+, incorporates these features together with effective heuristic guidance. FS+ does not impose any of the syntactic restrictions on process effects often found on the existing literature on Hybrid Planning. A key concept of our approach is that a clear separation is struck between planning and simulation time steps. The former is the time allowed to observe the evolution of a given dynamical system before committing to a future course of action, whilst the later is part of the model of the environment. FS+ is shown to be a robust planner over a diverse set of hybrid domains, taken from the existing literature on hybrid planning and systems.Comment: 17 page

Modeling, analyzing and controlling hybrid systems by Guarded Flexible Nets

A number of artificial and natural systems can be modeled as hybrid models in which continuous and discrete variables interact. Such hybrid models are usually challenging to analyze and control due to the computational complexity associated with existing methods. In this paper, the novel modeling formalism of Guarded Flexible Nets (GFNs) is proposed for the modeling, analysis and control of hybrid system. A GFN consists of an event net that determines how the state changes as processes execute, and an intensity net that determines the speeds of the processes. In a GFN, the continuous state is given by the value of its state variables, and the discrete state is given by the region within which such variables lie. GFNs are shown to possess a high modeling power while offering appealing analysis and control possibilities