Abstract
In almost all mechatronic devices, safety is a fundamental requirement. Unpredicted system behavior resultant from control instability may potentially damage objects or even harm human users. To certify that the system will remain stable under predefined conditions is not only desirable but mandatory for systems like jet engines and wearable robots (e.g., robotic prosthesis and exoskeleton robots). The certification of control algorithms is already a standard procedure in some engineering fields, such as aviation. In robotics, however, a certification procedure is not yet traditionally incorporated in the control design. To fill this gap is an essential step towards making robots, especially those that closely interact with human beings, largely available on the market and endorsed by the public in general. This paper uses the \(\nu \)-gap metric and the generalized stability margin to assess the stability of a closed-loop linear system, accounting for differences between plants. A novel iterative certification procedure based on these two techniques is proposed, combined with optimization techniques to reduce conservatism. The procedure is demonstrated on a real 1-DoF hydraulically actuated platform.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Arcak M, Meissen C, Packard A (2016) Networks of dissipative systems: compositional certification of stability, performance, and safety. Springer, Berlin
Boaventura T (2013) Hydraulic compliance control of the quadruped robot hyq. Ph.D. thesis, Genoa: University of Genoa
Cantoni M, Vinnicombe G (1999) Quantifying uncertainty and robust performance using the nu-gap metric. In: Guidance, navigation, and control conference and exhibit, p 4277
Ferreira ASR, Arcak M, Sontag ED (2012) Stability certification of large scale stochastic systems using dissipativity. Automatica 48(11):2956–2964
Fielding C, Varga A, Bennani S, Selier M (2002) Advanced techniques for clearance of flight control laws, vol 283. Springer, Berlin
Georgiou TT (1993) Differential stability and robust control of nonlinear systems. Math Control Signals Syst 6(4):289–306
Georgiou TT, Smith MC (1995) Metric uncertainty and nonlinear feedback stabilization. In: Feedback control, nonlinear systems, and complexity, pp 88–98. Springer
Georgiou TT, Smith MC (1997) Robustness analysis of nonlinear feedback systems: an input-output approach. IEEE Trans Autom Control 42(9):1200–1221
Gongping L (1991) Certification and application of theory of the second lyapunov main stability. J Shandong Insti Light Ind (Natural Science Edition) 1
Guo Q, Li S, Jiang D (2015) A lower extremity exoskeleton: human-machine coupled modeling, robust control design, simulation, and overload-carrying experiment. In Mathematical problems in engineering 2015
Horowitz IM, Sidi M (1972) Synthesis of feedback systems with large plant ignorance for prescribed time-domain tolerances. Int J Control 16(2):287–309
Hunt K, Jaime RP, Gollee H (2001) Robust control of electrically-stimulated muscle using polynomial H\(\infty \) design. Control Eng Pract 9(3):313–328
Ingibergsson JTM, Schultz UP, Kuhrmann M (2015) On the use of safety certification practices in autonomous field robot software development: a systematic mapping study. In: International conference on product-focused software process improvement, pp 335–352. Springer
Jacklin S (2008) Closing the certification gaps in adaptive flight control software. In: AIAA guidance, navigation and control conference and exhibit, p 6988
Jacobs T, Virk GS (2014) Iso 13482-the new safety standard for personal care robots. In: ISR/Robotik 2014; 41st international symposium on robotics, pp 1–6. VDE
Kazerooni H, Racine JL, Huang L, Steger R (2005) On the control of the berkeley lower extremity exoskeleton (bleex). In: Proceedings of the 2005 IEEE international conference on robotics and automation, pp 4353–4360. IEEE
McFarlane DC, Glover K (1990) Robust controller design using normalized coprime factor plant descriptions, vol 138. Springer, Berlin
Mehdi H, Boubaker O (2012) Stiffness and impedance control using lyapunov theory for robot-aided rehabilitation. Int J Soc Robot 4(1):107–119
Nokata M, Tejima N (2004) 10 a safety strategy for rehabilitation robots. In: Advances in rehabilitation robotics, pp. 177–185. Springer
Ny JL, Pappas GJ (2010) Robustness analysis for the certification of digital controller implementations. In: Proceedings of the 1st ACM/IEEE international conference on cyber-physical systems, pp 99–108. ACM
Park J (2007) Controller certification: the generalized stability margin inference for a large number of mimo controllers. Ph.D. thesis, UC San Diego
Park J, Bitmead RR (2008) Controller certification. Automatica 44(1):167–176
Prajna S, Jadbabaie A, Pappas GJ (2004) Stochastic safety verification using barrier certificates. In: 2004 43rd IEEE conference on decision and control (CDC)(IEEE Cat. No. 04CH37601), vol 1, pp 929–934. IEEE
Qaisar T, Mahmood A (2014) Robust control and optimal analysis of a customized robotic arm with H\(2\) and H\(\infty \) compensators. In: 17th IEEE international multi topic conference 2014, pp. 428–433. IEEE
Roderick S, Carignan C (2007) Designing safety-critical rehabilitation robots. Rehabili Robot 1:43–64
Safonov MG, Tsao TC (1994) The unfalsified control concept and learning. In: Proceedings of 1994 33rd IEEE conference on decision and control, vol 3, pp 2819–2824. IEEE
Teel AR (2013) Lyapunov conditions certifying stability and recurrence for a class of stochastic hybrid systems. Ann Rev Control 37(1):1–24
Villaronga EF (2016) Iso 13482: 2014 and its confusing categories. building a bridge between law and robotics. In: New trends in medical and service robots, pp 31–44. Springer
Vinnicombe G (1993) Frequency domain uncertainty and the graph topology. IEEE Trans Autom Control 38(9):1371–1383
Vinnicombe G (2001) Uncertainty and Feedback: H\(\infty \) Loop-shaping and the \(\nu \)-gap Metric. World Scientific, Singapore
Zhou K, Doyle JC (1998) Essentials of robust control, vol 104. Prentice Hall, Upper Saddle River
Acknowledgements
This research is supported by the Grants #2019/10773-3 and #2018/15472-9, São Paulo Research Foundation (FAPESP). The opinions, assumptions, conclusions, or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of FAPESP.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Technical Editor: Marcelo Areias Trindade
Rights and permissions
About this article
Cite this article
Okle, J., Noppeney, V.T. & Boaventura, T. Certification of linear closed-loop controllers using the \(\nu \)-gap metric and the generalized stability margin. J Braz. Soc. Mech. Sci. Eng. 43, 366 (2021). https://doi.org/10.1007/s40430-021-03079-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40430-021-03079-1