Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses

A sensitivity-based approach for computing over-approximations of reachable sets, in the presence of constant parameter uncertainties and a single initial state, is used to analyze a three-link planar robot modeling a Powered Lower Limb Orthosis and its user. Given the nature of the mappings relating the state and parameters of the system with the inputs, and outputs describing the trajectories of its Center of Mass, reachable sets for their respective spaces can be obtained relying on the sensitivities of the nonlinear closed-loop dynamics in the state space. These over-approximations are used to evaluate the worst-case performances of a finite time horizon linear-quadratic regulator (LQR) for controlling the ascending phase of the Sit-To-Stand movement.

[1]  F. Biering-Sørensen,et al.  Gait training after spinal cord injury: safety, feasibility and gait function following 8 weeks of training with the exoskeletons from Ekso Bionics , 2017, Spinal Cord.

[2]  Eric Kubica,et al.  Modeling and Control Considerations for Powered Lower-Limb Orthoses: A Design Study for Assisted STS , 2007 .

[3]  L. Chou,et al.  Dynamic balance control during sit-to-stand movement: an examination with the center of mass acceleration. , 2012, Journal of biomechanics.

[4]  Mont Hubbard,et al.  Constrained Multibody Dynamics With Python: From Symbolic Equation Generation to Publication , 2013 .

[5]  Hassan K. Khalil,et al.  Nonlinear Systems Third Edition , 2008 .

[6]  Murat Arcak,et al.  Finite Time Robust Control of the Sit-to-Stand Movement for Powered Lower Limb Orthoses , 2018, 2018 Annual American Control Conference (ACC).

[7]  Peter Seiler,et al.  Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints , 2017, Autom..

[8]  Bai Xue,et al.  Just scratching the surface: Partial exploration of initial values in reach-set computation , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[9]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[10]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems , 2007, IEEE Transactions on Automatic Control.

[11]  D. Davy,et al.  Orthopaedic Biomechanics: Mechanics and Design in Musculoskeletal Systems , 2006 .

[12]  Tor Arne Johansen,et al.  Control allocation - A survey , 2013, Autom..

[13]  M. Arcak,et al.  Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity , 2018, IEEE Control Systems Letters.

[14]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

[15]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..

[16]  Murat Arcak,et al.  Motion Planning of the Sit to Stand Movement for Powered Lower Limb Orthoses , 2017 .

[17]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[18]  V. Cimolin,et al.  Quantitative analysis of sit to stand movement: experimental set-up definition and application to healthy and hemiplegic adults. , 2008, Gait & posture.