Journal of Nonlinear Science

, Volume 6, Issue 2, pp 105–138 | Cite as

Local characterization of invariant sets of an autonomous differential inclusion

Boundary of unstable manifolds
  • S. Shekhar
Article
Received:
Accepted:
  • 38 Downloads

Summary

An application in robotics motivates us to characterize the evolution of a subset in state space due to a compact neighborhood of an arbitrary dynamical system—an instance of a differential inclusion. Earlier results of Blagodat·skikh and Filippov (1986) and Butkovskii (1982) characterize the boundary of theattainable set and theforward projection operator of a state. Our first result is a local characterization of the boundary of the forward projection ofa compact regular subset of the state space.

Let the collection of states such that the differential inclusion contains an equilibrium point be called asingular invariant set. We show that the fields at the boundary of the forward projection of a singular invariant set are degenerate under some regularity assumptions when the state-wise boundary of the differential inclusion is smooth. Consider instead those differential inclusions such that the state-wise boundary of the problem is a regular convex polytope—a piecewise smooth boundary rather than smooth. Our second result gives conditions for theuniqueness andexistence of the boundary of the forward projection of a singular invariant set. They characterize the bundle of unstable and stable manifolds of such a differential inclusion.

Key words

Differential inclusions unstable and stable manifolds stability boundaries multivalued differential equations control uncertainty fine-motion planning robotics 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AbMa78] Abraham, R. and Marsden, J. E. (1978)Foundations of Mechanics, second edition, W. A. Benjamin, Readings, MA.MATHGoogle Scholar
  2. [A88] Arnold, V. I. (1988).Geometrical Methods in the Theory of Ordinary Differential Equations, second edition, Springer-Verlag, New York.Google Scholar
  3. [AC84] Aubin, J. P. and Cellina, A. (1984)Differential Inclusions, Springer-Verlag, New York.MATHGoogle Scholar
  4. [BF86] Blagodat·skikh, V. I. and Filippov, A. F. (1986) “Differential Inclusions and Optimal Control”,Topology, Ordinary Differential Equations, Dynamical Systems, Proc. Steklov Institute of Mathematics, 169(4), pp. 199–259.Google Scholar
  5. [B82] Butkovskii, A. G. (1982) “A Differential Geometric Method for the Constructive Solution of Problems of Controllability and Finite Control,”Avtomat. i. Telemekh., 1, pp. 5–18; English transl. inAutomatic Remote Control, 43, pp. 1–12.MATHMathSciNetGoogle Scholar
  6. [CO] Cellina, A. and Ornelas, A. (1992) “Representation of the Attainable Set for Lipschitzian Differential Inclusions,”Rocky Mountain Journal of Math., 22(1), pp. 117–124.MATHMathSciNetGoogle Scholar
  7. [DufLat84] Dufay, B. and Latombe, J. C. (1984) “An Approach to Automatic Robot Programming Based on Inductive Learning,”Int. J. of Robotics Research, 3(4), pp. 3–20.Google Scholar
  8. [GP74] Guillemin, V. and Pollack, A. (1974)Differential Topology, Prentice-Hall, Englewood Cliffs, New Jersey.MATHGoogle Scholar
  9. [HS74] Hirsch, M. W. and Smale, S. (1974)Differential Equations, Dynamical Systems and Linear Algebra, Academic Press, New York.MATHGoogle Scholar
  10. [Lang72] Lang, S. (1971)Linear Algebra, second edition, Addison-Wesley, Reading, MA.Google Scholar
  11. [Lat88] Latombe, J. C. (1988) “Motion Planning with Uncertainty: The Preimage Backchaining Approach,” Technical Report No. STAN-CS-88-1196, Department of Computer Science, Stanford University.Google Scholar
  12. [Lat91] Latombe, J. C. (1991)Robot Motion Planning, Kluwer, Boston, MA.Google Scholar
  13. [LLS91] Latombe, J. C., Lazanas, A., and Shekhar, S. (1991) “Robot Motion Planning with Uncertainty in Control and Sensing,”Artificial Intelligence, 52, pp. 1–47 (appeared earlier as Technical Report STAN-CS-89-1292, Department of Computer Science, Stanford University).MATHMathSciNetCrossRefGoogle Scholar
  14. [Loz76] Lozano-Pérez, T. (1976) “The Design of a Mechanical Assembly System,” Technical Report AI-TR-397, Artificial Intelligence Laboratory, M.I.T., Cambridge, MA.Google Scholar
  15. [LMT84] Lozano-Pérez, T., Mason, M. T., and Taylor, R. H. (1984) “Automatic Synthesis of Fine Motion Strategies for Robots,”Int. J. of Robotics Research, 3(1), pp. 3–24.Google Scholar
  16. [Palmel82] Palis Jr., J. and de Melo, W. (1982)Geometric Theory of Dynamical Systems—An Introduction, Springer-Verlag, New York.MATHGoogle Scholar
  17. [SK87] Shekhar, S. and Khatib, O. (1987) “Force Strategies in Real Time Fine Motion Assembly,”ASME Winter Annual Meeting, Boston, DSC 6, pp. 169–176.Google Scholar
  18. [SL91] Shekhar, S. and Latombe, J. C. (1991) “On Goal Recognizability in Motion Planning with Uncertainty”,Proc. of the IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 1728–1733.Google Scholar
  19. [S93] Shekhar, S. (1993)Control Uncertainty in Fine Motion Planning, Ph.D. Dissertation, Department of Mechanical Engineering, Stanford University, CA (appeared also as Technical Report STAN-CS-93-1479, Department of Computer Science, Stanford University).Google Scholar
  20. [Smale67] Smale, S. (1967) “Differentiable Dynamical Systems,”American Mathematical Society Bulletin, 73, pp. 747–817.MATHMathSciNetCrossRefGoogle Scholar
  21. [Spiv79] Spivak, M. (1979)Differential Geometry—Vol. I., Publish or Perish, Wilmington, DE.Google Scholar
  22. [StWu91] Staicu, V. and Wu, H. (1991) “Arcwise Connectedness of Solutions Sets to Lipschitzian Differential Inclusions,”Bollettino della Unione Matematica Italiana, (7)5-A, pp. 253–256.MathSciNetGoogle Scholar
  23. [Tay76] Taylor, R. H. (1976)Synthesis of Manipulator Control Programs from Task-Level Specifications, Ph.D. Dissertation, Department of Computer Science, Stanford University, CA.Google Scholar
  24. [Tr57] Tricomi, F. G. (1957)Equazioni a derivate parziali, Edizioni cremonese, Roma.MATHGoogle Scholar

Copyright information

© Springer-Verlag New York Inc 1996

Authors and Affiliations

  • S. Shekhar
    • 1
  1. 1.Oak Ridge National LaboratoryOak RidgeUSA

Personalised recommendations