Abstract
A convenient way to represent a nonlinear input–output system in control theory is via a Chen–Fliess functional expansion or Fliess operator. The general goal of this paper is to describe how to approximate Fliess operators with iterated sums and to provide accurate error estimates for two different scenarios, one where the series coefficients are growing at a local convergence rate, and the other where they are growing at a global convergence rate. In each case, it is shown that the error estimates are asymptotically achievable for certain worst case inputs. The paper then focuses on the special case where the operators are rational, i.e., they have rational generating series, and thus are realizable in terms of bilinear ordinary differential state equations. In particular, it is shown that a discretization of the state equation via a kind of Euler approximation coincides exactly with the discrete-time Fliess operator approximator of the continuous-time rational operator.
Similar content being viewed by others
Notes
The polynomial \(1\emptyset \) is abbreviated throughout as 1.
Note here that \(\hat{u}^i(N)\) is the i-th power of \(\hat{u}(N)\) and not the i-th component of \(\hat{u}(N)\).
References
Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Springer, Berlin (1988)
Butler, S., Karasik, P.: A note on nested sums. J. Integer Seq. 13, 4 (2010)
Chen, K.-T.: Iterated integrals and exponential homomorphisms. Proc. Lond. Math. Soc. 4, 502–512 (1954)
Duffaut Espinosa L.A., Gray, W.S.: Motion planning using analytic left inversion for the bi-steerable car. http://lanl.arxiv.org/abs/1603.06163
Fliess, M.: Fonctionnelles causales non linéaires et indéterminées non commutatives. Bull. Soc. Math. Franc. 109, 3–40 (1981)
Fliess, M.: Réalisation locale des systèmes non linéaires, algèbres de Lie filtrées transitives et séries génératrices non commutatives. Invent. Math. 71, 521–537 (1983)
Gradshteyn, I.S., Ryzhik, I.M.: Tables of Integrals, Series, and Products, 4th edn. Academic Press, Orlando (1980)
Gray, W.S., Duffaut Espinosa, L.A.: A Faà di Bruno Hopf algebra for analytic nonlinear feedback control systems. In: Ebrahimi-Fard, K., Fauvet, F. (eds.) Faà di Bruno Hopf Algebras, Dyson-Schwinger Equations, and Lie-Butcher Series, IRMA Lect. Math. Theor. Phys., vol. 21, pp. 149–217. Eur. Math. Soc., Zürich, Switzerland (2015)
Gray, W.S., Duffaut Espinosa, L.A., Ebrahimi-Fard, K.: Faà di Bruno Hopf algebra of the output feedback group for multivariable Fliess operators. Syst. Control Lett. 74, 64–73 (2014)
Gray, W.S., Duffaut Espinosa, L.A., Ebrahimi-Fard, K.: Analytic left inversion of multivariable Lotka–Volterra models. In: Proceedings of the 54th IEEE Conference on Decision and Control, Osaka, Japan, pp. 6472–6477 (2015)
Gray, W.S., Duffaut Espinosa, L.A., Ebrahimi-Fard, K., Discrete-time approximations of Fliess operators. In: Proceedings of the American Control Conference, Boston, MA, pp. 2433–2439 (2016)
Gray, W.S., Duffaut Espinosa, L.A., Thitsa, M.: Left inversion of analytic nonlinear SISO systems via formal power series methods. Automatica 50, 2381–2388 (2014)
Gray, W.S., Li, Y.: Generating series for interconnected analytic nonlinear systems. SIAM J. Control Optim. 44, 646–672 (2005)
Gray, W.S., Wang, Y.: Fliess operators on \(L_p\) spaces: convergence and continuity. Syst. Control Lett. 46, 67–74 (2002)
Grüne, L., Kloeden, P.E.: Higher order numerical schemes for affinely controlled nonlinear systems. Numer. Math. 89, 669–690 (2001)
Grüne, L., Worthmann, K., Nešić, D.: Continuous-time controller redesign for digital implementation: a trajectory based approach. Automatica 44, 225–232 (2008)
He, F., Zhang, P., Chen, Y., Wang, L., Yao, Y., Chen, W.: Output tracking control of switched hybrid systems: a Fliess functional expansion approach. Math. Probl. Eng. 2013 (2013). doi:10.1155/2013/412509
Isidori, A.: Nonlinear Control Systems, 3rd edn. Springer, London (1995)
Jacob, G.: Représentations et substitutions matricielles dans la théorie algébrique des transductions. Doctoral dissertation. Université Paris VII (1975)
Nešić, D., Grüne, L.: Lyapunov-based continuous-time nonlinear controller redesign for sampled-data implementation. Automatica 41, 1143–1156 (2005)
Schützenberger, M.P.: On the definition of a family of automata. Inf. Control 4, 245–270 (1961)
Sontag, E.D.: Polynomial Response Maps. Springer, Berlin (1979)
Wolfram Research, Inc., Mathworld, Pochhammer. http://functions.wolfram.com/GammaBetaErf/Pochhammer/06/02/01/
Yao, Y., Yang, B., He, F., Qiao, Y., Cheng, D.: Attitude control of missile via Fliess expansion. IEEE Trans. Control Syst. Technol. 16, 959–970 (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
W. Steven Gray was supported by Grant SEV-2011-0087 from the Severo Ochoa Excellence Program at the Instituto de Ciencias Matemáticas in Madrid, Spain. This research was also supported by a grant from the BBVA Foundation.
Rights and permissions
About this article
Cite this article
Gray, W.S., Duffaut Espinosa, L.A. & Ebrahimi-Fard, K. Discrete-time approximations of Fliess operators. Numer. Math. 137, 35–62 (2017). https://doi.org/10.1007/s00211-017-0874-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-017-0874-x