A Hybrid Automaton for a Class of Multi-Contact Rigid-Body Systems with Friction and Impacts
Analysis and Design of Hybrid Systems, Volume # | Part#
O'Toole, Michael Daniel; Navarro Lopez, Eva Maria
Digital Object Identifier (DOI)
Hybrid automata; Mechanical systems; Modeling
Hybrid automata is a powerful framework for representing the dynamics of rigid-body mechanical systems. Thus far however, work has mainly focused on examples with only single points of contact. Consider for instance, the ubiquitous bouncing-ball example. The case of multiple contacts is much more complex. An event at one contact can affect the other contacts even when there is no apparent transmission mechanism. In this paper, we present a general hybrid automaton for systems consisting of multiple rigid-bodies with convex differentiable surfaces. The hybrid automaton assumes that Newton's impact law (restitution) and Coulomb friction are acting at the points of contact. Multiple contacts are addressed by introducing computational nodes which can be considered as the well-known mythical modes in the discontinuous systems' literature. These nodes consist of non-dynamical discrete states and reset operations which find valid combinations of contact forces. In this manner, they will guide the executions of the hybrid automaton to the relevant hybrid discrete locations.
V. Acary and B. Brogliato Numerical Methods for Nonsmooth Dynamical Systems. Springer-Verlag, Heidelberg, 2008. P. Alart, and A. Curnier. A mixed formulation for fictional contact problems prone to Newton like solution methods. Comp. Methods in App. Mech. and Eng., 92:353–375, 1991. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, 736:209–229, 1993. E. Bayo, and R. Laursen. Augmented Lagrangian and Mass- Orthogonal Projection Methods for Constrained Multibody Dynamics. Nonlinear Dynamics, 9:113–130, 1996. B. Brogliato. Nonsmooth Mechanics. Springer, London, 2nd ed., 1999. R. Goebel, R.G. Sanfelice, and A.R. Teel. Hybrid dynamical systems. Robust stability and control for systems that combine continuous-time and discrete-time dynamics. IEEE Control Systems Magazine, April:28–93, 2009. T.A. Henzinger. The theory of hybrid automata. Proc. 11th IEEE Symposium of Logic in Computer Science, 1:278–292, 1996. K.H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry. On the regularization of Zeno hybrid automata. Systems & Control Letters, 38:141–150, 1999. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3): 349–370, 1999. J. Lygeros, K.H. Johansson, S.N. Simic, J. Zhang, and S. Sastry. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48(1):2–17, 2003. P.J. Mosterman, F. Zhao, and G. Biswas. Sliding mode model semantics and simulation for hybrid systems. P. Antsaklis et al. (Eds); Hybrid Systems V, LNCS, 1567:218–237, Springer- Verlag, 1999. P.J. Mosterman, and G. Biswas. A theory of discontinuities in dynamic physical systems. Journal of the Franklin Institute, 335B(3):401–439, 1998. P.J. Mosterman, and G. Biswas. A comprehensive methodology for building hybrid models of physical systems. Artificial Intelligence, 121:171–209, 2000. P.J. Mosterman. Mode transition behavior in hybrid dynamic systems. 2003 IEEE Winter Simulation Conference, 623– 631, 2003. E.M. Navarro-López, and D. Cortés. Avoiding harmful oscillations in a drillstring through dynamical analysis. Journal of Sound and Vibration, 307(1–2):152–171, 2007. E.M. Navarro-López. Hybrid modelling of a discontinuous dynamical system including switching control. 2nd IFAC Conference on Analysis and Control of Chaotic Systems, special session “Hybrid systems and grazing bifurcations”, (London, UK, June 22–24), , 2009. E.M. Navarro-López, and R.Carter. Hybrid automata: an insight into the discrete abstraction of discontinuous systems. International Journal of Systems Science, August:1– 16, 2010. T. Nishida, and S. Doshita. Reasoning about discontinuous change. 6th National Conference on Artificial Intelligence (AAAI-87), (Seattle, Washington, USA), 643–648, 1987. J.S. Pang and J.C. Trinkle. Complementarity formulations and existence of solutions of dynamic multi-rigid-body contact problems with Coulomb friction. Math. Prog., 30:199–226, 1996. F. Pfeiffer. Mechanical System Dynamics. Springer-Verlag, Heidelberg, 2008. J.C. Simo, and T.A. Laursen. An Augmented Lagrangian Treatment of Contact Problems Involving Friction. Computers and Structures, 42(1):91–116, 1992. C. Studer. Numerics of Unilateral Contacts and Friction. Springer-Verlag, Heidelberg, 2009. F. Zhang, M. Yeddanapudi, and P.J. Mosterman. Zero-crossing location and detection algorithms for hybrid system simulation. 17th IFAC Triennial World Congress, (Seoul, Korea, July 6–11)7967–7972, 2008.