On Hybrid Control of Under-Actuated Mechanical Systems

This publication has 8 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Effective synthesis of switching controllers for linear systems
  Proceedings of the IEEE, 2000
• A game theoretic approach to controller design for hybrid systems
  Proceedings of the IEEE, 2000
• Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
  Published by Springer Nature ,2000
• Can an underactuated leg with a passive spring at the knee achieve a ballistic step?
  Published by Springer Nature ,2000
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995