Skip to main content
SpringerLink
Log in

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

  • Conference paper
Hybrid Systems: Computation and Control (HSCC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3414))

Included in the following conference series:

Abstract

In this paper we consider the problem of developing sensor/actuator abstractions for embedded control design. These abstractions take the form of inequalities relating sensor/actuator characteristics with the continuous dynamics’ output. When satisfied, they allow to decouple control design from the choice of sensor/actuators, thus simplifying control design while ensuring implementability.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Tabuada, P., Pappas, G.J.: Finite bisimulations of controllable linear systems. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)

    Google Scholar 

  2. Tabuada, P.: Flatness and finite bisimulations in discrete time. In: Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium (2004)

    Google Scholar 

  3. Tabuada, P., Pappas, G.J.: From discrete specifications to hybrid control. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)

    Google Scholar 

  4. Tabuada, P., Pappas, G.J.: Linear Time Logic control of linear systems. In: IEEE Transaction on Automatic Control (2004) Under review, available at: www.nd.edu/~ptabuada

  5. Hristu, D., Morgansen, K.: Limited communication control. Systems and Control Letters 37, 193–205 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  6. Wong, W.S., Brockett, R.: Systems with finite communication bandwidth constraints II: Stabilization with limited information feedback. IEEE Transactions on Automatic Control 44, 1049–1053 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hespanha, J., Ortega, A., Vasudevan, L.: Towards the control of linear systems with minimum bit-rate. In: Proceedings of the Int. Symp. on the Mathematical Theory of Networks and Systems, Notre Dame, Indiana (2002)

    Google Scholar 

  8. Tatikonda, S., Mitter, S.: Control under communication constraints. IEEE Transactions on Automatic Control 49, 1056–1068 (2004)

    Article  MathSciNet  Google Scholar 

  9. Elia, N., Mitter, S.: Stabilization of linear systems with limited information. IEEE Transactions on Automatic Control 46, 1384–1400 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  10. Liberzon, D.: Hybrid feedback stabilization of systems with quantized signals. Automatica 39, 1543–1554 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  11. Bicchi, A., Marigo, A., Piccoli, B.: On the rechability of quantized control systems. IEEE Transaction on Automatic Control (2002)

    Google Scholar 

  12. Pancanti, S., Leonardi, L., Pallottino, L., Bicchi, A.: Optimal control of quantized input systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 351–363. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Frazzoli, E.: Explicit solutions for optimal maneuver-based motion planning. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii (2003)

    Google Scholar 

  14. Hristu-Varsakelis, D., Egerstedt, M., Krishnaprasad, P.: On the structural complexity of the motion description language mdle. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii (2003)

    Google Scholar 

  15. Austin, A., Egerstedt, M.: Mode reconstruction for source coding and multi-modal control. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 36–49. Springer, Heidelberg (2004)

    Google Scholar 

  16. Krogh, B., Maler, O., Mahfoudh, M.: On control with bounded computational resources. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 147–164. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Palopoli, L., Pinello, C., Vincentelli, A.L.S., Elghaoui, L., Bicchi, A.: Synthesis of robust control systems under resource constraints. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 337–350. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556

    Paulo Tabuada

Authors
  1. Paulo Tabuada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Automatic Control Laboratory, ETH Zurich, 8092, Zurich, Switzerland

    Manfred Morari

  2. Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

    Lothar Thiele

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tabuada, P. (2005). Sensor/Actuator Abstractions for Symbolic Embedded Control Design. In: Morari, M., Thiele, L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31954-2_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31954-2_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25108-8

  • Online ISBN: 978-3-540-31954-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation