| Peer-Reviewed

Biped Robot Modeling and Control Using Controlled Hybrid Automata

Received: 18 May 2017     Accepted: 27 May 2017     Published: 18 July 2017
Views:       Downloads:
Abstract

Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state subsystems. A controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are described by inhomogeneous differential equations. This paper presents a sufficient condition for the existence of global non-terminating solutions in controlled hybrid automata. The condition is based on a recursive algorithm that can always terminate after a finite number of iterations to a limit set of states, i.e. the fixed point of the recursion. If the fixed point is non-empty, then there exists a measurable control under which the hybrid automaton generates a global non-terminating solution. The more important is that this result can also be used to infer the existence of global solutions to compositions of controlled hybrid automata, thereby providing a foundation for the analysis of large scale hybrid systems. The controlled hybrid automata model can be used for robotics system modeling and control. By solving the global non-terminating solution to controlled hybrid automata, the biped robots can be guaranteed to keep the walking gait without falling down.

Published in International Journal of Systems Science and Applied Mathematics (Volume 2, Issue 4)
DOI 10.11648/j.ijssam.20170204.11
Page(s) 75-82
Creative Commons

This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.

Copyright

Copyright © The Author(s), 2017. Published by Science Publishing Group

Keywords

Hybrid Automata, Decidability Problem, Backward Reachability

References
[1] M. S. Branicky, Wivek S. Borkar, S. K. Mitter, “A unified framework for hybrid control,” IEEE Trans. on Automatic Control, Vol. 43, Issue 1, pp. 31-45, 1998.
[2] R. W. Brockett, “Hybrid models for motion control systems,” Essays in Control, pp. 29-53, Birkhauser, Boston, 1993.
[3] K. E. Colthier, Y. Shang, “ A geometric approach for robotic arm kinematics wit hardware design, electrical design, and implementation. Journal of Robotics, 2010.
[4] S. Cubero, Editor, Industrial Robotics: Theory, Modeling and Control, Pro Literatur Verlag, Germany, 2016.
[5] A. R. C. Donati, et. al. “Long-term training with a Brain-machine interface-based gait protocol induces partial neurological recovery in paraplegic patients,” Scientific Report, 6: 30383, 2016.
[6] L. A. Fuente, M. A. Lones, A. P. Turner, L. S. Caves, S. Stepney, A. M. Tyrrell. “Adaptive robotic gait control using coupled artificial signaling networks, Hopf oscillators and inverse kinematics. IEEE Congress on Evolutionary Computation (CEC), June 20-23, 2013.
[7] M. Garcia, A. Chattejee, A. Ruina, and M. Coleman, “The simplest walking model: stability, complexity, and scaling,” ASME J. Biomech. Eng. Vol. 120, pp. 281-288, 1998.
[8] B. Goodwine, J. W. Burdick, “Controllability of kinematic control systems on stratified configuration spaces,” IEEE Trans. on Automatic Control, Vol. 46, No. 3, pp. 358-368, 2001.
[9] K. Leibrandt, C. Bergeles, G-Z. Yang, “Concentric tube robots: rapid, stable path-planning and guidance for surgical use”, IEEE Robotics & Automation Magazine, Vol: PP, Issue: 99, May 2017, DOI: 10.1109/MRA.2017.2680546.
[10] Y. K. Leow, Y. Shang, “Mobile robot tracking in wireless sensor networks”, Computer in Educaion Journal, Vol. 1, Issue 1, pp. 36-44, 2010.
[11] Y. Shang, “The existence of non-terminating solutions to controlled hybrid automata,” master thesis, University of Notre Dame, 2002.
[12] S. Tadokoro, “Robotics leads social innovation without boarders for the future of humanity,” IEEE Robotics &Automation Magazine, Vol. 24, Issue 1, 4-4, 2017.
[13] A. Teel, J. Hespanha, “Stochastic hybrid systems: a modeling and stability theory tutorial” Proc. of the 54th Conference on Decision and Control, Dec. 15-18, 2015.
[14] T. Umedachi, T. Kano, A Ishiguro, B. A. Trimmer, “Gait control in a soft robot by sensing interactions with the environment using self-deformation,” Royal Society Open Science, 3: 160766, 2016.
[15] B. Vanderborght, “The impact of hardware and open-source initiatives on robotics,” IEEE Robotics &Automation Magazine, Vol. 24, Issue 1, 4-4, 2017.
[16] H. S. Witsenhausen, “A class of hybrid-state continuous-time dynamic systems,” IEEE Trans. Automatic Control, Vol. 11, Issue 2, pp. 161-167, 1966.
Cite This Article
  • APA Style

    Ying Shang. (2017). Biped Robot Modeling and Control Using Controlled Hybrid Automata. International Journal of Systems Science and Applied Mathematics, 2(4), 75-82. https://doi.org/10.11648/j.ijssam.20170204.11

    Copy | Download

    ACS Style

    Ying Shang. Biped Robot Modeling and Control Using Controlled Hybrid Automata. Int. J. Syst. Sci. Appl. Math. 2017, 2(4), 75-82. doi: 10.11648/j.ijssam.20170204.11

    Copy | Download

    AMA Style

    Ying Shang. Biped Robot Modeling and Control Using Controlled Hybrid Automata. Int J Syst Sci Appl Math. 2017;2(4):75-82. doi: 10.11648/j.ijssam.20170204.11

    Copy | Download

  • @article{10.11648/j.ijssam.20170204.11,
      author = {Ying Shang},
      title = {Biped Robot Modeling and Control Using Controlled Hybrid Automata},
      journal = {International Journal of Systems Science and Applied Mathematics},
      volume = {2},
      number = {4},
      pages = {75-82},
      doi = {10.11648/j.ijssam.20170204.11},
      url = {https://doi.org/10.11648/j.ijssam.20170204.11},
      eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.ijssam.20170204.11},
      abstract = {Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state subsystems. A controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are described by inhomogeneous differential equations. This paper presents a sufficient condition for the existence of global non-terminating solutions in controlled hybrid automata. The condition is based on a recursive algorithm that can always terminate after a finite number of iterations to a limit set of states, i.e. the fixed point of the recursion. If the fixed point is non-empty, then there exists a measurable control under which the hybrid automaton generates a global non-terminating solution. The more important is that this result can also be used to infer the existence of global solutions to compositions of controlled hybrid automata, thereby providing a foundation for the analysis of large scale hybrid systems. The controlled hybrid automata model can be used for robotics system modeling and control. By solving the global non-terminating solution to controlled hybrid automata, the biped robots can be guaranteed to keep the walking gait without falling down.},
     year = {2017}
    }
    

    Copy | Download

  • TY  - JOUR
    T1  - Biped Robot Modeling and Control Using Controlled Hybrid Automata
    AU  - Ying Shang
    Y1  - 2017/07/18
    PY  - 2017
    N1  - https://doi.org/10.11648/j.ijssam.20170204.11
    DO  - 10.11648/j.ijssam.20170204.11
    T2  - International Journal of Systems Science and Applied Mathematics
    JF  - International Journal of Systems Science and Applied Mathematics
    JO  - International Journal of Systems Science and Applied Mathematics
    SP  - 75
    EP  - 82
    PB  - Science Publishing Group
    SN  - 2575-5803
    UR  - https://doi.org/10.11648/j.ijssam.20170204.11
    AB  - Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state subsystems. A controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are described by inhomogeneous differential equations. This paper presents a sufficient condition for the existence of global non-terminating solutions in controlled hybrid automata. The condition is based on a recursive algorithm that can always terminate after a finite number of iterations to a limit set of states, i.e. the fixed point of the recursion. If the fixed point is non-empty, then there exists a measurable control under which the hybrid automaton generates a global non-terminating solution. The more important is that this result can also be used to infer the existence of global solutions to compositions of controlled hybrid automata, thereby providing a foundation for the analysis of large scale hybrid systems. The controlled hybrid automata model can be used for robotics system modeling and control. By solving the global non-terminating solution to controlled hybrid automata, the biped robots can be guaranteed to keep the walking gait without falling down.
    VL  - 2
    IS  - 4
    ER  - 

    Copy | Download

Author Information
  • Department of Electrical and Computer Engineering, Southern Illinois University Edwardsville, Edwardsville, USA

  • Sections