Related papers: Expressing an observer in preferred coordinates by…
A systematic procedure to synthesize interval observers for nonlinear discrete-time systems is proposed. The feedback gains and other matrices are found from the solutions to semidefinite feasibility programs. Two cases are considered: (1)…
This paper proposes a new extended-state observer-based framework for adaptive nonlinear regulator design of a class of nonlinear systems, in the general nonequilibrium theory. By augmenting an extended-state observer with an internal…
The continuous tetrational function ${^x}r=\tau(r,x)$, the unique solution of equation $\tau(r,x)=r^{\tau(r,x-1)}$ and its differential equation $\tau'(r,x) =q \tau(r,x) \tau'(r,x-1)$, is given explicitly as ${^x}r=\exp_{r}^{\lfloor x…
We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-finding, but even with powerful cloud infrastructure it can take…
Dataset augmentation, the practice of applying a wide array of domain-specific transformations to synthetically expand a training set, is a standard tool in supervised learning. While effective in tasks such as visual recognition, the set…
While computation-enabled cryptosystems applied to control systems have improved security and privacy, a major issue is that the number of recursive operations on encrypted data is limited to a finite number of times in most cases,…
We give a closed expression for the Minkowski (1+1)-dimensional metric in the radar coordinates of an arbitrary non-inertial observer O in terms of O's proper acceleration. Knowledge of the metric allows the non-inertial observer to perform…
Submodularity is a fundamental phenomenon in combinatorial optimization. Submodular functions occur in a variety of combinatorial settings such as coverage problems, cut problems, welfare maximization, and many more. Therefore, a lot of…
In this paper, we introduce a new sliding mode observer for Lur'e set-valued dynamical systems, particularly addressing challenges posed by uncertainties not within the standard range of observation. Traditionally, most of Luenberger-like…
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…
The paper deals with the observer design problem for a wide class of triangular time-varying nonlinear systems, with unobservable linearization. Sufficient conditions are derived for the existence of a Luenberger-type observer, when it is a…
Observability is a fundamental structural property of any dynamic system and describes the possibility of reconstructing the state that characterizes the system from observing its inputs and outputs. Despite the huge effort made to study…
We survey work on the paradigm called "computing by observing." Its central feature is that one considers the behavior of an evolving system as the result of a computation. To this end an observer records this behavior. It has turned out…
A lot of real-world engineering problems represent dynamicity with nests of nonlinearities due to highly complex network of exponential functions or large number of differential equations interacting together. Such search spaces are…
This paper deals with the observer design problem for time-varying linear infinite-dimensional systems. We address both the problem of online estimation of the state of the system from the output via an asymptotic observer, and the problem…
We consider the general class of time-homogeneous stochastic dynamical systems, both discrete and continuous, and study the problem of learning a representation of the state that faithfully captures its dynamics. This is instrumental to…
The unitary evolution can be represented by a finite product of exponential operators. It leads to a perturbative expression of the density operator of a close system. Based on the perturbative expression scheme, we present a entanglement…
A symmetry-preserving, reduced-order state observer is presented for the unmeasured part of a system's state, where the nonlinear system dynamics exhibit symmetry under the action of a Lie group. Leveraging this symmetry with a moving…
An effective means to approximate an analytic, nonperiodic function on a bounded interval is by using a Fourier series on a larger domain. When constructed appropriately, this so-called Fourier extension is known to converge geometrically…
Visual augmentations are commonly added to charts and graphs in order to convey richer and more nuanced information about relationships in the data. However, many design spaces proposed for categorizing augmentations were defined in a…