Abstract
This contribution is concerned with the design of observers for a single mast stacker crane, which is used, e. g., for storage and removal of loads in automated warehouses. As the mast of such stacker cranes is typically a lightweight construction, the system under consideration is described by ordinary as well as partial differential equations, i. e., the system exhibits a mixed finite-/infinite-dimensional character. We will present two different observer designs, an Extended Kalman Filter based on a finite-dimensional system approximation, using the Rayleigh-Ritz method and an approach exploiting the port-Hamiltonian system representation for the mixed finite-/infinite-dimensional scenario where in particular the observer-error system should be formulated in the port-Hamiltonian framework. The mixed-dimensional observer and the Kalman Filter are employed to estimate the deflection of the beam based on signals acquired by an inertial measurement unit at the beam tip. Such an approach considerably simplifies mechatronic integration as it renders strain-gauges at the base of the mast obsolete. Finally, measurement results demonstrate the capability of these approaches for monitoring and vibration-rejection purposes.
Zusammenfassung
Dieser Beitrag beschäftigt sich mit dem Entwurf von Beobachtern für ein Hochregalbediengerät in automatisierten Lagerhallen. Da es sich bei dem Mast typischerschweise um eine Leichtbaukonstruktion handelt, wird das betrachtete Modell von gewöhnlichen und partiellen Differentialgleichungen beschrieben, d. h. das Modell weist einen gemischt finite-/infinite-dimensionalen Charakter auf. Im Rahmen dieser Arbeit werden zwei verschiedene Beobachterentwürfe vorgestellt, ein Extended Kalman Filter, das auf einer finite-dimensionalen Systemapproximation basiert, unter Verwendung der Rayleigh-Ritz-Methode, und einen Ansatz, der die port-Hamiltonsche Systemdarstellung für das finite-/infinite-dimensionale Szenario ausnutzt, wobei insbesondere das Beobachterfehlersystem als port-Hamiltonsches System formuliert wird. Der finite-/infinite-dimensionale Beobachter sowie das Kalman Filter werden zur Schätzung der Balkenverformung herangezogen, wobei lokale Vibrationen durch einen an der Mastspritze angebrachten Beschleunigungssensor erfasst werden. Schlussendlich soll anhand von Messungen an einem realen Labormodell die Leistungsfähigkeit dieser Ansätze in Kombination mit einem Beschleunigungssensor für die Überwachung kritischer Größen und die Möglichkeit der Schwingungsunterdrückung demonstriert werden.
1 Introduction
Single mast stacker cranes (SMCs), also called rack feeders, are deployed in automated warehouses or logistic centers in order to move payloads to desired positions. From an economic point of view, to improve the productivity the intention is to decrease the access time of such stacker cranes. To this end, stacker cranes are typically build as lightweight constructions, consisting of driving units in fixed ducts and flexible mast structures. Therefore, a mathematical model of the SMC is characteristically governed by a combination of ordinary differential equations (ODEs) and partial differential equations (PDEs). However, as a consequence of the lightweight construction undesirable beam vibrations occur. This problem is of increasing relevance in practical applications as stacker cranes in automated warehouses are ever growing in height due to floor space constraints. Therefore, the idea is to address the problem from a control engineering point of view. With regard to appropriate control methods, for the governing mathematical model it is necessary to distinguish between scenarios allowing for an active lifting unit or not. Note that an active lifting unit implies a more complex model, however, it allows to decrease the access time since the driving and lifting unit move simultaneously. For example, in [5] a flatness-based feedforward control for the scenario of an SMC with an inactive lifting unit – i. e., the lifting unit remains at a constant position – has been presented, where the flatness of the mixed-dimensional problem has been shown. In contrast, in [1] and [3] a flatness-based feedforward control for a finite-dimensional system approximation, which was obtained by the Rayleigh-Ritz method, has been derived, where an active lifting unit has been taken into account. Furthermore, in [3] a passivity-based controller has been proposed for the stabilization of the infinite-dimensional error system, whereas in [1], [2] a dynamic controller based on the so-called energy-Casimir method has been derived for that purpose.
In this contribution, instead of discussing a further control methodology for SMCs, we focus on the derivation of proper observation strategies. A well-known approach for linear systems governed by ODEs is the Kalman Filter. Moreover, extensions of the Kalman Filter, like the Extended Kalman Filter (EKF), have become widely used for the state estimation of nonlinear systems, see, e. g., [4]. Therefore, the EKF can also be applied for the SMC by considering its finite-dimensional approximation.
A further relevant research topic is the observer design for infinite-dimensional systems, see, e. g., [6], where an approach based on the so-called backstepping methodology has been presented. Furthermore, in [7] a dissipativity-based observer-design strategy has been discussed. However, note that compared to systems governed by ODEs, in the distributed-parameter scenario there is an enormous rise of complexity, as, besides others, the stability analysis of the infinite-dimensional observer-error systems requires special attention. In fact, functional analytic methods are used to show the well-posedness of the governing PDE system, see [8] exemplarily for a detailed closed-loop stability investigation of a gantry crane with a heavy chain. To ensure that the observer state indeed converges to the system state, additionally the asymptotic stability has to be verified, see, e. g., [9], where LaSalle’s invariance principle for infinite-dimensional systems was used.
In this contribution, we exploit a certain port-Hamiltonian (pH) system representation for the observer design. It should be noted that for the infinite-dimensional case, in particular the so-called Stokes-Dirac scenario, see, e. g., [11], as well as an approach based on jet-bundle structures [13], [14] have turned out to be especially suitable. The main difference of these approaches is the choice of the states – energy variables versus derivative coordinates – see [10] for a detailed comparison by means of the Mindlin plate. Furthermore, in [12] the pH system representation based on Stokes-Dirac structures, where strain variables are exploited for mechanical systems, has been used for the observer design. The SMC can be modelled in a variational framework, and furthermore, since the beam deflection is of particular interest in our approach, we base our considerations on the jet-bundle scenario.
For the purpose of structure health monitoring and vibration rejection at least partial information about the current distortion of the beam is required. The mentioned controllers for the SMC presented in [1], [2] and [3] rely on the ability to measure the bending moment at the beam base by the use of a strain gauge. Integrating strain-gauges for directly measuring these quantities of interest can be challenging. Therefore, the proposed observer estimates the corresponding signals based on acceleration measurements acquired at the tip of the beam.
Thus, the main contributions of this paper are as follows. In Section 3, we present two observers for the model of an SMC with active lifting unit, which is briefly introduced in Section 2. For the finite-dimensional system approximation of the SMC, which is obtained by the Rayleigh-Ritz method, we propose an Extended Kalman Filter. Furthermore, based on the pH system representation we derive a mixed finite-/infinite-dimensional observer. In Section 4 we provide an experimental validation of both observers on a lab demonstrator, where each observer is tested in two selected scenarios. In Scenario A we confine ourselves to an inactive lifting unit, whereas in Scenario B an active lifting unit is considered and furthermore, also a closed-loop experiment based on a damping injection controller is presented. Section 5 is dedicated to a sketch of the stability proof regarding the asymptotic behaviour of the observer-error system of the finite-/infinite-dimensional observer where for simplicity we restrict ourselves to Scenario A with an inactive lifting unit at the top.
2 Mathematical modelling
In this section we briefly recapitulate the derivation of the mixed finite-/infinite-dimensional model based on the variational principle together with its port-Hamiltonian representation, as well as a finite-dimensional system approximation obtained by means of the Rayleigh-Ritz method, see [1], [3] and [15] for more details. The considered physical model, see Fig. 1, consists of three main mechanical parts. The position of the rigid driving unit with mass
2.1 Finite-/infinite-dimensional model
Under the assumptions mentioned above the overall kinetic energy of the single mast stacker crane reads as
while the overall potential energy is given by
Therefore, the Lagrangian is considered to be of the form
the ordinary differential equations of the driving unit, the lifting unit and the tip mass
2.2 Port-Hamiltonian representation
In this section the finite-/infinite-dimensional problem, given in Section 2.1, is represented as a port-Hamiltonian system. For this purpose, we introduce by means of regular Legendre mappings the momenta
The partial derivative of the finite-dimensional part with the Hamiltonian
and
with
Here, the canonical skew-symmetric matrix
describe the internal power flow of the finite-dimensional part and allows to incorporate the constraint forces
Consequently, the output of the port-Hamiltonian system (7) collocated to the external input
whereas those of the constraint forces are given by
Remark 1.
Note that due to the expression
2.3 Finite-dimensional approximation
A finite-dimensional model can be obtained by approximating the deformation of the beam
with a spatial ansatz function
where the mass matrix, with the ansatz abbreviation
with the constant mass abbreviations
Therefore, with
At this point, only the determination of the ansatz function
with
3 Observer design
The focus in this section is on the design of two observers for the SMC. To begin with, we briefly present an Extended Kalman Filter for the finite-dimensional approximated model. Afterwards, in Section 3.2 a pH observer based on the mixed finite-/infinite-dimensional characteristics of the SMC is presented.
3.1 Extended Kalman Filter
This section is dedicated to the observer design based on the finite-dimensional system approximation (11). As mentioned, the aim is to design an algorithm in order to estimate the shear force and the bending moment at the bottom of the flexible beam, respectively, which are of particular importance with regard to vibration suppression. If the ansatz function is used for the deflections in (5), the problem corresponds to estimate the Ritz variable
With the objective to do state estimation without measuring the bending moment by the use of a strain gauge, our effort is to develop an observation strategy with the acceleration
3.2 Infinite-dimensional observer
The underlying idea is to exploit the port-Hamiltonian system representation and its collocated outputs for the observer design, by using a copy of the plant extended by an observer-correction term
Remark 2.
It should be stressed, that due to the measurement
Symbol | Value | Symbol | Value | Symbol | Value | Symbol | Value |
13.1 kg | L | 0.53 m | 0.32 kg | α | 3000 | ||
0.86 kg | 14.97 N m2 | 2.1 kg/m | β | 20 |
The observer-correction terms
with
the constraint shear forces
the error system with state
where the outputs (21) are collocated to the observer-correction terms
Subsequently, we show that by a proper choice of
Remark 3.
Note that the necessity of the additional term in (22) turns out within detailed well-posedness investigations. If we omit this term, we are not able to detect steady state errors since we have no information about the error deflection. Furthermore, the equivalence of the energy norm
If we investigate the formal change of the Lyapunov functional (22), which corresponds to the collocated energy ports and the derivation of the incorporated term of Remark 3,
4 Experimental results
In the following, the application of both observers are validated by measurement results obtained from a laboratory model of a single mast stacker crane, where the parameters are stated in Table 1. It should be mentioned that several control strategies for equilibrium point stabilization as well as for trajectory tracking purposes have been successfully implemented for the finite and mixed-dimensional problem, see, e. g., [1] and [3]. Exemplarily, an IDA-PBC law from [3] is given by
In fact, our intention is to exploit filtered measurements of the beam tip acceleration
with the cutoff frequencies
Scenario A (inactive lifting unit): In the first experiment, we propose a scenario of an SMC with inactive lifting unit moving horizontally from
Scenario B (active lifting unit): In the second experiment, we demonstrate the capability of both observers for an active lifting unit, where the driving unit as well as the lifting unit were driven simultaneously from
Remark 4.
In general, spillover phenomena in early-lumping approaches can lead to drastic problems, e. g., the excitation of high-frequency natural oscillations that can provoke closed-loop instability, see [15]. However, for the EKF, which is based on the finite-dimensional model, no such effects turned out to be crucial.
5 Stability investigations
The aim in this section is to present a sketch of the well-posedness and stability investigations of the mixed-dimensional observer, where we confine ourselves to Scenario A, where the lifting unit is located at the top, i. e.,
The error principle unit for the driving unit follows to
whereas those of the lifting unit can be omitted.
5.1 Well-posedness investigations
First, the observer-error dynamics are reformulated as an abstract Cauchy problem, which allows to apply the variant of the Lumer-Phillips theorem according to [16, Theorem 1.2.4]. Therefore, we consider the state space
with
where we have the equivalence
where
Regarding the Lumer-Phillips theorem [16, Theorem 1.2.4] it has to be shown that the domain
5.2 Asymptotic stability
Next, regarding the investigation of the asymptotic stability of the observer error we use LaSalle’s invariance principle for infinite-dimensional systems, see [17, Theorem 3.64, 3.65], which can be applied since the solution trajectories are precompact. This follows from the fact that the boundedness of
6 Conclusion
In this contribution, two different observer strategies for a single mast stacker crane have been presented. First, based on the finite-dimensional system approximation an EKF has been proposed. Further, considering the mixed-dimensional character of the system, an observer has been derived by means of a port-Hamiltonian system representation. The collocated observer inputs were chosen such that the energy functional of the observer-error is non-increasing. A sketch of well-posedness and asymptotic stability investigations is given for the special scenario with inactive lifting mass at the beam tip. Both observers were verified in experiments on a laboratory model, where an acceleration measurement of the beam tip has been exploited. Finally, we want to stress that the estimated quantities can be successfully used for vibration rejection.
Funding source: Austrian Science Fund
Award Identifier / Grant number: P 29964-N32
Funding statement: This work has been supported by the Austrian Science Fund (FWF) under grant number P 29964-N32.
About the authors
Lukas Ecker received the Dipl.-Ing. degree in Mechatronics from the Johannes Kepler University Linz (JKU), Austria, in July 2020. He is currently a Ph. D. student at the Institute of Automatic Control and Control Systems Technology. His research interests include system identification and nonlinear observer design.
Tobias Malzer obtained his Dipl.-Ing. in Mechatronics with specialisation in Automatisation and Robotics in April 2017. Currently, he is working on his Ph. D. thesis dealing with control and observer design of systems governed by partial differential equations.
Arne Wahrburg obtained his Dipl.-Ing. and Dr.-Ing. in Electrical Engineering from TU Darmstadt in 2010 and 2013, respectively. He received the VDI/VDE GMA Eugen-Hartmann-Award in 2015 and the Best Paper Award at the International Symposium on Robotics in 2020. Since 2013, he has been with ABB Corporate Research Germany and is currently a Senior Principal Scientist. His topics of interest include Robot and Motion Control as well as Robot Learning.
Markus Schöberl received the Dipl.-Ing. degree in Mechatronics in 2004 and his Ph. D. degree (Dr. techn.) in control theory in 2007, both from the Johannes Kepler University (JKU), Linz, Austria. From 2007 to 2011 he was a Post-doctoral Researcher at the JKU, and from 2011 to 2014 he was an APART fellowship holder of the Austrian Academy of Sciences. Since 2014 he is an Associate Professor at the JKU. His research interests include nonlinear control and analysis of physical systems based on geometric and algebraic methods, covariant system theory, and Lagrangian and Hamiltonian field theory.
References
1. Rams, H., Schöberl, M. and Schlacher, K. (2017). Optimal Motion Planning and Energy-Based Control of a Single Mast Stacker Crane. IEEE Transactions on Control Systems Technology, 26(4), 1449–1457.10.1109/TCST.2017.2710953Search in Google Scholar
2. Rams, H. and Schöberl, M. (2017). On structural invariants in the energy based control of port-Hamiltonian systems with second-order Hamiltonian. In American Control Conference (ACC), 1139–1144.10.23919/ACC.2017.7963106Search in Google Scholar
3. Staudecker, M., Schlacher, K. and Hansl, R. (2008). Passivity based control and time optimal trajectory planning of a single mast stacker crane. IFAC Proceedings Volumes, 41(2), 875–880.10.3182/20080706-5-KR-1001.00150Search in Google Scholar
4. Simon, D. (2006). Optimal State Estimation: Kalman, H∞, and Nonlinear Approaches. John Wiley & Sons.10.1002/0470045345Search in Google Scholar
5. Bachmayer, M., Ulbrich, H. and Rudolph, J. (2011). Flatness-based control of a horizontally moving erected beam with a point mass. Mathematical and Computer Modelling of Dynamical Systems, 17(1).10.1080/13873954.2010.537517Search in Google Scholar
6. Smyshlyaev, A. and Kristic, M. (2005). Backstepping observers for a class of parabolic PDEs. Systems and Control Letters, 54, 613–625.10.1016/j.sysconle.2004.11.001Search in Google Scholar
7. Schaum, A., Moreno, J.A. and Meurer, T. (2016). Dissipativity-based observer design for a class of coupled 1-D semi-linear parabolic PDE systems. In Proceedings of the 2nd IFAC Workshop on Control of Systems Governed by Partial Differential Equations (CPDE). IFAC-PapersOnLine, 49(8), 98–103.10.1016/j.ifacol.2016.07.425Search in Google Scholar
8. Stürzer, D., Arnold, A. and Kugi, A. (2018). Closed-loop Stability Analysis of a Gantry Crane with Heavy Chain. Int. J. Control, 91(8), 1931–1943.10.1080/00207179.2017.1335439Search in Google Scholar
9. Malzer, T., Rams, H., Kolar, B. and Schöberl, M. (2021). Stability Analysis of the Observer Error of an In-Domain Actuated Vibrating String. IEEE Control Systems Letters, 5(4), 1237–1242.10.1109/LCSYS.2020.3025414Search in Google Scholar
10. Schöberl, M. and Siuka, A. (2013). Analysis and Comparison of Port-Hamiltonian Formulations for Field Theories – demonstrated by means of the Mindlin plate. In Proceedings of the European Control Conference (ECC), 548–553.10.23919/ECC.2013.6669137Search in Google Scholar
11. Le Gorrec, Y., Zwart, H.J. and Maschke, B. (2005). Dirac structures and boundary control systems associated with skew-symmetric differential operators. SIAM J. Control Optim., 44, 1864–1892.10.1137/040611677Search in Google Scholar
12. Toledo, J., Ramirez, H., Wu, Y. and Le Gorrec, Y. (2020). Passive observers for distributed port-Hamiltonian systems. In Proceedings of the 21st IFAC World Congress, Berlin, Germany. IFAC-PapersOnLine, 53(2), 7587–7592.10.1016/j.ifacol.2020.12.1356Search in Google Scholar
13. Ennsbrunner, H. and Schlacher, K. (2005). On the Geometrical Representation and Interconnection of Infinite Dimensional Port Controlled Hamiltonian Systems. In Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conf., 5263–5268.10.1109/CDC.2005.1582998Search in Google Scholar
14. Schöberl, M. and Siuka, A. (2014). Jet bundle formulation of infinite-dimensional port-Hamiltonian systems using differential operators. Automatica, 50(2), 607–613.10.1016/j.automatica.2013.11.035Search in Google Scholar
15. Staudecker, M. (2010). Regelung einer elastischen mechanischen Struktur am Beispiel eines Regalbediengeräts für Hochregallager. Ph.D. thesis, JKU, Linz.Search in Google Scholar
16. Liu, Z. and Zheng, S. (1999). Semigroups Associated with Dissipative Systems. Research Notes in Mathematics Series. Chapman and Hall/CRC.10.1155/S1073792899000173Search in Google Scholar
17. Luo, Z.H., Guo, B.Z. and Morgul, O. (1998). Stability and Stabilization of Infinite Dimensional Systems with Applications. Springer.10.1007/978-1-4471-0419-3Search in Google Scholar
18. Miletić, M., Stürzer, D. and Arnold, A. (2015). An Euler-Bernoulli beam with nonlinear damping and a nonlinear spring at the tip. Discrete & Continuous Dynamical Systems, 20(9), 3029–3055.10.3934/dcdsb.2015.20.3029Search in Google Scholar
19. Jensen, A., Coopmans, C. and Chen, Y. (2013). Basics and Guidelines of Complementary Filters for Small UAS Navigation. In International Conference on Unmanned Aircraft Systems (ICUAS).10.1109/ICUAS.2013.6564726Search in Google Scholar
20. Le Gorrec, Y., Zwart, H.J. and Ramirez, H. (2017). Asymptotic stability of an Euler-Bernoulli beam coupled to non-linear spring-damper systems. IFAC-PapersOnLine, 50(1), 5580–5585.10.1016/j.ifacol.2017.08.1102Search in Google Scholar
© 2021 Ecker et al., published by De Gruyter
This work is licensed under the Creative Commons Attribution 4.0 International License.