This paper considers dealing with path constraints in the framework of the improved control vector iteration (CVI) approach. Two available ways for enforcing equality path constraints are presented, which can be dir...This paper considers dealing with path constraints in the framework of the improved control vector iteration (CVI) approach. Two available ways for enforcing equality path constraints are presented, which can be directly incorporated into the improved CVI approach. Inequality path constraints are much more difficult to deal with, even for small scale problems, because the time intervals where the inequality path constraints are active are unknown in advance. To overcome the challenge, the ll penalty function and a novel smoothing technique are in-troduced, leading to a new effective approach. Moreover, on the basis of the relevant theorems, a numerical algo-rithm is proposed for nonlinear dynamic optimization problems with inequality path constraints. Results obtained from the classic batch reaCtor operation problem are in agreement with the literature reoorts, and the comoutational efficiency is also high.展开更多
A two-stage multi-objective optimization model-predictive control algorithms(MPC) strategy is presented. A domain MPC controller with input constraints is used to increase freedom for steady-state objective and enhanc...A two-stage multi-objective optimization model-predictive control algorithms(MPC) strategy is presented. A domain MPC controller with input constraints is used to increase freedom for steady-state objective and enhance stabilization of the controller. A steady-state objective optimization algorithm oriented to transient process is adopted to realize optimization of objectives else than dynamic control. It is proved that the stabilization for both dynamic control and steady-state objective optimization can be guaranteed. The theoretical results are demonstrated and discussed using a distillation tower as the model. Theoretical analysis and simulation results show that this control strategy is efficient and provides a good strategic solution to practical process control.展开更多
This study proposes an efficient indirect approach for general nonlinear dynamic optimization problems without path constraints. The approach incorporates the virtues both from indirect and direct methods: it solves t...This study proposes an efficient indirect approach for general nonlinear dynamic optimization problems without path constraints. The approach incorporates the virtues both from indirect and direct methods: it solves the optimality conditions like the traditional indirect methods do, but uses a discretization technique inspired from direct methods. Compared with other indirect approaches, the proposed approach has two main advantages: (1) the discretized optimization problem only employs unconstrained nonlinear programming (NLP) algorithms such as BFGS (Broyden-Fletcher-Goldfarb-Shanno), rather than constrained NLP algorithms, therefore the computational efficiency is increased; (2) the relationship between the number of the discretized time intervals and the integration error of the four-step Adams predictor-corrector algorithm is established, thus the minimal number of time intervals that under desired integration tolerance can be estimated. The classic batch reactor problem is tested and compared in detail with literature reports, and the results reveal the effectiveness of the proposed approach. Dealing with path constraints requires extra techniques, and will be studied in the second paper.展开更多
A improving Steady State Genetic Algorithm for global optimization over linear constraint non-convex programming problem is presented. By convex analyzing, the primal optimal problem can be converted to an equivalent ...A improving Steady State Genetic Algorithm for global optimization over linear constraint non-convex programming problem is presented. By convex analyzing, the primal optimal problem can be converted to an equivalent problem, in which only the information of convex extremes of feasible space is included, and is more easy for GAs to solve. For avoiding invalid genetic operators, a redesigned convex crossover operator is also performed in evolving. As a integrality, the quality of two problem is proven, and a method is also given to get all extremes in linear constraint space. Simulation result show that new algorithm not only converges faster, but also can maintain an diversity population, and can get the global optimum of test problem.展开更多
Chaplygin’s nonholonomic systems are familiar mechanical systems subject to unintegrable linear constraints, which can be reduced into holonomic nonconservative systems in a subspace of the original state space. The ...Chaplygin’s nonholonomic systems are familiar mechanical systems subject to unintegrable linear constraints, which can be reduced into holonomic nonconservative systems in a subspace of the original state space. The inverse problem of the calculus of variations or Lagrangian inverse problem for such systems is analyzed by making use of a reduction of the systems into new ones with time reparametrization symmetry and a genotopic transformation related with a conformal transformation. It is evident that the Lagrangian inverse problem does not have a direct universality. By meaning of a reduction of Chaplygin’s nonholonomic systems into holonomic, regular, analytic, nonconservative, first-order systems, the systems admit a Birkhoffian representation in a star-shaped neighborhood of a regular point of their variables, which is universal due to the Cauchy-Kovalevski theorem and the converse of the Poincaré lemma.展开更多
The stabilization of switched linear systems with constrained inputs (SLSCI) is considered. The authors design admissible linear state feedbacks and the switching rule which has a minimal dwell time (MDT) to stabi...The stabilization of switched linear systems with constrained inputs (SLSCI) is considered. The authors design admissible linear state feedbacks and the switching rule which has a minimal dwell time (MDT) to stabilized the system. First, for each subsystem with constrained inputs, a stabilizing linear state feedback and an invariant set of the closed-loop system are simultaneously constructed, such that the input constraints are satisfied if and only if the closed-loop system's states lie inside this set. Then, by constructing a quadratic Lyapunov function for each closed-loop subsystem, an MDT is deduced and an MDT-based switching strategy is presented to ensure the stability of the switched system.展开更多
For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reac...For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.展开更多
基金Supported by the National Natural Science Foundation of China(U1162130)the National High Technology Research and Development Program of China(2006AA05Z226)Outstanding Youth Science Foundation of Zhejiang Province(R4100133)
文摘This paper considers dealing with path constraints in the framework of the improved control vector iteration (CVI) approach. Two available ways for enforcing equality path constraints are presented, which can be directly incorporated into the improved CVI approach. Inequality path constraints are much more difficult to deal with, even for small scale problems, because the time intervals where the inequality path constraints are active are unknown in advance. To overcome the challenge, the ll penalty function and a novel smoothing technique are in-troduced, leading to a new effective approach. Moreover, on the basis of the relevant theorems, a numerical algo-rithm is proposed for nonlinear dynamic optimization problems with inequality path constraints. Results obtained from the classic batch reaCtor operation problem are in agreement with the literature reoorts, and the comoutational efficiency is also high.
基金Supported by the National Natrural Science Foundation of China(No.69635010).
文摘A two-stage multi-objective optimization model-predictive control algorithms(MPC) strategy is presented. A domain MPC controller with input constraints is used to increase freedom for steady-state objective and enhance stabilization of the controller. A steady-state objective optimization algorithm oriented to transient process is adopted to realize optimization of objectives else than dynamic control. It is proved that the stabilization for both dynamic control and steady-state objective optimization can be guaranteed. The theoretical results are demonstrated and discussed using a distillation tower as the model. Theoretical analysis and simulation results show that this control strategy is efficient and provides a good strategic solution to practical process control.
基金Supported by the National Natural Science Foundation of China (U1162130)the National High Technology Research and Development Program of China (2006AA05Z226)the Outstanding Youth Science Foundation,Zhejiang Province (R4100133)
文摘This study proposes an efficient indirect approach for general nonlinear dynamic optimization problems without path constraints. The approach incorporates the virtues both from indirect and direct methods: it solves the optimality conditions like the traditional indirect methods do, but uses a discretization technique inspired from direct methods. Compared with other indirect approaches, the proposed approach has two main advantages: (1) the discretized optimization problem only employs unconstrained nonlinear programming (NLP) algorithms such as BFGS (Broyden-Fletcher-Goldfarb-Shanno), rather than constrained NLP algorithms, therefore the computational efficiency is increased; (2) the relationship between the number of the discretized time intervals and the integration error of the four-step Adams predictor-corrector algorithm is established, thus the minimal number of time intervals that under desired integration tolerance can be estimated. The classic batch reactor problem is tested and compared in detail with literature reports, and the results reveal the effectiveness of the proposed approach. Dealing with path constraints requires extra techniques, and will be studied in the second paper.
文摘A improving Steady State Genetic Algorithm for global optimization over linear constraint non-convex programming problem is presented. By convex analyzing, the primal optimal problem can be converted to an equivalent problem, in which only the information of convex extremes of feasible space is included, and is more easy for GAs to solve. For avoiding invalid genetic operators, a redesigned convex crossover operator is also performed in evolving. As a integrality, the quality of two problem is proven, and a method is also given to get all extremes in linear constraint space. Simulation result show that new algorithm not only converges faster, but also can maintain an diversity population, and can get the global optimum of test problem.
基金supported by the National Natural Science Foundation of China (Grant Nos. 10932002, 10872084, and 10472040)the Outstanding Young Talents Training Fund of Liaoning Province of China (Grant No. 3040005)+2 种基金the Research Program of Higher Education of Liaoning Prov- ince, China (Grant No. 2008S098)the Program of Supporting Elitists of Higher Education of Liaoning Province, China (Grant No. 2008RC20)the Program of Constructing Liaoning Provincial Key Laboratory, China (Grant No. 2008403009)
文摘Chaplygin’s nonholonomic systems are familiar mechanical systems subject to unintegrable linear constraints, which can be reduced into holonomic nonconservative systems in a subspace of the original state space. The inverse problem of the calculus of variations or Lagrangian inverse problem for such systems is analyzed by making use of a reduction of the systems into new ones with time reparametrization symmetry and a genotopic transformation related with a conformal transformation. It is evident that the Lagrangian inverse problem does not have a direct universality. By meaning of a reduction of Chaplygin’s nonholonomic systems into holonomic, regular, analytic, nonconservative, first-order systems, the systems admit a Birkhoffian representation in a star-shaped neighborhood of a regular point of their variables, which is universal due to the Cauchy-Kovalevski theorem and the converse of the Poincaré lemma.
基金supported by the National Nature Science Foundation of China under Grant Nos:60674022, 60736022,and 62821091
文摘The stabilization of switched linear systems with constrained inputs (SLSCI) is considered. The authors design admissible linear state feedbacks and the switching rule which has a minimal dwell time (MDT) to stabilized the system. First, for each subsystem with constrained inputs, a stabilizing linear state feedback and an invariant set of the closed-loop system are simultaneously constructed, such that the input constraints are satisfied if and only if the closed-loop system's states lie inside this set. Then, by constructing a quadratic Lyapunov function for each closed-loop subsystem, an MDT is deduced and an MDT-based switching strategy is presented to ensure the stability of the switched system.
基金supported by the National Natural Science Foundation of China(Grant Nos.61373043&61003079)the Fundamental Research Funds for the Central Universities(Grant No.JB140316)
文摘For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced.