» Download Article

Authors
O'Toole, Michael Daniel; Navarro Lopez, Eva Maria

Digital Object Identifier (DOI)
10.3182/20120606-3-NL-3011.00048

Page Numbers:
299-306

Index Terms
Hybrid automata; Mechanical systems; Modeling

Abstract
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.

References

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.