Elsevier

Automatica

Volume 114, April 2020, 108806
Automatica

Time-minimal set point transition for nonlinear SISO systems under different constraints

https://doi.org/10.1016/j.automatica.2020.108806Get rights and content

Abstract

Set point transition of nonlinear plants plays an important role in many applications where dynamic process management has to be considered. This transition should be rapid – as operation in the new set point increases the economical benefit – but in compliance with all safety regulations. We present a feedforward approach for a time-minimal set point transition of single-input, single-output nonlinear plants with respect to input, state and output constraints. The conceptual idea is based on the design of an optimization problem utilizing a coordinate change of the plant and a special setup function for the output trajectory. This allows the simultaneous planning of the trajectory and determination of the corresponding control signal. The formulation of the set point transition as an optimization problem provides a flexible design with respect to the integration of inequality constraints. Additional flexibility is provided by the type of setup functions, which permit any adjustment of the output trajectory between the set points. In contrast to other works, we focus on the stationarity of the system output, which allows a faster transition compared to the requirement to reach a steady state of all states. Finally, we present an example from the field of process systems engineering to demonstrate the applicability of the proposed methodology.

Introduction

This contribution considers the classical control engineering task of time-minimal set point transition. This entails the question of how to design a controller that brings a plant from one stationary set point yˆ0 to a final value yˆT as fast as possible. This type of problem occurs in many applications, such as robotics, aerospace or process systems engineering. An overview about different time-optimal state transition tasks can be found in the introduction of Devasia (2011). Frequently, the integration of different types of constraints during the transition process, to satisfy safety regulations or proper operation conditions, is of particular importance. Especially, if time-minimal set point transitions are required, bang–bang solutions should be avoided, as this can lead to increased wear of equipment.

To illustrate our approach, we focus on a process systems engineering perspective of the set point transition scenario. We assume a hierarchical structure of the process operation management, where an upper control layer (e.g. a Real-Time Optimization Layer) specifies the new set points to a controller in a layer below, see Engell, 2007, Seborg et al., 2016 and Skogestad (2004). Fig. 1 illustrates this hierarchical control structure.

Due to changing process conditions it might be efficient to adapt these set points to ensure an overall objective, e.g. profit maximization. The exact values for such set points depend on the specification of the operational objective, which is not discussed in detail in this contribution.

A suitable control structure has to generate a manipulating signal in a way, that the system moves from an initial output level to a final one. In this context, different constraints have to be satisfied to ensure a feasible and safe transition.

Basically, one can distinguish between optimal output and state transition, see Devasia, 2011, Devasia, 2012 and Perez and Devasia (2003). While the former refers to the plant output y the later refers to the state coordinates which should move from an initial value xˆ0 to a final value. Both problems are related to each other such that state transition techniques can be used to achieve a controlled output transition (Devasia, 2011).

An additional way of classifying the transition approaches depends on whether optimization techniques are used to determine the solution or not. For instance, the transition problem in Graichen and Zeitz (2008) is explained by a two-point boundary value problem. However, representatives of the first group are Model Predictive Controllers (MPC), where there exist many subtypes. The main idea of any MPC is that for a given reference signal, the MPC will compute a control signal by repeatedly solving an optimal control problem. In this context, the future plant behavior is predicted in every control step to ensure different kinds of constraints. For further information regarding MPC see Grüne and Pannek, 2013, Matschek et al., 2018 and Mayne, Rawlings, Rao, and Scokaert (2000).

An important aspect is the reference signal, which is classically determined offline in advance. For the definition of the reference signal, it is useful to distinguish between trajectory tracking and path following, see Faulwasser (2013).

The previously described controllers are usually applied online, i.e. in active operation. An alternative option is the use of feedforward control strategies where the manipulation signal is determined offline in advance. Here, the concept of differential flatness is an important aspect which is widely used in the literature for system transformation and determination of the input signal based on certain ansatz functions, see Guay, 2005, Oldenburg and Marquardt, 2002 and Varigonda, Georgiou, and Daoutidis (2004). For a general introduction to this, the reader is referred to Fliess, Levine, Martin, and Rouchon (1995) and Lévine (2009). A wide variety of theoretical concepts exists for feedforward design to achieve a set point tracking, see e.g. Devasia et al., 1996, Graichen, 2006 and Piazzi and Visioli (2001a).

One of the results of a feedforward control is the reference trajectory defining the set point transition, see Springer, Gattringer, and Staufer (2013). It can be represented by a time-dependent setup function. In the literature, various types of trajectory references can be distinguished. While in Graichen and Zeitz (2008) or Piazzi and Visioli (2001b) polynomial or cosine-series are used as reference, in Fliess, Mounier, Rouchon, and Rudolph (1998) Gevrey functions and in Treuer, Weissbach, and Hagenmeyer (2011) splines are applied to avoid oscillations during set point changes.

As mentioned above, the integration of different constraints during the transition process is of particular importance. In Faiz, Agrawal, and Murray (2001) path and actuator constraints are considered for a differentially flat system during the tracking. For the case of non-flat systems, in Graichen and Zeitz (2008) a method is proposed to satisfy input and output constraints. The conceptual idea lies in the implementation of saturation functions on a plant in input–output normal form. This strategy was also successfully implemented on a discretized tubular reactor model with input constraints, see Wieland, Meurer, Graichen, and Zeitz (2006). Furthermore, in Käpernick and Graichen (2013) this technique has been extended for the application to optimal control problems for a class of nonlinear systems. The result is an unconstrained optimization problem based on a transformed system dynamic.

The method described in the present article can be classified as an optimization-based offline method for output transition, where the output trajectory is planned during optimization.

The main contribution of this work is the design of an optimization problem to achieve a time-minimal set point transition using a coordinate change and a parameterized setup function similar to Graichen and Zeitz (2008). However, there are two main differences to that work. First, a novel type of setup function is used that allows to build up an optimization problem to guarantee a time-minimal set point transition of the set point. Second, we do not need saturation functions in our formulation to include inequality constraints. This provides more flexibility when integrating additional constraints.

The remainder of this paper is structured as follows. In Section 2 some general information about the system are presented as well as the transition problem is defined. At the beginning of Section 3 we present some theoretical aspects, followed by a brief description of a classical solution strategy. In Section 4, we propose an optimization-based approach that addresses some of the challenges that the classical approach entails. A numerical example to demonstrate the time-minimal set point transition is presented in Section 5, which is followed in Section 6 by the conclusion.

Section snippets

Problem formulation

Throughout this contribution we use a differential geometry notation. This way, we denote coordinates of a state manifold and components of vectors by superscript indices. In addition, (k) presents the k-th derivative of a function with respect to the time. In the following, we consider a dynamic input-affine single-input, single-output plant given by

Here xX, dim(X)=nx denotes the dynamical state, uU, dim(U)=1 the manipulating variable and yY, dim(Y)=1 the plant output. We summarize the

Inversion-based control design

This section gives a short introduction to a classical inversion-based controller design approach. For a more detailed overview of the system theoretical concepts used in this context, see Isidori (1995) and Nijmeijer and van der Schaft (1990). The general concept behind this approach is based on the application of a diffeomorphism to change the coordinates of the plant. This diffeomorphism is generated by the Lie derivatives of the map h along the vector field of 1.

In this context, we need to

Time-minimal transition problem

In the previous section, we discussed a state of the art method to solve constrained transition problems. The disadvantage of this approach is the fact that only a transition between two stationary states is allowed. In addition, the method only allows the consideration of input and output constraints by a further coordinate transformation. A direct optimization of the transitional period is also not possible, which is also reflected in the formulation of a BVP.

In this section we present a

Example: van de Vusse reactor

To demonstrate the proposed approach, we consider the control of a van de Vusse reactor (van de Vusse, 1964) is a continuously stirred tank reactor (CSTR) (Rothfuss, Rudolph, & Zeitz, 1996). Inside the reactor the inlet feed stream of component A is converted according to the reaction scheme ABC,2AD. The dynamics of this production plant is given by ċA=qcA,incAk1ϑcAk2ϑcA2ċB=qcB+k1ϑcAk1ϑcBϑ̇=qϑinϑ+κ1ϑcϑ+hcA,cB,ϑϑ̇c=κ2ϑϑc+κ3Q, where hcA,cB,ϑ is the enthalpy and kii=1,2 are the

Conclusion

This contribution presents a feedforward control scheme for a time-minimal set point transition in presence of input, state and output constraints. In particular, the use of a novel setup function allows both, simultaneous planning of the output trajectory and calculation of the control signal without violating the initial and terminal conditions. Moreover, we are able to formulate the transition problem as a parameter optimization problem so that the complexity of the time-minimal set point

Acknowledgment

The author Andreas Himmel is also affiliated to the “International Max Planck Research School (IMPRS) for Advanced Methods in Process and Systems Engineering (Magdeburg)”.

Andreas Himmel received the B.Sc. and M.Sc. degrees in systems engineering and engineering cybernetics from the Otto-von-Guericke University Magdeburg, Germany, in 2012 and 2014 respectively. Since 2016, he has been a Research Assistant with the Department of Process Systems Engineering, Otto-von-Guericke. Since 2015 he is also a member of the International Max Planck Research School, University Magdeburg, Germany. His research interests include design and control of process engineering

References (41)

  • AnderssonJ.A.E. et al.

    Casadi: a software framework for nonlinear optimization and optimal control

    Mathematical Programming Computation

    (2019)
  • AstromK.J. et al.

    Feedback systems: An introduction for scientists and engineers

    (2008)
  • BieglerL.T.

    Nonlinear programming: Concepts, algorithms, and applications to chemical processes

    Series on Optimization

    (2010)
  • BinderT. et al.

    Introduction to model based optimization of chemical processes on moving horizons

  • DevasiaS.

    Nonlinear minimum-time control with pre- and post-actuation

    Automatica

    (2011)
  • DevasiaS.

    Time-optimal control with pre/post actuation for dual-stage systems

    IEEE Transactions on Control Systems Technology

    (2012)
  • DevasiaS. et al.

    Nonlinear inversion-based output tracking

    IEEE Transactions on Automatic Control

    (1996)
  • EngellS.

    Feedback control for optimal process operation

    Journal of Process Control

    (2007)
  • FaizN. et al.

    Trajectory planning of differentially flat systems with dynamics and inequalities

    Journal of Guidance, Control and Dynamics

    (2001)
  • FaulwasserT.

    Optimization-based solutions to constrained trajectory-tracking and path-following problems

    (2013)
  • FliessM. et al.

    Flatness and defect of non-linear systems: introductory theory and examples

    International Journal of Control

    (1995)
  • Fliess, M., Mounier, H., Rouchon, P., & Rudolph, J. (1998). A distributed parameter approach to the control of a...
  • GraichenK.

    Feedforward control design for finite-time transition problems of nonlinear systems with input and output constraints

    Berichte aus dem Institut für Systemdynamik, Universität Stuttgart

    (2006)
  • GraichenK. et al.

    Feedforward control design for finite-time transition problems of nonlinear systems with input and output constraints

    IEEE Transactions on Automatic Control

    (2008)
  • GrüneL. et al.

    Nonlinear model predictive control: Theory and algorithms

    (2013)
  • Guay, M. (2005). Real-time dynamic optimization of nonlinear systems: a flatness-based approach. In Proceedings of the...
  • IsidoriAlberto

    Nonlinear control systems

    (1995)
  • IsidoriA.

    The zero dynamics of a nonlinear system: From the origin to the latest progresses of a long successful story

    European Journal of Control

    (2013)
  • KäpernickB. et al.

    Transformation of output constraints in optimal control applied to a double pendulum on a cart

    IFAC Proceedings Volumes

    (2013)
  • KleinertT. et al.

    Cascaded two-degree-of-freedom control of seeded batch crystallisations based on explicit system inversion

    Journal of Process Control

    (2010)
  • Cited by (3)

    • Closed-loop real-time optimization for unsteady operating production systems

      2022, Journal of Process Control
      Citation Excerpt :

      Secondly, the underlying control architecture is not given by a model predictive controller (MPC) steering the system to the new operating point, see e.g., [12–14]. In this contribution, the control strategy for generating the trajectory connecting two operating points is performed motivated by [15] via a system inversion approach. Using an inversion approach, the transition of the production system is formulated as an input design/parameter estimation problem to achieve a minimal-time transition.

    Andreas Himmel received the B.Sc. and M.Sc. degrees in systems engineering and engineering cybernetics from the Otto-von-Guericke University Magdeburg, Germany, in 2012 and 2014 respectively. Since 2016, he has been a Research Assistant with the Department of Process Systems Engineering, Otto-von-Guericke. Since 2015 he is also a member of the International Max Planck Research School, University Magdeburg, Germany. His research interests include design and control of process engineering systems. In particular, this covers the areas of nonlinear and optimal control with applications on renewable energies.

    Sebastian Sager studied mathematics in Heidelberg, where he also obtained his Ph.D. in 2006 and his habilitation in 2012. Since 2012 he is full professor for algorithmic optimization at the Otto-von-Guericke Universit at Magdeburg. The focus of his work is on the development of optimization algorithms for problems that combine the properties integrality, nonlinearity, time-dependence, and uncertainty. He uses them in the estimation, control, experimental design, and analysis of dynamic systems and for machine learning. In recent years he has been addressing particular challenges that arise in clinical decision support. He received an ERC Consolidator Grant in 2015 and is spokesperson of the DFG 2297 Research Training Group “Mathematical Complexity Reduction”.

    Kai Sundmacher received his Dr.-Ing. degree from Clausthal University of Technology in Germany in 1995. He became Professor of Process Systems Engineering at Otto-von-Guericke University Magdeburg in 1999. Since 2001 he is Director of the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg. His current research interests include the design and control of sustainable production systems in chemistry and biotechnology, renewable energy systems, and synthetic biosystems.

    The material in this paper was not presented at any conference. This paper was recommended for publication in revised form by Associate Editor Kok Lay Teo under the direction of Editor Ian R. Petersen

    View full text