Abstract
The paper concerns the representation of continuous-variable discrete-time systems with quantised input and state. It shows that the autonomous quantised system is represented by the Frobenius-Perron operator and the non-autonomous by the Foias operator. A finite and complete approximation of the Frobenius-Perron operator is given by an automaton which turns out to be identical to the discrete abstraction of the quantised system that is currently studied in the literature on verification or diagnosis of hybrid systems. Hence, the paper shows a connection between the mathematical literature and hybrid systems research. As a result of this connection it is shown that the abstraction converges to the continuous system for finer quantisation. The paper ends with presenting a method for the computation of abstractions that guarantees the completeness of the resulting model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ding, J., A. Zhou: Finite approximations of Frobenius-Perron operators. A solution of Ulam’s conjecture to multi-dimensional transformations. Physica D 92 (1996) 61–68
Förstner, D., J. Lunze: A discrete-event abstraction of continuous-variable systems with asynchronous inputs. Proc. 3rd IMACS Symposium on Math. Mod., Vienna (2000) 449–452
Guder, R., E. Kreuzer: Using generalized cell mapping to approximate invariant measures on compact manifolds. Int. J. of Bifurcation and Chaos 7 (1997) 2487–2499
Hsu, C.S.: Cell-to-cell mapping. Springer-Verlag, New York (1987)
Krogh, B.H., A. Chutinan: Hybrid systems: modelling and supervisory control. Advances in Control, Springer-Verlag, London (1999) 227–246
Lasota, A., M.C. Mackey: Chaos, fractals, and noise. Springer-Verlag, New York (1994)
Li, T.Y.: Finite approximation of the Frobenius-Perron operator. A solution to Ulam’s conjecture. J. Approx. Theory 17 (1976) 177–186
Lunze, J., B. Nixdorf, J. Schröder: A unified approach to the representation of discrete-time and discrete-event quantised systems. Proc. European Control Conf., Karlsruhe (1999)
Lunze, J.: Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica 30 (1994) 417–432
Preisig, H. A., M. J. H. Pijpers, M. Weiss: A discrete modelling procedure for continuous processes based on state-discretisation. Proc. 2nd IMACS Symposium on Math. Mod., Vienna (1997) 189–194
Raisch, J.: Nondeterministic automata as approximations for continuous systems-an approach with an adjustable degree of accuracy. Proc. 2nd IMACS Symposium on Math. Mod., Vienna (1997) 195–202
Schwarz, W., M. Götz, K. Kelber, A. Abel, T. Falk, F. Dachselt: Statistical analysis and design of chaotic systems. Technical Report, TU-Dresden (2000)
Ulam, S.M.: A collection of mathematical problems. Interscience, New York, (1960)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schröderand, J., Lunze, J. (2001). Representation of Quantised Systems by the Frobenius-Perron Operator. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2001. Lecture Notes in Computer Science, vol 2034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45351-2_38
Download citation
DOI: https://doi.org/10.1007/3-540-45351-2_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41866-5
Online ISBN: 978-3-540-45351-2
eBook Packages: Springer Book Archive