Showing 1–10 of 10 results for author: Schiller, J D

Moving horizon estimation for nonlinear systems with time-varying parameters

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: We propose a moving horizon estimation scheme for estimating the states and time-varying parameters of nonlinear systems. We consider the case where observability of the parameters depends on the excitation of the system and may be absent during operation, with the parameter dynamics fulfilling a weak incremental bounded-energy bounded-state property to ensure boundedness of the estimation error (… ▽ More We propose a moving horizon estimation scheme for estimating the states and time-varying parameters of nonlinear systems. We consider the case where observability of the parameters depends on the excitation of the system and may be absent during operation, with the parameter dynamics fulfilling a weak incremental bounded-energy bounded-state property to ensure boundedness of the estimation error (with respect to the disturbance energy). The proposed estimation scheme involves a standard quadratic cost function with an adaptive regularization term depending on the current parameter observability. We develop robustness guarantees for the overall estimation error that are valid for all times, and that improve the more often the parameters are detected to be observable during operation. The theoretical results are illustrated by a simulation example. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: accepted for presentation at NMPC 2024

Nonlinear moving horizon estimation for robust state and parameter estimation

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: We propose a moving horizon estimation scheme to estimate the states and the unknown constant parameters of general nonlinear uncertain discrete time systems. The proposed framework and analysis explicitly do not involve the a priori verification of a particular excitation condition for the parameters. Instead, we use online information about the actual excitation of the parameters at any time dur… ▽ More We propose a moving horizon estimation scheme to estimate the states and the unknown constant parameters of general nonlinear uncertain discrete time systems. The proposed framework and analysis explicitly do not involve the a priori verification of a particular excitation condition for the parameters. Instead, we use online information about the actual excitation of the parameters at any time during operation and ensure that the regularization term in the cost function is always automatically selected appropriately. This ensures that the state and parameter estimation error is bounded for all times, even if the parameters are never (or only rarely) excited during operation. Additionally, the more often sufficient excitation is detected, the better (i.e., smaller) the bound becomes. Robust exponential stability of the state and parameter estimation error emerges under an additional uniform condition on the maximum duration of insufficient excitation. The theoretical results are illustrated by a numerical example. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Robust stability of moving horizon estimation for continuous-time systems

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: We consider a moving horizon estimation (MHE) scheme involving a discounted least squares objective for general nonlinear continuous-time systems. Provided that the system is detectable (incrementally integral input/output-to-state stable, i-iIOSS), we show that there exists a sufficiently long estimation horizon that guarantees robust global exponential stability of the estimation error in a time… ▽ More We consider a moving horizon estimation (MHE) scheme involving a discounted least squares objective for general nonlinear continuous-time systems. Provided that the system is detectable (incrementally integral input/output-to-state stable, i-iIOSS), we show that there exists a sufficiently long estimation horizon that guarantees robust global exponential stability of the estimation error in a time-discounted $L^2$-to-$L^\infty$ sense. In addition, we show that i-iIOSS Lyapunov functions can be efficiently constructed by verifying certain linear matrix inequality conditions. In combination, we propose a flexible Lyapunov-based MHE framework in continuous time, which particularly offers more tuning possibilities than its discrete-time analog, and provide sufficient conditions for stability that can be easily verified in practice. Our results are illustrated by a numerical example. △ Less

Submitted 31 January, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: Replaced by accepted version

Journal ref: at-Automatisierungstechnik 2024; 72(2): 120-133

On an integral variant of incremental input/output-to-state stability and its use as a notion of nonlinear detectability

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: We propose a time-discounted integral variant of incremental input/output-to-state stability (i-iIOSS) together with an equivalent Lyapunov function characterization. Continuity of the i-iIOSS Lyapunov function is ensured if the system satisfies a certain continuity assumption involving the Osgood condition. We show that the proposed i-iIOSS notion is a necessary condition for the existence of a r… ▽ More We propose a time-discounted integral variant of incremental input/output-to-state stability (i-iIOSS) together with an equivalent Lyapunov function characterization. Continuity of the i-iIOSS Lyapunov function is ensured if the system satisfies a certain continuity assumption involving the Osgood condition. We show that the proposed i-iIOSS notion is a necessary condition for the existence of a robustly globally asymptotically stable observer map** in a time-discounted ``$L^2$-to-$L^\infty$'' sense. In combination, our results provide a general framework for a Lyapunov-based robust stability analysis of observers for continuous-time systems, which in particular is crucial for the use of optimization-based state estimators (such as moving horizon estimation). △ Less

Submitted 19 June, 2023; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: replaced with accepted version

A moving horizon state and parameter estimation scheme with guaranteed robust convergence

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: We propose a moving horizon estimation scheme for joint state and parameter estimation for nonlinear uncertain discrete-time systems. We establish robust exponential convergence of the combined estimation error subject to process disturbances and measurement noise. We employ a joint incremental input/output-to-state stability ($δ$-IOSS) Lyapunov function to characterize nonlinear detectability for… ▽ More We propose a moving horizon estimation scheme for joint state and parameter estimation for nonlinear uncertain discrete-time systems. We establish robust exponential convergence of the combined estimation error subject to process disturbances and measurement noise. We employ a joint incremental input/output-to-state stability ($δ$-IOSS) Lyapunov function to characterize nonlinear detectability for the states and (constant) parameters of the system. Sufficient conditions for the construction of a joint $δ$-IOSS Lyapunov function are provided for a special class of nonlinear systems using a persistence of excitation condition. The theoretical results are illustrated by a numerical example. △ Less

Submitted 22 December, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: Replaced by final version. Presented at IFAC World Congress 2023, Yokohama, Japan

Journal ref: IFAC-PapersOnLine, Volume 56, Issue 2, 2023, Pages 6759-6764

A simple suboptimal moving horizon estimation scheme with guaranteed robust stability

Authors: Julian D. Schiller, Boyang Wu, Matthias A. Müller

Abstract: We propose a suboptimal moving horizon estimation (MHE) scheme for a general class of nonlinear systems. To this end, we consider an MHE formulation that optimizes over the trajectory of a robustly stable observer. Assuming that the observer admits a Lyapunov function, we show that this function is an M-step Lyapunov function for suboptimal MHE. The presented sufficient conditions can be easily ve… ▽ More We propose a suboptimal moving horizon estimation (MHE) scheme for a general class of nonlinear systems. To this end, we consider an MHE formulation that optimizes over the trajectory of a robustly stable observer. Assuming that the observer admits a Lyapunov function, we show that this function is an M-step Lyapunov function for suboptimal MHE. The presented sufficient conditions can be easily verified in practice. We illustrate the practicability of the proposed suboptimal MHE scheme with a standard nonlinear benchmark example. Here, performing a single iteration is sufficient to significantly improve the observer's estimation results under valid theoretical guarantees. △ Less

Submitted 15 July, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

Journal ref: IEEE Control Systems Letters, vol. 7, pp. 19-24, 2023

A Lyapunov function for robust stability of moving horizon estimation

Authors: Julian D. Schiller, Simon Muntwiler, Johannes Köhler, Melanie N. Zeilinger, Matthias A. Müller

Abstract: We provide a novel robust stability analysis for moving horizon estimation (MHE) using a Lyapunov function. Additionally, we introduce linear matrix inequalities (LMIs) to verify the necessary incremental input/output-to-state stability ($δ$-IOSS) detectability condition. We consider an MHE formulation with time-discounted quadratic objective for nonlinear systems admitting an exponential $δ$-IOSS… ▽ More We provide a novel robust stability analysis for moving horizon estimation (MHE) using a Lyapunov function. Additionally, we introduce linear matrix inequalities (LMIs) to verify the necessary incremental input/output-to-state stability ($δ$-IOSS) detectability condition. We consider an MHE formulation with time-discounted quadratic objective for nonlinear systems admitting an exponential $δ$-IOSS Lyapunov function. We show that with a suitable parameterization of the MHE objective, the $δ$-IOSS Lyapunov function serves as an $M$-step Lyapunov function for MHE. Provided that the estimation horizon is chosen large enough, this directly implies exponential stability of MHE. The stability analysis is also applicable to full information estimation, where the restriction to exponential $δ$-IOSS can be relaxed. Moreover, we provide simple LMI conditions to systematically derive $δ$-IOSS Lyapunov functions, which allows us to easily verify $δ$-IOSS for a large class of nonlinear detectable systems. This is useful in the context of MHE in general, since most of the existing nonlinear (robust) stability results for MHE depend on the system being $δ$-IOSS (detectable). In combination, we thus provide a framework for designing MHE schemes with guaranteed robust exponential stability. The applicability of the proposed methods is demonstrated with a nonlinear chemical reactor process and a 12-state quadrotor model. △ Less

Submitted 8 June, 2023; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: *Julian D. Schiller and Simon Muntwiler contributed equally to this paper. 16 pages, 3 figures. Published in: IEEE Transactions on Automatic Control. This version contains an additional numerical example in Section V.B

Suboptimal nonlinear moving horizon estimation

Authors: Julian D. Schiller, Matthias A. Müller

Abstract: In this paper, we propose a suboptimal moving horizon estimator for a general class of nonlinear systems. For the stability analysis, we transfer the "feasibility-implies-stability/robustness" paradigm from model predictive control to the context of moving horizon estimation in the following sense: Using a suitably defined, feasible candidate solution based on an auxiliary observer, robust stabili… ▽ More In this paper, we propose a suboptimal moving horizon estimator for a general class of nonlinear systems. For the stability analysis, we transfer the "feasibility-implies-stability/robustness" paradigm from model predictive control to the context of moving horizon estimation in the following sense: Using a suitably defined, feasible candidate solution based on an auxiliary observer, robust stability of the proposed suboptimal estimator is inherited independently of the horizon length and even if no optimization is performed. Moreover, the proposed design allows for the choice between two cost functions different in structure: the former in the manner of a standard least squares approach, which is typically used in practice, and the latter following a time-discounted modification, resulting in better theoretical guarantees. We apply the proposed suboptimal estimator to a nonlinear chemical reactor process, verify the theoretical assumptions, and show that even a few iterations of the optimizer are sufficient to significantly improve the estimation results of the auxiliary observer. Furthermore, we illustrate the flexibility of the proposed design by employing different solvers and compare the performance with two state-of-the-art fast MHE schemes from the literature. △ Less

Submitted 15 July, 2022; v1 submitted 31 August, 2021; originally announced August 2021.

Comments: Published in: IEEE Transactions on Automatic Control (Early Access)

Robust Stability of Suboptimal Moving Horizon Estimation using an Observer-Based Candidate Solution

Authors: Julian D. Schiller, Sven Knüfer, Matthias A. Müller

Abstract: In this paper, we propose a suboptimal moving horizon estimator for nonlinear systems. For the stability analysis we transfer the "feasibility-implies-stability/robustness" paradigm from model predictive control to the context of moving horizon estimation in the following sense: Using a suitably defined, feasible candidate solution based on the trajectory of an auxiliary observer, robust stability… ▽ More In this paper, we propose a suboptimal moving horizon estimator for nonlinear systems. For the stability analysis we transfer the "feasibility-implies-stability/robustness" paradigm from model predictive control to the context of moving horizon estimation in the following sense: Using a suitably defined, feasible candidate solution based on the trajectory of an auxiliary observer, robust stability of the proposed suboptimal estimator is inherited independently of the horizon length and even if no optimization is performed. △ Less

Submitted 10 September, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Journal ref: IFAC-PapersOnLine, Volume 54, Issue 6, 2021, Pages 226-231

Adaptive-optics-enabled quantum communication: A technique for daytime space-to-Earth links

Authors: Mark T. Gruneisen, Mark L. Eickhoff, Scott C. Newey, Kurt E. Stoltenberg, Jeffery F. Morris, Michael Bareian, Mark A. Harris, Denis W. Oesch, Michael D. Oliker, Michael B. Flanagan, Brian T. Kay, Jonathan D. Schiller, R. Nicholas Lanning

Abstract: Previous demonstrations of free-space quantum communication in daylight have been touted as significant for the development of global-scale quantum networks. Until now, no one has carefully tuned their atmospheric channel to reproduce the daytime sky radiance and slant-path turbulence conditions as they exist between space and Earth. In this article we report a quantum communication field experime… ▽ More Previous demonstrations of free-space quantum communication in daylight have been touted as significant for the development of global-scale quantum networks. Until now, no one has carefully tuned their atmospheric channel to reproduce the daytime sky radiance and slant-path turbulence conditions as they exist between space and Earth. In this article we report a quantum communication field experiment under conditions representative of daytime downlinks from space. Higher-order adaptive optics increased quantum channel efficiencies far beyond those possible with tip/tilt correction alone while spatial filtering at the diffraction limit rejected optical noise without the need for an ultra-narrow spectral filter. High signal-to-noise probabilities and low quantum-bit-error rates were demonstrated over a wide range of channel radiances and turbulence conditions associated with slant-path propagation in daytime. The benefits to satellite-based quantum key distribution are quantified and discussed. △ Less

Submitted 10 June, 2021; v1 submitted 13 June, 2020; originally announced June 2020.

Comments: 22 pages, 14 figures

Journal ref: Phys. Rev. Applied 16, 014067 (2021)