Application-Based Analysis of Transformations of Uncertain Dynamical Systems Into a Cooperative Form

Uncertainty in dynamical system descriptions can have different sources. Whether it be mathematical model simplifications, manufacturing tolerances, and imperfect measurements resulting in parameter uncertainties or be it some kind of time-varying uncertain parameters as an interpretation of state dependencies in quasi-linear state-space representations. On the one hand, uncertainties can be represented as probability distributions in the stochastic case, which can be handled, for example by Monte-Carlo methods. However, those do not allow for the computation of worst-case bounds of the sets of reachable states. On the other hand, interval representations do allow this, which is why we will use those as a bounded error framework in the presented paper. When dealing with interval uncertainty, the rigorous computation of guaranteed state enclosures is a difficult task. Due to conservatism and/or the wrapping effect, overestimation is a common problem. The paper discusses not only a suitable control approach based on LMIs to stabilize an uncertain system but also a cooperativity-enforcing approach, which acts as a countermeasure to the wrapping effect. This simplifies the computation of guaranteed state enclosures in comparison with different methods to get the least conservative hull of the reachable state intervals. This is all done for a boom crane as a real-life application scenario.

[1]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[2]  Denis V. Efimov,et al.  Some recent results on the design and implementation of interval observers for uncertain systems , 2018, Autom..

[3]  Olivier Bernard,et al.  Asymptotically Stable Interval Observers for Planar Systems With Complex Poles , 2010, IEEE Transactions on Automatic Control.

[4]  I. Postlethwaite,et al.  Linear Matrix Inequalities in Control , 2007 .

[5]  N. Nedialkov,et al.  Interval Tools for ODEs and DAEs , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[6]  J. Ackermann,et al.  Robust Control: The Parameter Space Approach , 2012 .

[7]  Jon Rigelsford,et al.  Positive 1D and 2D Systems , 2002 .

[8]  E. Hofer,et al.  VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[9]  Andreas Rauh,et al.  State-Space Transformations of Uncertain Systems with Purely Real and Conjugate-Complex Eigenvalues into a Cooperative Form , 2018, 2018 23rd International Conference on Methods & Models in Automation & Robotics (MMAR).

[10]  Vicenç Puig,et al.  Worst-Case Simulation of Discrete Linear Time-Invariant Interval Dynamic Systems , 2003, Reliab. Comput..

[11]  Andreas Rauh,et al.  Interval methods for the implementation and verification of robust gain scheduling controllers , 2017, 2017 22nd International Conference on Methods and Models in Automation and Robotics (MMAR).

[12]  Andreas Rauh,et al.  Interval methods for robust gain scheduling controllers , 2018, Granular Computing.

[13]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[14]  Andreas Rauh,et al.  Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems , 2019, 2019 24th International Conference on Methods and Models in Automation and Robotics (MMAR).

[15]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[16]  Denis V. Efimov,et al.  Interval State Estimation for a Class of Nonlinear Systems , 2012, IEEE Transactions on Automatic Control.

[17]  Andreas Rauh,et al.  Application-Based Discussion of Verified Simulations of Interval Enclosure Techniques , 2019, 2019 24th International Conference on Methods and Models in Automation and Robotics (MMAR).

[18]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).