- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Mathematical Problems in Engineering
Volume 2012 (2012), Article ID 142060, 16 pages
Toolgraph Design of Optimal and Feasible Control Strategies for Time-Varying Dynamical Systems
Department of Decision Systems (WETI), Gdansk University of Technology, Narutowicza 11/12, 80-952 Gdansk, Poland
Received 30 March 2012; Accepted 21 July 2012
Academic Editor: Zoran Gajic
Copyright © 2012 Z. Kowalczuk and K. E. Olinski. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The paper presents a new method for designing optimal and feasible control strategies for time-variant dynamical processes. The key point of the presented idea lies in utilizing a flow graph structure for representing pertinent properties of the autonomous dynamics of a given dynamical process in a time-and-state space, which is composed of certain elementary segments. The structure is referred to as a time-and-state space toolgraph. In the procedure, each segment of the temporary state space is assigned a node of the time-and-state space toolgraph. The flow values are proportional to the cost of driving the operational point of the dynamical process between the centers of adjacent segments. Any of the discrete optimization algorithms can be applied to search for a cheapest path connecting the initial and terminal points of the sought optimal piecewise-linear trajectory of the operational points in the considered time-and-state space. Additional assumptions or restrictions concerning arbitrary forbidden zones for the operational points can be easily taken into account. In such cases the nodes representing the segments partially or entirely belonging to the finite forbidden zones are deposed from the toolgraph structure.
The general idea of representing a continuous workspace by means of a graph structure has recently been explored, for instance, for searching optimal trajectories of robot movements in 2D  and 3D  workspaces, as well as for designing optimal control in multidimensional spaces .
The presented method is a consequent extension of our research track of designing optimal and feasible control by means of discrete optimization methods [4–6]. In particular, certain deterministic time variations of the controlled process are taken into consideration by extending the common state space with an additional time dimension.
The algorithm consists in finding a trajectory in such an extended state space (called henceforth the time-state space), which should satisfy two principal prerequisites. First, the sought trajectory circumvents certain finite areas (called the forbidden zones) which can, for instance, represent some failures previously identified. Second, the autonomous dynamics of the process is used in the process of minimizing the adopted indicator of control cost, which is a part of the problem definition and an input to a corresponding minimization procedure. The procedure starts with segmenting the defined operational workspace, which is a subset of the time-and-state space taken into consideration during the process of optimal trajectory design. For each segment a set of representative values is determined. The representative values (representatives) are all the quantities which are necessary to calculate the cost of an operational point movement in a given segment area. The next step is based on a formulation of a flow graph structure (called toolgraph), which reflects the arrangement of the segments along with their appropriate representatives. Any discrete optimization algorithm that performs optimal search for the cheapest path can be utilized for searching the time-and-state space toolgraph for the cheapest path connecting the initial and terminal nodes representing the segments, which contain initial and terminal points of the sought trajectory, respectively.
2. Problem and Solution Description
This section provides some basic definitions (confer ) and gives a raw description of the presented method.
2.1. Problem Statement
Definition 2.1 (autonomous and forced dynamics). A dynamical and time-variant process is described by the following function: where is a state vector and is a control vector, and . Let the autonomous dynamics be described by and let the forced dynamics be defined by a simple centroaffine transformation where is a fixed (time-invariant) input control matrix, and the above contributors satisfy the following additivity condition: where and are two, autonomous and forced state components.
Definition 2.2 (operational subspace ). A subset , where , for , represents a range along the axis , which is taken into account while seeking an optimal trajectory, is said to be an operational subspace.
Definition 2.3 (forbidden zone ). A subset of prohibited for operational points is referred to as a forbidden zone. This means that the sought optimal trajectory cannot enter it.
Definition 2.4 (system trajectory ). Any sequence of consecutive states of a given dynamical system for a feasible control input from a set is said to be a system’s trajectory or a trajectory of operational points in the system state space .
Definition 2.5 (transition vector ). A transition vector is an ordered set of two elements where is the first element and is the last element of the sought (optimal) trajectory.
Definition 2.6 (cost function of the system and control trajectory). Let be a set of all trajectories . Any real function of the class is said to be a cost function of this trajectory.
Definition 2.7 (optimal trajectory ). Let be the subset of all possible trajectories that perform the desired transition (i.e., which start at and terminate at ). We say that a trajectory is (costly) optimal if it satisfies the following conditions:
Definition 2.8 (autonomous dynamics map ). The image of the whole space in the transformation is said to be an autonomous dynamics map .
Our ultimate objective is to find the optimal and feasible control along with its corresponding state trajectory , which implements the complete transition of the dynamical system (2.1) from its initial state to the target state and at the same time minimizes the cost functional of the following form: where , are nonnegative factors often used for weighting, and is a suitable transition-time interval resulting from the applied optimal control procedure.
2.2. Solution Method
For the dynamical systems described in Definition 2.1, we consider its simple discrete-time variability of the computationally-convenient jump type allowing for the state-space system approximation scheme depicted in Figure 1.
Leaving apart the initial conditions defined for a certain , let us consider consecutive continuous-time computational time moments , for , with , being a computation step (or a simulation insight), where is a discrete-time horizon under consideration.
Definition 2.9 (temporary workspace ). At each of the above-mentioned computational moments, a separate temporary duplicate of the operational subspace will be associated, as shown in Figure 1.
Definition 2.10 (snapshots of the dynamics map). The multiplication of the subspace allows us to define separate snapshots of the dynamics map assigned to consecutive time moments .
The map snapshots are thus assigned to each of the temporary workspaces . This is, however, difficult to be portrayed on the composite scheme given in Figure 1. Instead, there are only shaded planes illustrating this effect. A better portray of map snapshots is given in the following example (see Figure 2).
Definition 2.11 (continuous-time dynamic system with discrete-time variability). The temporary (potentially time-variant) system dynamics composed of the autonomous and forced dynamics can be defined in the computational moments as which by the power of (2.3) and (2.4) allows for simple modeling of the system variability (which can be arbitrary induced by redefining the functions and ).
Note that the snapshots of the map are included in (2.9) as , whereas the control part represents the forced component (2.4) of the complete state derivative . Clearly, this means that not just the snapshot forms the derivative of the state.
Definition 2.12 (process computation). The procedure of calculating the operational-point trajectory in the state-space for the assumed discrete-time variability model (which can also be treated as a kind of real-system approximation) consists of the following derivative-based prediction and numerical integration steps: (i)take and treat it as a local estimation of the system dynamics for the future time interval , (ii)calculate the next state vector for the time moment as
Note that the rectangular integration scheme applied above for modeling the time-variability of dynamical systems is widely utilized in the procedures of computer simulation of variant or invariant continuous-time systems .
Definition 2.13 (segmentation of the temporary operational subspaces). Segmentation of the temporary operational subspace consists in dividing it, for the time moments , , into a set of segments denoted as , for , according to the following relation: where each pair of segments for any discrete time satisfies the following separability condition: for , where denotes the closure of the corresponding set. Clearly, the size of the segments is typically selected in accordance with some fidelity criteria of the applied discrete approximation of the original process.
For the computational purposes we need a definition of a segment neighborhood and a generic concept of a distance (norm). Let us thus assume the common Euclidean norm and the following definition.
Definition 2.14 (segment’s neighborhood). Any segment is in the neighborhood of another segment , that is, , if their geometrical centers and satisfy a simple neighboring condition: where means the Euclidean norm, and is a fixed neighborhood size.
Definition 2.15 (representatives). Any variable used in optimization and assigned to a segment is said to be a representative.
The autonomous dynamics map of Definition 2.8, being the derivative of the vector function , makes a principal source of candidates for a rational selection of the segment representatives. Note that in accordance to the common idea of domain and codomain of the transformation , from a practical implementation viewpoint, the map means a kind of doubling of the problem dimensioning with respect to . This fact is merely represented in Figure 1 by the colors (or rather shades) applied to different temporary subspaces . When the local evolution of some of the coordinates of the state vector is not relevant for the optimization considered, the co-domain can be reduced. At the same time the designer can introduce other representatives relevant for the optimization procedure and criterion.
Definition 2.16 (predecessor and successor workspaces). For any pair , is called a predecessor and is referred to as a successor (on the time scale).
Definition 2.17 (time-and-state operational space). The time-and-state operational (sub)space, concerning all the time moments , , is composed as follows:
In spite of the above definition of the (global) time-and-state operational space, and according to the scheme depicted in Figure 1, the principal optimization takes place in particular temporary workspaces . Clearly, based on the procedure judgment shown in Figure 1, the time domain has to be treated separately.
Definition 2.18 (state-space graph ). A flow graph representing the arrangement of the segments of the temporary operational workspace , , is said to be a state-space graph. According to the common idea  of flow graphs: we interpret its basic structure as a set of nodes, each of which is assigned a set of the values of the representatives of its corresponding segments. Only the edges connecting two nodes representing segments located in their mutual neighborhood form a set of the edges. Each edge is assigned a flow value .
Definition 2.19 (time-and-state space toolgraph). According to the definition of the time-and-state operational space, and based on the state-space graphs of all the workspaces , a time-and-state space toolgraph is composed by adding costless, directed edges connecting all the pairs of equivalent (in the subspace geometry) segments in the predecessor and successor workspaces.
2.3. Algorithm Description
Basically, the presented algorithm takes the above-defined principal notions (the time-and-state space composed of the temporary operational workspaces , the transition vector , and the segmentation form) to minimize the adopted cost function . Optionally, we can determine the feasible control set and the forbidden zone . The latter can be used to represent some constraints portraying, for instance, faults previously detected in the system.
Definition 2.20 (the toolgraph optimization algorithm). Initialization with the input data: dynamic process description, operational time-and-state space, forbidden zones, initial and terminal trajectory points, and time horizon is as follows. (i)Step 1. Segmentation. (ii)Step 2. Determination of the representatives. (iii)Step 3. Are the fidelity conditions met? (1)If yes, go to Step 4. (2)If no, resize the segments, introduce new forbidden zones, and go to Step 1. (iv)Step 4. Creation of the toolgraph. (v)Step 5. T-graph search for the cheapest path connecting the initial and the terminal nodes. (vi)Step 6. Has the cheapest path been found? (1)If yes, go to Step 7. (2)If no, terminate the algorithm. (vii)Step 7. The reference trajectory synthesis (based on the path found in the previous step).
As can be seen in Definition 2.20, we start the procedure by segmenting the temporary subspaces which results in a limited set of segments, for . Each segment of a set of representatives is assigned. Certainly, the size of the segments is chosen in accordance to an assumed discretization error, or fidelity index (discussed later on in the examples).
Next, the state space graphs are formed. According to Definition 2.18, each node from is associated with a certain segment of . Its edges connect only nodes representing the segments neighboring in . The edge flow values are determined according to the adopted function cost. Consequently, the time-and-state space toolgraph is built as a composition of the “consecutive” state-space graphs according to Definition 2.19.
For practical optimization problems, any discrete optimization algorithm, which is suitable for finding the cheapest path between two selected nodes, can be utilized. If such a path exists, it represents a sequence of segments, which should be visited by the optimal trajectory. This sequence of segments implies a reference trajectory, which can be tracked by an executive controller in a procedure of a suboptimal fulfillment of the stated control task.
3. Optimization Examples
This section provides an illustrative example which utilizes the above-mentioned formal definitions and the optimization algorithm. The minimized criterion is given by (2.8) with the restriction that the resulting trajectory is piecewise linear in the considered time-and-state space. The example concerns a two-dimensional time-variant dynamical process described in the following subsection.
3.1. Process Description
The exemplary process is described by the following set of equations: where , , , , and are the process constant parameters. The auxiliary model variables and functions given above are defined as follows: where and , , are the internal process state variables characterized by derivatives of the following constant values: , , .
The autonomous dynamics map of the described process is shown in Figure 2, where certain three () centers of attraction can be seen, which circulating with the angular velocities (, , , resp.) around the center () are the source of process time-variability. Additionally, the forbidden zones , , , are defined in the forms of circular areas, which have the radii , , , and , respectively. The midpoints of the forbidden zones cover the midpoints of the respective centers of “attraction.”
3.2. Algorithm Implementation
In theory, an infinite time horizon of optimization is a simple and trivial solution for the time horizon setting. In computer applications, we prefer the concept of “sufficiently” large horizons, which is determined according to our prior knowledge on the optimization process and the limitations of available computing power, whereas the time step size was chosen empirically so as to obtain the desired “granularity” of the solution.
According to Definition 2.13, the segmentation procedure consists of dividing the operational subspaces , , being, in this case, hypercubes described by , into the set of segments of diameters , all located along the time axis at a step size . For each segment the representative values are calculated as the averages of the autonomous dynamics computed for particular directions: where denotes the th sample of the coordinate of the autonomous dynamics map for the discrete time moments , and denotes the number of samples per segment in this following examples.
The fidelity of the applied discrete representation for the segment is assessed as
If exceeds some given threshold, which can be an empirically estimated value, we assume that the segment along with its representatives constitutes an infeasible representation of the autonomous dynamics in the area of the time-and-state space occupied by this segment. In such cases either the size of the segment is changed or the segment is included to the forbidden zone (as an area of high dynamics).
Having defined the neighborhood of the segments, the construction of the state-space graphs and time-and-state space toolgraph comes according to Definitions 2.18 and 2.19, respectively. The flow values are determined as the cost of driving the operational point between each two neighboring segments according to (2.8).
The last stage consists in searching the above-defined time-and-state space toolgraph for the cheapest path connecting the initial and the terminal node. We can use, for instance, the Dijkstra’s algorithm  for this purpose.
3.3. Problem 1
The first problem concerns finding a trajectory of the operational point, which minimizes (2.8), with the initial location at and the terminal point satisfying the following condition: where the assumed time horizon is . The results are presented in Figure 3. The total cost indicator is equal to . It can be clearly seen that the optimal strategy consists in keeping the operational point at the initial location till a certain time moment () and then to start the transition process.
3.4. Problem 2
In this case the time horizon was shortened to , which resulted in a higher value of the total cost indicator as compared to the one of Problem 1. The remaining parameters are the same as in Problem 1. The results are depicted in Figure 4.
3.5. Problem 3
Further shortening of the time horizon leads to a greater control cost with the trajectory of the operational point depicted in Figure 5.
3.6. Problem 4
This time the problem of driving the operational point from the initial condition to the terminal point is considered. The time horizon is . The resulting total cost is equal to . The designed trajectory is presented in Figure 6.
3.7. Problem 5
This case is a variation of Problem 4 with the time horizon lengthened to , which resulted in a reduction of the total cost . The computed trajectory is presented in Figure 7.
3.8. Problem 6
The last example presents the design of the optimal trajectory with the initial point at and the terminal point satisfying (3.7) with the time horizon . The total cost . The gained results are depicted in Figure 8.
This work presents an effective concept of designing optimal and feasible control strategies for time-varying dynamical processes based on discrete optimization approach and its solutions.
After segmenting the composed time-and-state workspace of the process dynamics, a time-and-state space toolgraph (made of temporary state-space graphs) is constructed that represents all the pertinent properties of the autonomous dynamics of the considered dynamical process. Additional assumptions or restrictions concerning arbitrary forbidden zones for the operational points can be easily taken into account. Numerical computations are performed by means of any discrete optimization algorithm which searches for the cheapest path connecting the node initial and terminal nodes. The presented work has been implemented based on the basic form of the Dijkstra’s algorithm, whose performance can be improved by applying various modifications given in the literature, for instance, in .
The resulting cheapest path describes an optimal piecewise-linear trajectory of the operational points in the considered time-and-state space. Note that such a solution may need some kind of smoothing for most real-time process cases.
A clear suboptimal property of the proposed approach results from the fact that the computed reference trajectory can only pass through the centers of the segments. In this context the size of segments has a key influence on the quality of the ultimate optimal solution being sought.
Thus, in general, this interdisciplinary paper concerns research into formal optimization methods and tools. Namely, it shows how to constructively predefine the control optimisation problem or to convert complex optimal control problems for nonlinear time-variant objects with constraints into a graph structure ready to be processed by any of the discrete optimization methods, in particular, by the standard numerical methods of graph optimisation. In the light of theory application to problems arising in engineering, this method can be used for on- or off-line numerically solved practical optimal control or path-finding problems for time-varying objects or environments.
Though this paper is an investigative proposition of a new numerical optimization method, an abstract but nontrivial and imaginative example of several variations has also been given to illustrate the effectiveness of the proposed methodology. The example presented inclusive of a system of variant attraction centers is a rough analog to the solar system. Other business and industry applications are to be developed in order to give a wider proof of the advantages of the proposed method in a confrontation with the scientific challenges of the real world. We also hope that this paper should encourage scientists and engineers to apply both this approach and the discrete optimisation methods.
Complexity of the presented method principally results from the complexity of the algorithm applied for searching the toolgraph. Some clues concerning the possibilities of improving the graph search process can be found in [11, 12], for instance. It is clear that the difficulty of the proposed method is shaped mostly by the numerical complexity of searching the T-graph. In a straightforward tactic one makes use of the Dijkstra algorithm . Other, mostly heuristic enhancements (like the renowned algorithm ) can also be employed in order to improve the efficiency of the proposed numerical optimisation procedure.
In spite of the presented feasibility of the approach, a general problem of the so-called curse of dimensionality has always to be taken into account in all research of this type. This means that there are limits which render such approaches infeasible in some problems of practical interest. Nevertheless, nowadays, in view of the persistent progress in computer technology, finding constructive methods of solving problems appears to be most substantial in science, technology, and engineering.
- L. Jaulin, “Path planning using intervals and graphs,” Reliable Computing, vol. 7, no. 1, pp. 1–15, 2001.
- E. Masehian and A. N. D. G. Habibi, “Robot path planning in 3D space using binary integer programming,” International Journal of Mechanical, Industrial and Aerospace Engineering, vol. 1, no. 1, pp. 26–31, 2007.
- Z. Kowalczuk, K. Rudzinska-Kormanska, and A. N. D. K. E. Olinski, “Designing nonlinear control systems by state-space flow graph optimization,” in Proceedings of the 11th IFAC Symposium on Large Scale Systems CD-ROM, IFAC, Gdansk, Poland, 2007.
- Z. Kowalczuk and A. N. D. K.E. Olinski, “Optimal and safe control planning with the use of discrete optimization,” in Recent Advances in Control and Automation, K. Malinowski and L. Rutkowski, Eds., pp. 283–292, Academic Publishing House EXIT, Warsaw, Poland, 2007.
- Z. Kowalczuk and K. E. Oliński, “Suboptimal fault tolerant control design with the use of discrete optimization,” International Journal of Applied Mathematics and Computer Science, vol. 18, no. 4, pp. 561–568, 2008.
- Z. Kowalczuk and A. N. D. K.E. Olinski, “Designing optimal operational-point trajectories using an intelligent sub-strategy agent-based approach,” in Smart Information and Knowledge Management: Advances, Challenges, and Critical Issues, E. Szczerbicki and N. T. Nguyen, Eds., vol. 260 of Studies in Computational Intelligence, pp. 273–282, Springer, Berlin, Germany, 2010.
- J. M. Smith, Mathematical Modeling and Digital Simulation for Engineers and Scientists, John Wiley & Sons, New York, NY, USA, 1977.
- R. Diestel, Graph Theory, vol. 1, Springer, New York, NY, USA, 1st edition, 2000.
- S. S. Skiena, The Algorithm Design Manual, Springer, New York, NY, USA, 1997.
- R. V. Helgason, J. L. Kennington, and B. D. Stewart, “The one-to-one shortest-path problem: an empirical analysis with the two-tree Dijkstra algorithm,” Computational Optimization and Applications, vol. 2, no. 1, pp. 47–75, 1993.
- D. P. Bertsekas, Dynamic Programming and Optimal Control, Athena Scientific, Nashua, NH, USA, 2005.
- M. L. Fredman and R. E. Tarjan, “Fibonacci heaps and their uses in improved network optimization algorithms,” Journal of the Association for Computing Machinery, vol. 34, no. 3, pp. 596–615, 1987.