Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Hybrid Systems: Computation and Control

HSCC 2003: Hybrid Systems: Computation and Control pp 36–49Cite as

Mode Reconstruction for Source Coding and Multi-modal Control

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2623))

Abstract

In this paper we take the point of view that control procedures have an information theoretic content that can be more or less effectively coded. Of particular interest are control procedures for navigation and obstacle avoidance for mobile robots, and we show how tokenized instructions can be used for understanding how computer generated inputs to robotics systems should be defined, selected, and coded. To this end, a dynamic programming algorithm is developed for generating control procedures that are useful in given robotics applications.

The support from NSF through the program EHS NSF-01-161 (grant # 0207411) is gratefully acknowledged.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. C. Arkin. Behavior Based Robotics. The MIT Press, Cambridge, MA, 1998.

    Google Scholar 

  2. K. J. Åström and B. M. Bernhardsson. Comparison of Riemann and Lebesgue Sampling for First Order Stochastic Systems. In IEEE Conference on Decision and Control, pp. 2011–2016, Las Vegas, NV, Dec. 2002.

    Google Scholar 

  3. D. P. Bertsekas. Dynamic Programming and Optimal Control, Vol. 1. Athena Scientific, Belmont, MA, 1995.

    Google Scholar 

  4. R. W. Brockett. On the Computer Control of Movement. In the Proceedings of the 1988 IEEE Conference on Robotics and Automation, pp. 534–540, New York, April 1988.

    Google Scholar 

  5. R. W. Brockett. Hybrid Models for Motion Control Systems. In Perspectives in Control, Eds. H. Trentelman and J. C. Willems, pp. 29–54, Birkhäuser, Boston, 1993.

    Google Scholar 

  6. T. M. Cover and J. A. Thomas. Elements of Information Theory, John Wiley & Sons, Inc., New York, 1991.

    MATH  Google Scholar 

  7. M. Egerstedt. Some Complexity Aspects of the Control of Mobile Robots. American Control Conference, Anchorage, Alaska, May, 2002.

    Google Scholar 

  8. M. Egerstedt and R. W. Brockett. Feedback Can Reduce the Specification Complexity of Motor Programs. To appear in IEEE Transactions on Automatic Control, 2002.

    Google Scholar 

  9. M. Egerstedt. On the Specification Complexity of Linguistic Control Procedures. International Journal of Hybrid Systems, Vol. 2, No. 2, 2002.

    Google Scholar 

  10. M. Egerstedt. Motion Description Languages for Multi-Modal Control in Robotics. In Control Problems in Robotics, Springer Tracts in Advanced Robotics (A. Bicchi, H. Cristensen and D. Prattichizzo Eds.), Springer-Verlag, pp. 75–90, Las Vegas, NV, Dec. 2002.

    Google Scholar 

  11. T. A. Henzinger. Masaccio: A Formal Model for Embedded Components. Proceedings of the First IFIP International Conference on Theoretical Computer Science, Lecture Notes in Computer Science 1872, Springer-Verlag, 2000.

    Google Scholar 

  12. J. E. Hopcroft and G. Wilfong. Motion of Objects in Contact. The International Journal of Robotics Research, Vol. 4, No. 4, pp. 32–46, 1986.

    Article  Google Scholar 

  13. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation, 2nd Ed., Addison-Wesley, New York, 2001.

    MATH  Google Scholar 

  14. D. Hristu and S. Andersson. Directed Graphs and Motion Description Languages for Robot Navigation and Control. Proceedings of the IEEE Conference on Robotics and Automation, May. 2002.

    Google Scholar 

  15. D. A. Huffman. A Method for the Construction of Minimum Redundancy Codes. Proceedings of IRE, Vol. 40, pp. 1098–1101, 1952.

    Google Scholar 

  16. V. Manikonda, P. S. Krishnaprasad, and J. Hendler. Languages, Behaviors, Hybrid Architectures and Motion Control. In Mathematical Control Theory, Eds. Willems and Baillieul, pp. 199–226, Springer-Verlag, 1998.

    Google Scholar 

  17. J. Rissanen. Stochastic Complexity in Statistical Inquiry. World Scientific Publishing Company, River Edge, NJ, 1989.

    MATH  Google Scholar 

  18. C. E. Shannon. A Mathematical Theory of Communication. Bell Systems Technical Journal, Vol. 27, pp. 379–423, 1948.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Georgia Institute of Technology, School of Electrical and Computer Engineering, 30332, Atlanta, GA, USA

    Adam Austin & Magnus Egerstedt

Authors
  1. Adam Austin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Magnus Egerstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CNRS-VERIMAG, 2 avenue de Vignate, 38610, Gières, France

    Oded Maler

  2. Weizmann Institute of Science, Rehovot, 76100, Israel

    Amir Pnueli

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Austin, A., Egerstedt, M. (2003). Mode Reconstruction for Source Coding and Multi-modal Control. In: Maler, O., Pnueli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2003. Lecture Notes in Computer Science, vol 2623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36580-X_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-36580-X_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00913-9

  • Online ISBN: 978-3-540-36580-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation