Abstract
In this chapter we introduce the class of control systems, tautological control systems, that we propose as being useful mathematical models for the investigation of geometric system structure. As promised in our introduction in Sect. 1.2, this class of systems naturally handles a variety of regularity classes; we work with finitely differentiable, Lipschitz, smooth, and real analytic classes simultaneously with comparative ease. Also as indicated in Sect. 1.2, the framework makes essential use of sheaf theory in its formulation. We shall see in Sect. 5.6 that the natural morphisms for tautological control systems ensure feedback-invariance of the theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This relies on the fact that Oka’s Theorem, in the version of “the sheaf of sections of a vector bundle is coherent”, holds in the real analytic case. It does, and the proof is the same as for the holomorphic case [8, Theorem 3.19] since the essential ingredient is the Weierstrass Preparation Theorem, which holds in the real analytic case [17, Theorem 6.1.3].
- 2.
Recall that this means that \(\mathcal {{C}}\) is the continuous image of a complete, separable, metric space. We refer to [3, §6.6–6.8] for an outline of the theory of Suslin spaces.
References
Abraham R, Marsden JE, Ratiu TS (1988) Manifolds, tensor analysis, and applications, 2 edn. No. 75 in Applied Mathematical Sciences. Springer, Berlin
Beckmann R, Deitmar A (2011) Strong vector valued integrals. ArXiv:1102.1246v1 [math.FA]. http://arxiv.org/abs/1102.1246v1
Bogachev VI (2007) Measure theory, vol 2. Springer, New York
Bourbaki N (1989) General topology I. Elements of Mathematics. Springer, New York
Cartan H (1957) Variétés analytiques réelles et variétés analytiques complexes. Bull. Soc. Math. France 85:77–99
Coddington EE, Levinson N (1984) Theory of ordinary differential equations, 8th edn. Robert E. Krieger Publishing Company, Huntington
Cohn DL (1980) Measure theory. Birkhäuser, Boston
Demailly JP (2012) Complex analytic and differential geometry. Unpublished manuscript made publicly available. http://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf
Elliott DL (2009) Bilinear systems. Matrices in action. No. 169 in Applied Mathematical Sciences. Springer, New York
Gromov M (1999) Metric structures for Riemannian and non-Riemannian spaces. Modern Birkhäuser Classics. Birkhäuser, Boston
Gunning RC (1990) Introduction to holomorphic functions of several variables, vol I: function theory. Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole, Belmont
Himmelberg CJ (1975) Measurable relations. Fund Math 87:53–72
Horváth J (1966) Topological vector spaces and distributions, vol I. Addison Wesley, Reading
Jafarpour S, Lewis AD (2014) Locally convex topologies and control theory. Submitted to SIAM J Control Optim
Jafarpour S, Lewis AD (2014) Time-varying vector fields and their flows. To appear in Springer Briefs in Mathematics
Kashiwara M, Schapira P (1990) Sheaves on manifolds. No. 292 in Grundlehren der Mathematischen Wissenschaften. Springer, New York
Krantz SG, Parks HR (2002) A primer of real analytic functions, 2nd edn. Birkhäuser Advanced Texts. Birkhäuser, Boston
Mather JN (1969) Stability of \({C}^{\infty } \)-mappings: II. Infinitesimal stability implies stability. Ann Math 89(2):254–291
Pietsch A (1969) Nuclear locally convex spaces. No. 66 in Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, New York
Schaefer HH, Wolff MP (1999) Topological vector spaces, 2 edn. No. 3 in Graduate Texts in Mathematics. Springer, New York
Stacks Project Authors (2014) Stacks Project. http://stacks.math.columbia.edu
Weaver N (1999) Lipschitz algebras. World Scientific, Singapore
Willard S (2004) General topology. Dover Publications Inc, New York. Reprint of 1970 Addison-Wesley edition
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 The Author(s)
About this chapter
Cite this chapter
Lewis, A.D. (2014). Tautological Control Systems: Definitions and Fundamental Properties. In: Tautological Control Systems. SpringerBriefs in Electrical and Computer Engineering(). Springer, Cham. https://doi.org/10.1007/978-3-319-08638-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-08638-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08637-8
Online ISBN: 978-3-319-08638-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)