Processes modeled by a timed event graph may be represented by a linear model in dioïd algebra. The aim of this paper is to make temporal control synthesis when state vector is unknown. This information loss is compensated by the use of a simple model, the “ARMA” equations, which enables to introduce the concept of predictability. The comparison of the predictable output trajectory with the desired output determines the reachability of the objective.
This paper addresses a predictive control strategy for a particular class of multi-agent formations with a time-varying topology. The goal is to guarantee tracking capabilities with respect to a reference trajectory which is pre-specified for an agent designed as the leader. Then, the remaining agents, designed as followers, track the position and orientation of the leader. In real-time, a predictive control strategy enhanced with the potential field methodology is used in order to derive a feedback...
We review the polynomial matrix compensator equation X_lD_r + Y_lN_r = Dk (COMP), e.g. (Callier and Desoer, 1982, Kučera, 1979; 1991), where (a) the right-coprime polynomial matrix pair (N_r, D_r) is given by the strictly proper rational plant right matrix-fraction P = N_rD_r, (b) Dk is a given nonsingular stable closed-loop characteristic polynomial matrix, and (c) (X_l, Y_l) is a polynomial matrix solution pair resulting possibly in a (stabilizing) rational compensator given by the left fraction...
In this paper we give a survey on the theory of quadratic functionals. Particularly the relationships between positive definiteness and the asymptotic behaviour of Riccati matrix differential equations, and between the oscillation properties of linear Hamiltonian systems and Rayleigh’s principle are demonstrated. Moreover, the main tools form control theory (as e.g. characterization of strong observability), from the calculus of variations (as e.g. field theory and Picone’s identity), and from matrix...
The L^{P} stability of linear feedback systems with a single time-varying sector-bounded element is considered. A sufficient condition for L^{P} stability, with 1 ≤ p ≤ ∞, is obtained by utilizing the well-known small gain theorem. Based on the stability measure provided by this theorem, quantitative results that describe output-to-input relations are obtained. It is proved that if the linear time-invariant part of the system belongs to the class of proper positive real transfer functions with a...
The method of change (or anomaly) detection in high-dimensional discrete-time processes using a multivariate Hotelling chart is presented. We use normal random projections as a method of dimensionality reduction. We indicate diagnostic properties of the Hotelling control chart applied to data projected onto a random subspace of Rn . We examine the random projection method using artificial noisy image sequences as examples.
Perspective problems arise in machine vision when using a camera to observe the scene. Essential problems include the identification of unknown states and/or unknown parameters from perspective observations. Range identification is used to estimate the states/positions of a moving object with known motion parameters. Range estimation has been discussed in the literature using nonlinear observers with full homogeneous observations derived from the image plane. In this paper, the same range identification...
MM functions, formed by finite composition of the operators min, max and translation, represent discrete-event systems involving disjunction, conjunction and delay. The paper shows how they may be formulated as homogeneous rational algebraic functions of degree one, over (max, +) algebra, and reviews the properties of such homogeneous functions, illustrated by some orbit-stability problems.
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule over a semiring is rational if it has a generating family that is a rational subset of , being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational semimodules...