Approximate reduction of dynamical systems

08/2007; DOI: 10.1109/CDC.2006.377156
Source: arXiv

ABSTRACT The reduction of dynamical systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically performed in an exact manner - as is the case with mechanical systems with symmetry--which, unfortunately, limits the type of systems to which it can be applied. The goal of this paper is to consider a more general form of reduction, termed approximate reduction, in order to extend the class of systems that can be reduced. Using notions related to incremental stability, we give conditions on when a dynamical system can be projected to a lower dimensional space while providing hard bounds on the induced errors, i.e., when it is behaviorally similar to a dynamical system on a lower dimensional space. These concepts are illustrated on a series of examples.

  • Source
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: In this note, we demonstrate the use of a control oriented notion of finite state input/output approximation to synthesize correct-by-design controllers for hybrid plants under sensor limitations. Specifically, we consider the problem of designing stabilizing switching controllers for a pair of unstable homogeneous second order systems with binary output feedback. In addition to yielding a deterministic finite state approximate model of the hybrid plant, our approach allows one to efficiently establish a useable upper bound on the quality of approximation, and leads to a discrete optimization problem whose solution immediately provides a certified finite state controller for the plant. The resulting controller consists of a deterministic finite state observer and a corresponding full state feedback control law.
    IEEE Transactions on Automatic Control 06/2011; · 2.72 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We consider the problem of approximating discrete-time plants with finite-valued sensors and actuators by deterministic finite memory systems for the purpose of certified-by-design controller synthesis. Building on ideas from robust control, we propose a control-oriented notion of finite state approximation for these systems, demonstrate its relevance to the control synthesis problem, and discuss its key features.
    IEEE Transactions on Automatic Control 01/2012; 57(12):3197-3202. · 2.72 Impact Factor

Full-text (2 Sources)

Available from
Jun 3, 2014