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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tabuada, P., Pappas, G.J.: Finite bisimulations of controllable linear systems. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)
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)
Tabuada, P., Pappas, G.J.: From discrete specifications to hybrid control. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)
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
Hristu, D., Morgansen, K.: Limited communication control. Systems and Control Letters 37, 193–205 (1999)
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)
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)
Tatikonda, S., Mitter, S.: Control under communication constraints. IEEE Transactions on Automatic Control 49, 1056–1068 (2004)
Elia, N., Mitter, S.: Stabilization of linear systems with limited information. IEEE Transactions on Automatic Control 46, 1384–1400 (2001)
Liberzon, D.: Hybrid feedback stabilization of systems with quantized signals. Automatica 39, 1543–1554 (2003)
Bicchi, A., Marigo, A., Piccoli, B.: On the rechability of quantized control systems. IEEE Transaction on Automatic Control (2002)
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)
Frazzoli, E.: Explicit solutions for optimal maneuver-based motion planning. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii (2003)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)