Approximate reduction of dynamic systems☆
Introduction
Modelling is an essential part of many engineering disciplines and often a key ingredient for successful designs. Although it is widely recognized that models are only approximate descriptions of reality, their value lies precisely on the ability to describe, within certain bounds, the modelled phenomena. In this paper we consider modeling of closed-loop nonlinear control systems, i.e. differential equations, with the purpose of simplifying the analysis of these systems. The goal of this paper is to reduce the dimensionality of the differential equations being analysed while providing hard bounds on the introduced errors. One promising application of these techniques is to the verification of hybrid systems, which is currently constrained by the complexity of high dimensional differential equations.
Reducing differential equations–and in particular mechanical systems–is a subject with a long and rich history. The first form of reduction was discovered by Routh in the 1860’s; over the years, geometrical reduction has become an academic field in itself. One begins with a differential equation with certain symmetries, i.e. a differential equation invariant under the action of a Lie group on the phase space. Using these symmetries, one can reduce the dimensionality of the phase space (by “dividing” out by the symmetry group) and define a corresponding differential equation on this reduced phase space. The main result of geometrical reduction is that one can understand the behaviour of the full-order system in terms of the behavior of the reduced system and vice versa [11], [16], [5]. While this form of “exact” reduction is very elegant, the class of systems for which this procedure can be applied is actually quite small. This indicates the need for a form of reduction that is applicable to a wider class of systems and, while not being exact, is “close enough”.
In systems theory, reduced order modelling has also been extensively studied under the name of model reduction [4], [3]. The typical problem addressed in this literature consists in approximating a system by a system while minimizing the norm: where is the output of and is the output of . This kind of reduction is not adequate when one is interested in applications to formal verification of hybrid systems. A typical safety verification problem consists in determining if any trajectory of starting in a given set of initial conditions enters a given set of unsafe states . If one solves this verification problem with the reduced order model , then one cannot conclude, based on an upper bound on (1), if trajectories of do enter the . This motivates us to study reduction problems in which trajectories of and its reduced model are instead related by the norm: More recent work considered exact reduction of control systems [17], [15] based on the notion of bisimulation which was later generalized to approximate bisimulation [7], [13], [8].
We develop our results in the framework of incremental stability and our main result is in the spirit of existing stability results for cascade systems that proliferate the Input-to-State Stability (ISS) literature. See, for example, [12] and the references therein. A preliminary version of our results appeared in the conference paper [14].
Section snippets
Preliminaries
A continuous function , is said to belong to class if it is strictly increasing, and as . A continuous function is said to belong to class if, for each fixed , the map belongs to class with respect to and, for each fixed , the map is decreasing with respect to and as .
A function is said to be smooth if it is infinitely differentiable. We denote by the tangent map to and by the tangent map to at
Exact reduction
For some dynamic systems described by a vector field on it is possible to replace by a vector field describing the dynamics of the system on a lower dimensional space, , while retaining much of the information about . When this is the case we say that can be reduced to . This idea of (exact) reduction is captured by the notion of -related vector fields.
Definition 3 Let be a smooth map. The vector field is said to be -related to the vector field if for every we
Approximate reduction
The generalization of Definition 3 proposed in this section requires a decomposition of of the form . Associated with this decomposition are the canonical projections and taking to and , respectively. Intuitively, corresponds to the state space of the full model and we will be interested in the evolution of only the part of the state described by , for which we will be seeking a reduced model.
Definition 4 The vector field is said
Examples
In this section, we consider examples that illustrate the usefulness of approximate reduction.
References (17)
- et al.
Approximate bisimulation relations for constrained linear systems
Automatica
(2007) - et al.
Reduction of symplectic manifolds with symmetry
Reports on Mathematical Physics
(1974) - et al.
Bisimilar control affine systems
Systems and Control Letters
(2004) - et al.
A Lyapunov approach to incremental stability properties
IEEE Transactions on Automatic Control
(2002)- et al.
A survey of model reduction methods for large-scale systems
Contemporary Mathematics
(2000) - et al.
Model reduction of multidimensional and uncertain systems
IEEE Transactions on Automatic Control
(1996) - et al.
Nonholonomic mechanical systems with symmetry
Archive for Rational Mechanichs and Analysis
(1996)
Cited by (0)
- ☆
This research was partially supported by the National Science Foundation, EHS award 0712502.