-
Proper Implicit Discretization of the Super-Twisting Controller -- without and with Actuator Saturation
Authors:
Richard Seeber,
Benedikt Andritsch
Abstract:
The discrete-time implementation of the super-twisting sliding mode controller for a plant with disturbances with bounded slope, zero-order hold actuation, and actuator constraints is considered. Motivated by restrictions of existing implicit or semi-implicit discretization variants, a new proper implicit discretization for the super-twisting controller is proposed. This discretization is then ext…
▽ More
The discrete-time implementation of the super-twisting sliding mode controller for a plant with disturbances with bounded slope, zero-order hold actuation, and actuator constraints is considered. Motivated by restrictions of existing implicit or semi-implicit discretization variants, a new proper implicit discretization for the super-twisting controller is proposed. This discretization is then extended to the conditioned super-twisting controller, which mitigates windup in presence of actuator constraints by means of the conditioning technique. It is proven that the proposed controllers achieve best possible worst-case performance subject to similarly simple stability conditions as their continuous-time counterparts. Numerical simulations and comparisons demonstrate and illustrate the results.
△ Less
Submitted 13 December, 2024; v1 submitted 23 June, 2024;
originally announced June 2024.
-
Optimal robust exact first-order differentiators with Lipschitz continuous output
Authors:
Rodrigo Aldana-Lopez,
Richard Seeber,
Hernan Haimovich,
David Gomez-Gutierrez
Abstract:
The signal differentiation problem involves the development of algorithms that allow to recover a signal's derivatives from noisy measurements. This paper develops a first-order differentiator with the following combination of properties: robustness to measurement noise, exactness in the absence of noise, optimal worst-case differentiation error, and Lipschitz continuous output where the output's…
▽ More
The signal differentiation problem involves the development of algorithms that allow to recover a signal's derivatives from noisy measurements. This paper develops a first-order differentiator with the following combination of properties: robustness to measurement noise, exactness in the absence of noise, optimal worst-case differentiation error, and Lipschitz continuous output where the output's Lipschitz constant is a tunable parameter. This combination of advantageous properties is not shared by any existing differentiator. Both continuous-time and sample-based versions of the differentiator are developed and theoretical guarantees are established for both. The continuous-time version of the differentiator consists in a regularized and sliding-mode-filtered linear adaptive differentiator. The sample-based, implementable version is then obtained through appropriate discretization. An illustrative example is provided to highlight the features of the developed differentiator.
△ Less
Submitted 31 March, 2025; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Proper Implicit Discretization of Arbitrary-Order Robust Exact Differentiators
Authors:
Richard Seeber
Abstract:
This paper considers the implicit Euler discretization of Levant's arbitrary order robust exact differentiator in presence of sampled measurements. Existing implicit discretizations of that differentiator are shown to exhibit either unbounded bias errors or, surprisingly, discretization chattering despite the use of the implicit discretization. A new, proper implicit discretization that exhibits n…
▽ More
This paper considers the implicit Euler discretization of Levant's arbitrary order robust exact differentiator in presence of sampled measurements. Existing implicit discretizations of that differentiator are shown to exhibit either unbounded bias errors or, surprisingly, discretization chattering despite the use of the implicit discretization. A new, proper implicit discretization that exhibits neither of these two detrimental effects is proposed by computing the differentiator's outputs as appropriately designed linear combinations of its state variables. A numerical differentiator implementation is discussed and closed-form stability conditions for arbitrary differentiation orders are given. The influence of bounded measurement noise and numerical approximation errors is formally analyzed. Numerical simulations confirm the obtained results.
△ Less
Submitted 1 August, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
Designing controllers with predefined convergence-time bound using bounded time-varying gains
Authors:
Rodrigo Aldana-López,
Richard Seeber,
Hernan Haimovich,
David Gómez-Gutiérrez
Abstract:
Recently, there has been a great deal of attention in a class of controllers based on time-varying gains, called prescribed-time controllers, that steer the system's state to the origin in the desired time, a priori set by the user, regardless of the initial condition. Furthermore, such a class of controllers has been shown to maintain a prescribed-time convergence in the presence of disturbances…
▽ More
Recently, there has been a great deal of attention in a class of controllers based on time-varying gains, called prescribed-time controllers, that steer the system's state to the origin in the desired time, a priori set by the user, regardless of the initial condition. Furthermore, such a class of controllers has been shown to maintain a prescribed-time convergence in the presence of disturbances even if the disturbance bound is unknown. However, such properties require a time-varying gain that becomes singular at the terminal time, which limits its application to scenarios under quantization or measurement noise. This chapter presents a methodology to design a broader class of controllers, called predefined-time controllers, with a prescribed convergence-time bound. Our approach allows designing robust predefined-time controllers based on time-varying gains while maintaining uniformly bounded time-varying gains. We analyze the condition for uniform Lyapunov stability under the proposed time-varying controllers.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Generalized Filippov solutions for systems with prescribed-time convergence
Authors:
Richard Seeber
Abstract:
Dynamical systems with prescribed-time convergence sometimes feature a right-hand side exhibiting a singularity at the prescribed convergence time instant. In an open neighborhood of this singularity, classical absolutely continuous Filippov solutions may fail to exist, preventing indefinite continuation of such solutions. This note introduces a generalized Filippov solution definition based on th…
▽ More
Dynamical systems with prescribed-time convergence sometimes feature a right-hand side exhibiting a singularity at the prescribed convergence time instant. In an open neighborhood of this singularity, classical absolutely continuous Filippov solutions may fail to exist, preventing indefinite continuation of such solutions. This note introduces a generalized Filippov solution definition based on the notion of generalized absolute continuity in the restricted sense. Conditions for the continuability of such generalized solutions are presented and it is shown, in particular, that generalized Filippov solutions of systems with an equilibrium that is attractive, in prescribed time or otherwise, can always be continued indefinitely. The results are demonstrated by applying them to a prescribed-time controller for a perturbed second-order integrator chain.
△ Less
Submitted 7 June, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Worst-case error bounds for the super-twisting differentiator in presence of measurement noise
Authors:
Richard Seeber
Abstract:
The super-twisting differentiator, also known as the first-order robust exact differentiator, is a well known sliding mode differentiator. In the absence of measurement noise, it achieves exact reconstruction of the time derivative of a function with bounded second derivative. This note proposes an upper bound for its worst-case differentiation error in the presence of bounded measurement noise, b…
▽ More
The super-twisting differentiator, also known as the first-order robust exact differentiator, is a well known sliding mode differentiator. In the absence of measurement noise, it achieves exact reconstruction of the time derivative of a function with bounded second derivative. This note proposes an upper bound for its worst-case differentiation error in the presence of bounded measurement noise, based on a novel Lipschitz continuous Lyapunov function. It is shown that the bound can be made arbitrarily tight and never exceeds the true worst-case differentiation error by more than a factor of two. A numerical simulation illustrates the results and also demonstrates the non-conservativeness of the proposed bound.
△ Less
Submitted 8 March, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Implementing prescribed-time convergent control: sampling and robustness
Authors:
Hernan Haimovich,
Rodrigo Aldana-Lopez,
Richard Seeber,
David Gomez-Gutierrez
Abstract:
According to recent results, convergence in a prespecified or prescribed finite time can be achieved under extreme model uncertainty if control is applied continuously over time. This paper shows that this extreme amount of uncertainty cannot be tolerated under sampling, not even if sampling could become infinitely frequent as the deadline is approached, unless the sampling strategy were designed…
▽ More
According to recent results, convergence in a prespecified or prescribed finite time can be achieved under extreme model uncertainty if control is applied continuously over time. This paper shows that this extreme amount of uncertainty cannot be tolerated under sampling, not even if sampling could become infinitely frequent as the deadline is approached, unless the sampling strategy were designed according to the growth of the control action. Robustness under model uncertainty is analyzed and the amount of uncertainty that can be tolerated under sampling is quantified in order to formulate the least restrictive prescribed-time control problem that is practically implementable. Some solutions to this problem are given for a scalar system. Moreover, either under a-priori knowledge of bounds for initial conditions, or if the strategy can be selected after the first measurement becomes available, it is shown that the real, practically achievable objectives can also be reached with linear time-invariant control and uniform sampling. These derivations serve to yield insight into the real advantages that implementation of prescribed-time controllers may have.
△ Less
Submitted 23 June, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
On inherent limitations in robustness and performance for a class of prescribed-time algorithms
Authors:
Rodrigo Aldana-López,
Richard Seeber,
Hernan Haimovich,
David Gómez-Gutiérrez
Abstract:
Prescribed-time algorithms based on time-varying gains may have remarkable properties, such as regulation in a user-prescribed finite time that is the same for every nonzero initial condition and that holds even under matched disturbances. However, at the same time, such algorithms are known to lack robustness to measurement noise. This note shows that the lack of robustness of a class of prescrib…
▽ More
Prescribed-time algorithms based on time-varying gains may have remarkable properties, such as regulation in a user-prescribed finite time that is the same for every nonzero initial condition and that holds even under matched disturbances. However, at the same time, such algorithms are known to lack robustness to measurement noise. This note shows that the lack of robustness of a class of prescribed-time algorithms is of an extreme form. Specifically, we show the existence of arbitrarily small measurement noises causing considerable deviations, divergence, and other detrimental consequences. We also discuss some drawbacks and trade-offs of existing workarounds as motivation for further analysis.
△ Less
Submitted 13 December, 2023; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Unknown Input Observer Design for Linear Time-Invariant Systems -- A Unifying Framework
Authors:
Markus Tranninger,
Helmut Niederwieser,
Richard Seeber,
Martin Horn
Abstract:
This paper presents a new observer design approach for linear time invariant multivariable systems subject to unknown inputs. The design is based on a transformation to the so-called special coordinate basis. This form reveals important system properties like invertability or the finite and infinite zero structure. Depending on the system's strong observability properties, the special coordinate b…
▽ More
This paper presents a new observer design approach for linear time invariant multivariable systems subject to unknown inputs. The design is based on a transformation to the so-called special coordinate basis. This form reveals important system properties like invertability or the finite and infinite zero structure. Depending on the system's strong observability properties, the special coordinate basis allows for a straightforward unknown input observer design utilizing linear or nonlinear observers design techniques. The chosen observer design technique does not only depend on the system properties, but also on the desired convergence behavior of the observer. Hence, the proposed design procedure can be seen as a unifying framework for unknown input observer design.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
Optimal Robust Exact Differentiation via Linear Adaptive Techniques
Authors:
Richard Seeber,
Hernan Haimovich
Abstract:
The problem of differentiating a function with bounded second derivative in the presence of bounded measurement noise is considered in both continuous-time and sampled-data settings. Fundamental performance limitations of causal differentiators, in terms of the smallest achievable worst-case differentiation error, are shown. A robust exact differentiator is then constructed via the adaptation of a…
▽ More
The problem of differentiating a function with bounded second derivative in the presence of bounded measurement noise is considered in both continuous-time and sampled-data settings. Fundamental performance limitations of causal differentiators, in terms of the smallest achievable worst-case differentiation error, are shown. A robust exact differentiator is then constructed via the adaptation of a single parameter of a linear differentiator. It is demonstrated that the resulting differentiator exhibits a combination of properties that outperforms existing continuous-time differentiators: it is robust with respect to noise, it instantaneously converges to the exact derivative in the absence of noise, and it attains the smallest possible -- hence optimal -- upper bound on its differentiation error under noisy measurements. For sample-based differentiators, the concept of quasi-exactness is introduced to classify differentiators that achieve the lowest possible worst-case error based on sampled measurements in the absence of noise. A straightforward sample-based implementation of the proposed linear adaptive continuous-time differentiator is shown to achieve quasi-exactness after a single sampling step as well as a theoretically optimal differentiation error bound that, in addition, converges to the continuous-time optimal one as the sampling period becomes arbitrarily small. A numerical simulation illustrates the presented formal results.
△ Less
Submitted 2 August, 2022; v1 submitted 24 November, 2021;
originally announced November 2021.
-
Integral state-feedback control of linear time-varying systems: A performance preserving approach
Authors:
Richard Seeber,
Markus Tranninger
Abstract:
An integral extension of state-feedback controllers for linear time-varying plants is proposed, which preserves performance of the nominal controller in the unperturbed case. Similar to time-invariant state feedback with integral action, the controller achieves complete rejection of disturbances whose effective action on the plant is constant with respect to the control input. Moreover, bounded-in…
▽ More
An integral extension of state-feedback controllers for linear time-varying plants is proposed, which preserves performance of the nominal controller in the unperturbed case. Similar to time-invariant state feedback with integral action, the controller achieves complete rejection of disturbances whose effective action on the plant is constant with respect to the control input. Moreover, bounded-input bounded-state stability with respect to arbitrary disturbances is shown. A modification for preventing controller windup as well as tuning guidelines are discussed. The efficacy of the proposed technique is demonstrated in simulation for a two-tank system that is linearized along a time-varying reference trajectory.
△ Less
Submitted 23 November, 2021; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Higher-order sliding mode observer design for linear time-invariant multivariable systems based on a new observer normal form
Authors:
Helmut Niederwieser,
Markus Tranninger,
Richard Seeber,
Markus Reichhartinger
Abstract:
In various applications in the field of control engineering the estimation of the state variables of dynamic systems in the presence of unknown inputs plays an important role. Existing methods require the so-called observer matching condition to be satisfied, rely on the boundedness of the state variables or exhibit an increased observer order of twice the plant order. In this article, a novel obs…
▽ More
In various applications in the field of control engineering the estimation of the state variables of dynamic systems in the presence of unknown inputs plays an important role. Existing methods require the so-called observer matching condition to be satisfied, rely on the boundedness of the state variables or exhibit an increased observer order of twice the plant order. In this article, a novel observer normal form for strongly observable linear time-invariant multivariable systems is proposed. In contrast to classical normal forms, the proposed approach also takes the unknown inputs into account. The proposed observer normal form allows for the straightforward construction of a higher-order sliding mode observer, which ensures global convergence of the estimation error within finite time even in the presence of unknown bounded inputs. Its application is not restricted to systems which satisfy the aforementioned limitations of already existing unknown input observers. The proposed approach can be exploited for the reconstruction of unknown inputs with bounded derivative and robust state-feedback control, which is shown by means of a tutorial example. Numerical simulations confirm the effectiveness of the presented work.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Detectability Conditions and State Estimation for Linear Time-Varying and Nonlinear Systems
Authors:
Markus Tranninger,
Richard Seeber,
Martin Steinberger,
Martin Horn,
Christian Pötzsche
Abstract:
This work proposes a detectability condition for linear time-varying systems based on the exponential dichotomy spectrum. The condition guarantees the existence of an observer, whose gain is determined only by the unstable modes of the system. This allows for an observer design with low computational complexity compared to classical estimation approaches. An extension of this observer design to a…
▽ More
This work proposes a detectability condition for linear time-varying systems based on the exponential dichotomy spectrum. The condition guarantees the existence of an observer, whose gain is determined only by the unstable modes of the system. This allows for an observer design with low computational complexity compared to classical estimation approaches. An extension of this observer design to a class of nonlinear systems is proposed and local convergence of the corresponding estimation error dynamics is proven. Numerical results show the efficacy of the proposed observer design technique.
△ Less
Submitted 19 April, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Designing predefined-time differentiators with bounded time-varying gains
Authors:
Rodrigo Aldana-López,
Richard Seeber,
David Gómez-Gutiérrez,
Marco Tulio Angulo,
Michael Defoort
Abstract:
There is an increasing interest in designing differentiators, which converge exactly before a prespecified time regardless of the initial conditions, i.e., which are fixed-time convergent with a predefined Upper Bound of their Settling Time (UBST), due to their ability to solve estimation and control problems with time constraints. However, for the class of signals with a known bound of their…
▽ More
There is an increasing interest in designing differentiators, which converge exactly before a prespecified time regardless of the initial conditions, i.e., which are fixed-time convergent with a predefined Upper Bound of their Settling Time (UBST), due to their ability to solve estimation and control problems with time constraints. However, for the class of signals with a known bound of their $(n+1)$-th time derivative, the existing design methodologies yield a very conservative UBST, or result in gains that tend to infinity at the convergence time. Here, we introduce a new methodology based on time-varying gains to design arbitrary-order exact differentiators with a predefined UBST. This UBST is a priori set as one parameter of the algorithm. Our approach guarantees that the UBST can be set arbitrarily tight, and we also provide sufficient conditions to obtain exact convergence while maintaining bounded time-varying gains. Additionally, we provide necessary and sufficient conditions such that our approach yields error dynamics with a uniformly Lyapunov stable equilibrium. Our results show how time-varying gains offer a general and flexible methodology to design algorithms with a predefined UBST.
△ Less
Submitted 18 July, 2022; v1 submitted 11 June, 2021;
originally announced June 2021.
-
Differentiator for Noisy Sampled Signals with Best Worst-Case Accuracy
Authors:
Hernan Haimovich,
Richard Seeber,
Rodrigo Aldana-López,
David Gómez-Gutiérrez
Abstract:
This paper proposes a differentiator for sampled signals with bounded noise and bounded second derivative. It is based on a linear program derived from the available sample information and requires no further tuning beyond the noise and derivative bounds. A tight bound on the worst-case accuracy, i.e., the worst-case differentiation error, is derived, which is the best among all causal differentia…
▽ More
This paper proposes a differentiator for sampled signals with bounded noise and bounded second derivative. It is based on a linear program derived from the available sample information and requires no further tuning beyond the noise and derivative bounds. A tight bound on the worst-case accuracy, i.e., the worst-case differentiation error, is derived, which is the best among all causal differentiators and is moreover shown to be obtained after a fixed number of sampling steps. Comparisons with the accuracy of existing high-gain and sliding-mode differentiators illustrate the obtained results.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
An arbitrary-order predefined-time exact differentiator for signals with exponential growth bound
Authors:
David Gómez-Gutiérrez,
Rodrigo Aldana-López,
Richard Seeber,
Marco Tulio Angulo,
Leonid Fridman
Abstract:
There is a growing interest in differentiation algorithms that converge in fixed time with a predefined Upper Bound on the Settling Time (UBST). However, existing differentiation algorithms are limited to signals having an $n$-th order Lipschitz derivative. Here, we introduce a general methodology based on time-varying gains to circumvent this limitation, allowing us to design $n$-th order differe…
▽ More
There is a growing interest in differentiation algorithms that converge in fixed time with a predefined Upper Bound on the Settling Time (UBST). However, existing differentiation algorithms are limited to signals having an $n$-th order Lipschitz derivative. Here, we introduce a general methodology based on time-varying gains to circumvent this limitation, allowing us to design $n$-th order differentiators with a predefined UBST for the broader class of signals whose $(n+1)$-th derivative is bounded by a function with bounded logarithmic derivative. Unlike existing methods whose time-varying gain tends to infinity, our approach yields a time-varying gain that remains bounded at convergence time. We show how this last property maintains exact convergence using bounded gains when considering a compact set of initial conditions and improves the algorithm's performance to measurement noise.
△ Less
Submitted 4 April, 2023; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Strong Detectability and Observers for Linear Time Varying Systems
Authors:
Markus Tranninger,
Richard Seeber,
Juan G. Rueda-Escobedo,
Martin Horn
Abstract:
This work presents a notion of strong detectability for linear time varying systems affected by unknown inputs. It is shown that this notion is equivalent to detectability of an auxiliary system without unknown inputs. This allows a straightforward observer design for dependable state estimation in the presence of unknown inputs. The design reduces to a deterministic Kalman filter design problem,…
▽ More
This work presents a notion of strong detectability for linear time varying systems affected by unknown inputs. It is shown that this notion is equivalent to detectability of an auxiliary system without unknown inputs. This allows a straightforward observer design for dependable state estimation in the presence of unknown inputs. The design reduces to a deterministic Kalman filter design problem, where the observer gains can be obtained from the solution of a differential Riccati equation. The efficacy of the proposed approach is demonstrated by means of a numerical example.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Robust exact differentiators with predefined convergence time
Authors:
Richard Seeber,
Hernan Haimovich,
Martin Horn,
Leonid Fridman,
Hernán De Battista
Abstract:
The problem of exactly differentiating a signal with bounded second derivative is considered. A class of differentiators is proposed, which converge to the derivative of such a signal within a fixed, i.e., a finite and uniformly bounded convergence time. A tuning procedure is derived that allows to assign an arbitrary, predefined upper bound for this convergence time. It is furthermore shown that…
▽ More
The problem of exactly differentiating a signal with bounded second derivative is considered. A class of differentiators is proposed, which converge to the derivative of such a signal within a fixed, i.e., a finite and uniformly bounded convergence time. A tuning procedure is derived that allows to assign an arbitrary, predefined upper bound for this convergence time. It is furthermore shown that this bound can be made arbitrarily tight by appropriate tuning. The usefulness of the procedure is demonstrated by applying it to the well-known uniform robust exact differentiator, which is included in the considered class of differentiators as a special case.
△ Less
Submitted 9 September, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Uniform Detectability of Linear Time Varying Systems with Exponential Dichotomy
Authors:
Markus Tranninger,
Richard Seeber,
Martin Steinberger,
Martin Horn
Abstract:
Exponential dichotomies play a central role in stability theory for dynamical systems. They allow to split the state space into two subspaces, where all trajectories in one subspace decay whereas all trajectories in the other subspace grow, uniformly and exponentially. This paper studies uniform detectability and observability notions for linear time varying systems, which admit an exponential dic…
▽ More
Exponential dichotomies play a central role in stability theory for dynamical systems. They allow to split the state space into two subspaces, where all trajectories in one subspace decay whereas all trajectories in the other subspace grow, uniformly and exponentially. This paper studies uniform detectability and observability notions for linear time varying systems, which admit an exponential dichotomy. The main contributions are necessary and sufficient detectability conditions for this class of systems.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
