Approximate Reduction of Dynamical Systems
Paulo Tabuada,Aaron D. Ames,A. Agung Julius,George J. Pappas +3 more
- pp 6408-6413
Reads0
Chats0
TLDR
In this paper, the authors consider a more general form of reduction, termed approximate reduction, in order to extend the class of systems that can be reduced and give conditions on when a dynamical system can be projected to a lower dimensional space while providing hard bounds on the induced errors.Abstract:
The reduction of dynamical systems has a rich history, with many important applications related to stability, control and verification. Reduction 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 examplesread more
Citations
More filters
Journal ArticleDOI
Finite Approximations of Switched Homogeneous Systems for Controller Synthesis
TL;DR: This work considers the problem of designing stabilizing switching controllers for a pair of unstable homogeneous second order systems with binary output feedback, and demonstrates 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.
Book ChapterDOI
A homology theory for hybrid systems: hybrid homology
Aaron D. Ames,S. Shankar Sastry +1 more
TL;DR: By transferring the theory of hybrid systems to a categorical framework, a homology theory for hybrid systems is developed: hybrid homology, which gives useful information about the behavior of this system.
Journal ArticleDOI
Approximate reduction of dynamic systems
TL;DR: 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, and gives conditions on when a dynamic system can be projected to a lower dimensional space while providing hard bounds on the induced errors.
Posted Content
A Control-Oriented Notion of Finite State Approximation for Systems Over Finite Alphabets
TL;DR: In this paper, the authors consider the problem of approximating discrete-time plants with finitevalued sensors and actuators by deterministic finite memory systems for the purpose of certified-by-design controller synthesis.
Journal ArticleDOI
An Input-Output Construction of Finite State $\rho/\mu$ Approximations for Control Design
TL;DR: In this paper, a general, methodical approach for constructing a sequence of finite state approximate models starting from finite length sequences of input and output signal pairs was proposed, and conditions under which the proposed construct, used in conjunction with a particular generalized structure, satisfies desirable properties ofρ/µapproximations thereby leading to nominal deterministic finite state machine models that can be used in certified-by-design controller synthesis.
References
More filters
BookDOI
Introduction to mechanics and symmetry
TL;DR: A basic exposition of classical mechanical systems; 2nd edition Reference CAG-BOOK-2008-008 Record created on 2008-11-21, modified on 2017-09-27 as mentioned in this paper.
Book
Manifolds, tensor analysis, and applications
TL;DR: In this paper, the authors provide core material in nonlinear analysis for mathematicians, physicists, engineers, and mathematical biologists, including manifolds, dynamical systems, tensors, and differential forms.
Journal ArticleDOI
Reduction of symplectic manifolds with symmetry
TL;DR: In this paper, a unified framework for the construction of symplectic manifolds from systems with symmetries is presented, including rotationally invariant systems, the rigid body, fluid flow, and general relativity.
Book ChapterDOI
Input to State Stability: Basic Concepts and Results
TL;DR: This expository presentation addresses the precise formulation of questions of robustness with respect to disturbances, formulated in the paradigm of input to state stability, with an intuitive and informal presentation of the main concepts.
Journal ArticleDOI
Nonholonomic Mechanical Systems with Symmetry
TL;DR: In this article, the authors developed the geometry and dynamics of nonholonomic systems using an Ehresmann connection to model the constraints, and showed how the curvature of this connection entered into Lagrange's equations.