Showing papers in "arXiv: Optimization and Control in 2000"

The fractional - order controllers: Methods for their synthesis and application

Abstract: This paper deals with fractional-order controllers. We outline mathematical description of fractional controllers and methods of their synthesis and application. Synthesis method is a modified root locus method for fractional-order systems and fractional-order controllers. In the next section we describe how to apply the fractional controller on control systems.

Output-input stability and minimum-phase nonlinear systems

Abstract: This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the ``input-to-state stability'' philosophy, it requires the state and the input of the system to be bounded by a suitable function of the output and derivatives of the output, modulo a decaying term depending on initial conditions. The class of output-input stable systems thus defined includes all affine systems in global normal form whose internal dynamics are input-to-state stable and also all left-invertible linear systems whose transmission zeros have negative real parts. As an application, we explain how the new concept enables one to develop a natural extension to nonlinear systems of a basic result from linear adaptive control.

Connections between Linear Systems and Convolutional Codes

Abstract: The article reviews different definitions for a convolutional code which can be found in the literature. The algebraic differences between the definitions are worked out in detail. It is shown that bi-infinite support systems are dual to finite-support systems under Pontryagin duality. In this duality the dual of a controllable system is observable and vice versa. Uncontrollability can occur only if there are bi-infinite support trajectories in the behavior, so finite and half-infinite-support systems must be controllable. Unobservability can occur only if there are finite support trajectories in the behavior, so bi-infinite and half-infinite-support systems must be observable. It is shown that the different definitions for convolutional codes are equivalent if one restricts attention to controllable and observable codes.

A probabilistic algorithm to test local algebraic observability in polynomial time

Abstract: The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the remaining variables should we assume to be known in order to determine all the others? These questions are parts of the \emph{local algebraic observability} problem which is concerned with the existence of a non trivial Lie subalgebra of the symmetries of the model letting the inputs and the outputs invariant. We present a \emph{probabilistic seminumerical} algorithm that proposes a solution to this problem in \emph{polynomial time}. A bound for the necessary number of arithmetic operations on the rational field is presented. This bound is polynomial in the \emph{complexity of evaluation} of the model and in the number of variables. Furthermore, we show that the \emph{size} of the integers involved in the computations is polynomial in the number of variables and in the degree of the differential system. Last, we estimate the probability of success of our algorithm and we present some benchmarks from our Maple implementation.

Matching, linear systems, and the ball and beam

Abstract: A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. This basic idea is used in several papers already. In this paper, we will describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems, we will present the results from an experiment on a ball and beam system.

The modelling and analysis of fractional-order control systems in discrete domain

Abstract: This paper deals with fractional-order controlled systems and fractional-order controllers in the discrete domain. The mathematical description by the fractional difference equations and properties of these systems are presented. A practical example for modelling the fractional-order control loop is shown and obtained results are discussed in conclusion.

Modelling and analysis of fractional-order regulated systems in the state space

Abstract: In this paper we present the mathematical description and analysis of a fractional-order regulated system in the state space A little historical background of our results in the analysis and synthesis of the fractional-order dynamical regulated systems is given The methods and results of simulations of the fractional-order system described by a state space equation equivalent to three-member fractional-order differential equation with a fractional-order $PD^{\delta}$ regulator are then presented The possibility of investigating the stability of such systems is also considered

Output Feedback Invariants

Abstract: The paper is concerned with the problem of determining a complete set of invariants for output feedback. Using tools from geometric invariant theory it is shown that there exists a quasi-projective variety whose points parameterize the output feedback orbits in a unique way. If the McMillan degree $n\geq mp$, the product of number of inputs and number of outputs, then it is shown that in the closure of every feedback orbit there is exactly one nondegenerate system.

Engineering design optimisation using tabu search

Abstract: This paper describes an optimisation methodology that has been specifically developed for engineering design problems. The methodology is based on a Tabu search (TS) algorithm that has been shown to find high quality solutions with a relatively low number of objective function evaluations. Whilst the methodology was originally intended for a small range of design problems it has since been successfully applied to problems from different domains with no alteration to the underlying method. This paper describes the method and its application to three different problems. The first is from the field of structural design, the second relates to the design of electromagnetic pole shapes and the third involves the design of turbomachinery blades.

The Calibration Method for Free Discontinuity Problems

Abstract: The calibration method is used to identify some minimizers of the Mumford-Shah functional. The method is then extended to more general free discontinuity problems.

Matching control laws for a ball and beam system

Abstract: This note describes a method for generating an infinite-dimensional family of nonlinear control laws for underactuated systems. For a ball and beam system, the entire family is found explicitly.

Algebraic modelling and performance evaluation of acyclic fork-join queueing networks

Abstract: Simple lower and upper bounds on service cycle times in stochastic acyclic fork-join queueing networks are derived using a (max, +)-algebra based representation of network dynamics. The behaviour of the bounds under various assumptions concerning the service times in the networks is discussed, and related numerical examples are presented.

Learning Complexity Dimensions for a Continuous-Time Control System

Abstract: This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that input signals have only a finite number k of frequency components, and systems to be identified have dimension no greater than n. The main result establishes that the sample complexity needed for identification scales polynomially with n and logarithmically with k.

Matching and digital control implementation for underactuated systems

Abstract: This note describes two problems related to the digital implementation of control laws in the infinite dimensional family of matching control laws, namely state estimation and sampled data induced error. The entire family of control laws is written for an inverted pendulum cart. Numerical simulations which include sampled data and a state estimator are presented for one of the control laws in this family.

Output Feedback Control of Jet Engine Stall and Surge Using Pressure Measurements

Abstract: The problem of controlling surge and stall in jet engine compressors is of fundamental importance in preventing damage and lengthening the life of these components. In this paper, we use the Moore-Greitzer mathematical model to develop an output feedback controller for these two instabilities (only one of the three states is measurable). This problem is particularly challenging since the system is not completely observable and, hence, none of the output feedback control techniques found in the literature can be applied to recover the performance of a full state feedback controller. However, we show how to successfully solve it by using a novel output feedback approach for the stabilization of general stabilizable and incompletely observable systems.

Neural Stabilization/Excitation Control of a High-Order Power System by Adaptive Feedback Linearization

Abstract: This paper discusses the systematic design of an adaptive feedback linearizing neurocontroller for a high-order model of the synchronous machine/infinite bus power system. The power system is first modelled as an input-output nonlinear discrete-time system approximated by two neural networks. The approach allows a simple linear pole-placement controller (which is itself not a neural network) to be designed. The control law is specified such that the controller adaptively calculates an appropriate feedback linearizing control law at each sampling instant by utilizing plant parameter estimates provided by the neural system model. The control system also adapts itself on-line. This avoids the requirement for exact knowledge of the power system dynamics and full state measurement as well as other difficulties associated with implementing analytical input-output feedback linearizing control for a complex power system model. Furthermore, a departure is made from the `ad hoc' manner in which many neural controllers have been designed for power systems; the approach used here has foundations in control theoretic concepts of adaptive feedback linearization and pole-placement control design. Simulation results demonstrate the performance of this controller for a representative example of a single-machine/infinite bus power system configuration under various operational conditions.

The simplest examples where the simplex method cycles and conditions where EXPAND fails to prevent cycling

Abstract: This paper introduces a class of linear programming examples which cause the simplex method to cycle indefinitely and which are the simplest possible examples showing this behaviour. The structure of examples from this class repeats after two iterations. Cycling is shown to occur for both the most negative reduced cost and steepest edge column selection criteria. In addition it is shown that the EXPAND anti-cycling procedure of Gill et al.is not guaranteed to prevent cycling.

Partial synchronicity and the (max,+) semiring

Abstract: In this paper we illustrate how non-stochastic (max,+) techniques can be used to describe partial synchronization in a Discrete Event Dynamical System. Our work uses results from the spectral theory of dioids and analyses (max,+) equations describing various synchronization rules in a simple network. The network in question is a transport network consisting of two routes joined at a single point, and our Discrete Events are the departure times of transport units along these routes. We calculate the maximum frequency of circulation of these units as a function of the synchronization parameter. These functions allow us further to determine the waiting times on various routes, and here we find critical parameters (dependent on the fixed travel times on each route) which dictate the overall behavoiur. We give explicit equations for these parameters and state the rules which enable optimal performance in the network (corresponding to minimum waiting time).

Characterization of Local Configuration Controllability for a Class of Mechanical Systems

Abstract: We investigate local configuration controllability for mechanical control systems within the affine connection formalism. Extending the work by Lewis for the single-input case, we are able to characterize local configuration controllability for systems with $n$ degrees of freedom and $n-1$ input forces.

Elementary Factors and Reduced Minors for Linear Systems over Commutative Rings

Abstract: In 1994, Sule presented the necessary and sufficient conditions of the feedback stabilizability of systems over unique factorization domains in terms of elementary factors and in terms of reduced minors. Recently, Mori and Abe have generalized his theory over commutative rings. They have introduced the notion of the generalized elementary factor, which is a~generalization of the elementary factor, and have given the necessary and sufficient condition of the feedback stabilizability. In this paper, we present two generalization of the reduced minors. Using each of them, we state the necessary and sufficient condition of the feedback stabilizability over commutative rings. Further we present the relationship between the generalizations and the generalized elementary factors.

Fate stochastic management and policy benchmark in 421, a popular game

Abstract: Using game and probability theories, I study the French popular game 421, a perfect information stochastic stage game. The problem is to find strategies maximizing the probability of some expected utility. I only solve a player's round against providence, a problem of fate stochastic management: beyond the backward induction solution, bounded complexity motivates heuristic policies. For a unique goal utility, a simple optimal policy, ratchet, is obtained. Its result probabilities are compiled and used, for arbitrary utilities, as the logic of goal identification policies. Various policies appear, close to human behavior, and are exactly evaluated by solving the Kolmogorov equation.

Constraint Identification and Algorithm Stabilization for Degenerate Nonlinear Programs

Abstract: In the vicinity of a solution of a nonlinear programming problem at which both strict complementarity and linear independence of the active constraints may fail to hold, we describe a technique for distinguishing weakly active from strongly active constraints. We show that this information can be used to modify the sequential quadratic programming algorithm so that it exhibits superlinear convergence to the solution under assumptions weaker than those made in previous analyses.

Nilpotentization of the Kinematics of the N-Trailer System at Singular Points and Motion Planning Through the Singular Locus

Abstract: We propose in this paper a constructive procedure that transforms locally, even at singular configurations, the kinematics of a car towing trailers into Kumpera-Ruiz normal form. This construction converts the nonholonomic motion planning problem into an algebraic problem (the resolution of a system of polynomial equations), which we illustrate by steering the two-trailer system in a neighborhood of singular configurations. We show also that the n-trailer system is a universal local model for all Goursat structures and that all Goursat structures are locally nilpotentizable.

Output Feedback Control for Stabilizable and Incompletely Observable Nonlinear Systems

Abstract: This paper introduces a new approach for output feedback stabilization of SISO systems which, unlike most of the techniques found in the literature, does not use high-gain observers and control input saturation to achieve separation between the state feedback and observer designs. Rather, we show that by using nonlinear observers, together with a projection algorithm, the same kind of separation principle is achieved for a larger class of systems, namely stabilizable and incompletely observable plants. Furthermore, this new approach avoids using knowledge of the inverse of the observability mapping, which is needed by most techniques in the literature when controlling general stabilizable systems.

State-estimators for chemical reaction networks of Feinberg-Horn-Jackson zero deficiency type

Abstract: 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 linear systems, Luenberger observers (also known as "deterministic Kalman filters" since they amount to Kalman filters designed without regard to the statistics of measurement noise) provide a general solution, but, for nonlinear systems, establishing generally applicable conditions for existence and convergence of observers is an open and active area of research. This paper provides a necessary and sufficient condition for detectability, and an explicit construction of observers when this condition is satisfied, for chemical reaction networks of the Feinberg-Horn-Jackson zero deficiency type.

Attainable sets for left invariant control systems and Carnot-Caratheodory metrics on nilpotent Lie groups

Abstract: Let $G$ be a semidirect product of a simply connected nilpotent Lie group and $\R$. For a left invariant control system on $G$ with a convex cone as a control domain, it is proved that the attainable sets coincides with a "halfspace" if the degree of contact of the with some special subspaces is sufficiently high.

Control for a class of nonlinear systems with a time-varying structure

Abstract: In this paper we present a direct adaptive control method for a class of uncertain nonlinear systems with a time-varying structure. We view the nonlinear systems as composed of a finite number of ``pieces,'' which are interpolated by functions that depend on a possibly exogenous scheduling variable. We assume that each piece is in strict feedback form, and show that the method yields stability of all signals in the closed-loop, as well as convergence of the state vector to a residual set around the equilibrium, whose size can be set by the choice of several design parameters. The class of systems considered here is a generalization of the class of strict feedback systems traditionally considered in the backstepping literature. We also provide design guidelines based on L-infinity bounds on the transient.

Lagrangian and Hamiltonian Formalism for Constrained Variational Problems

Abstract: We consider solutions of Lagrangian variational problems with linear constraints on the derivative. These solutions are given by curves $\gamma$ in a differentiable manifold $M$ that are everywhere tangent to a smooth distribution $\mathcal D$ on $M$; such curves are called horizontal. We study the manifold structure of the set $\Omega_{P,Q}(M,\mathcal D)$ of horizontal curves that join two submanifolds $P$ and $Q$ of $M$. We consider an action functional $\mathcal L$ defined on $\Omega_{P,Q}(M,\mathcal D)$ associated to a time-dependent Lagrangian defined on $\mathcal D$. If the Lagrangian satisfies a suitable hyper-regularity assumption, it is shown how to construct an associated degenerate Hamiltonian $H$ on $TM^*$ using a general notion of {\em Legendre transform} for maps on vector bundles. We prove that the solutions of the Hamilton equations of $H$ are precisely the critical points of $\mathcal L$.

On shape optimization and the Pompeiu problem

Abstract: The Pompeiu problem is considered as shape optimization problem. We show stability of the ball which is the minimum point of related domain functional. The proof is based on shape derivative method. Stability of the ball for general domain functionals invariant under the rigid motions is discussed.