Abstract
In this paper we revisit the construction of quantized models of control systems. Based on an approximate notion of simulation relation and under a stabilizability assumption we show how we can force a lattice structure on the reachable space of a quantized control system for any finite input quantization. When we are only interested in a compact subset of the state space, as is the case in concrete applications, our results immediately provide a finite model for the quantized control system.
This research was partially supported by the National Science Foundation CAREER award 0446716.
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
Artstein, Z.: Stabilization with relaxed controls. Nonlinear Analysis, Theory, Methods, and Applications 7, 1163–1173 (1983)
Bicchi, A., Marigo, A., Piccoli, B.: On the reachability of quantized control systems. IEEE Transaction on Automatic Control 47(4), 546–563 (2002)
Bicchi, A., Marigo, A., Piccoli, B.: Feedback encoding for efficient symbolic control of dynamical systems. IEEE Transaction on Automatic Control 51(6), 987 (2006)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Girard, A., Pappas, G.: Approximate bisimulations for constrained linear systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, IEEE Computer Society Press, Los Alamitos (2005)
Girard, A., Pappas, G.J.: Approximate bisimulations for nonlinear dynamical systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, IEEE Computer Society Press, Los Alamitos (2005)
Kloetzer, M., Belta, C.: Reachability analysis of multi-affine systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 348–362. Springer, Heidelberg (2006)
Lin, Y., Sontag, E.D.: Control-Lyapunov universal formulae for restricted inputs. Control: Theory and Advanced Technology 10, 1981–2004 (1995)
Pancanti, S., et al.: Optimal control of quantized linear systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 351–363. Springer, Heidelberg (2002)
Tabuada, P.: An approximate simulation approach to symbolic control. Submitted for publication (2006), Available at http://www.ee.ucla.edu/~tabuada
Paulo Tabuada. Symbolic models for control systems. Acta Informatica, Accepted for publication (2007), Available at http://www.ee.ucla.edu/~tabuada
Tabuada, P., Pappas, G.J.: Linear Time Logic control of discrete-time linear systems. IEEE Transactions on Automatic Control 51(12), 1862–1877 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Tabuada, P. (2007). Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds) Hybrid Systems: Computation and Control. HSCC 2007. Lecture Notes in Computer Science, vol 4416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71493-4_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-71493-4_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71492-7
Online ISBN: 978-3-540-71493-4
eBook Packages: Computer ScienceComputer Science (R0)