Related papers: Rational observers of rational systems

The role of the observers is frequently obscured in the literature, either by writing equations in a coordinate system implicitly pertaining to some specific observer or by entangling the invariance and the observer dependence of physical…

This paper investigates the design of reduced-order observers for robotic manipulators. Observer stability conditions are obtained based on a Lyapunov analysis and the proposed observer is enhanced with a hybrid scheme that may adjust the…

Norms represent behavioural aspects that are encouraged by a social group of agents or the majority of agents in a system. Normative systems enable coordinating synthesised norms of heterogeneous agents in complex multi-agent systems…

A straightforward argument shows that, by allowing counterfactual elements of physical reality, any arbitrary discrete finite-dimensional operator corresponds to an observable.

In this paper, we introduce a set representation called polynomial logical zonotopes for performing exact and computationally efficient reachability analysis on logical systems. We prove that through this polynomial-like construction, we…

A method of designing observers and observer-based tracking controllers is proposed for nonlinear systems on manifolds via embedding into Euclidean space and transversal stabilization. Given a system on a manifold, we first embed the…

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support…

In the present paper, we study observer design and we establish some sufficient conditions for practical exponential stability for a class of time-delay nonlinear systems written in triangular form. In case of delay, the exponential…

We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…

One of the most interesting questions in control theory is that of constructing observers. Observers compute estimates of the internal states of a dynamical system, using data provided by measurement probes or partial state information. For…

This paper proposes an Extended-Kalman-Filter-like observer for parameter estimation during synchronization of chaotic systems. The exponential stability of the observer is guaranteed by a persistent excitation condition. This approach is…

In goal-directed behavior, a large number of possible initial states end up in the pursued goal. The accompanying information loss implies that goal-oriented behavior is in one-to-one correspondence with an open subsystem whose entropy…

Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An…

This paper presents ReasonFormer, a unified reasoning framework for mirroring the modular and compositional reasoning process of humans in complex decision-making. Inspired by dual-process theory in cognitive science, the representation…

Let f be a real or complex polynomial. We give an algorithm to compute the set of generalized critical values. The algorithm uses a finite dimensional space of rational arcs along which we can reach all generalized critical values of f.

For a rational function of several variables with nonnegative imaginary part on the upper poly-half-plane, the matrix representations are obtained.

Observability and controllability are essential concepts to the design of predictive observer models and feedback controllers of networked systems. For example, noncontrollable mathematical models of real systems have subspaces that…

The problem is to evaluate the behavior of an object when primary sources of information about the object become unavailable, so that any information must be obtained from the intelligent use of available secondary sources. This evaluative…

This study carries forward the line of enquiry that seeks to characterize precisely which security policies are enforceable by runtime monitors. In this regard, Basin et al.\ recently refined the structure that helps distinguish between…

In this work, we consider a binary hypothesis testing problem involving a group of human decision-makers. Due to the nature of human behavior, each human decision-maker observes the phenomenon of interest sequentially up to a random length…