This study investigates the robust feedback set stabilization of switched logic control networks(SLCNs)with state-dependent uncertain switching and control constraints.First,based on the properties of the semi-tensor ...This study investigates the robust feedback set stabilization of switched logic control networks(SLCNs)with state-dependent uncertain switching and control constraints.First,based on the properties of the semi-tensor product of matrices and the vector representation of logic,an SLCN with state-dependent uncertain switching and control constraints is expressed in algebraic form.Second,an input transformation and a switching model are constructed to transfer the original SLCN into one with a free control input and arbitrary switching.The equivalence between the set stabilizability of the original SLCN and that of the resulting SLCN is established.Based on such equivalence,the authors propose a necessary and sufficient condition for robust feedback set stabilizability.Finally,an example is presented to demonstrate the application of the results obtained.展开更多
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机...以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。展开更多
Because model switching system is a typical form of Takagi-Sugeno（T-S） model which is an universal approximator of continuous nonlinear systems, we describe the model switching system as mixed logical dynamical （ML...Because model switching system is a typical form of Takagi-Sugeno（T-S） model which is an universal approximator of continuous nonlinear systems, we describe the model switching system as mixed logical dynamical （MLD） system and use it in model predictive control （MPC） in this paper. Considering that each local model is only valid in each local region,we add local constraints to local models. The stability of proposed multi-model predictive control （MMPC） algorithm is analyzed, and the performance of MMPC is also demonstrated on an inulti-multi-output（MIMO） simulated pH neutralization process.展开更多
In this paper, the feasibility and objectives coordination of real-time optimization (RTO) are systemically investigated under soft constraints. The reason for requiring soft constraints adjustment and objective relax...In this paper, the feasibility and objectives coordination of real-time optimization (RTO) are systemically investigated under soft constraints. The reason for requiring soft constraints adjustment and objective relaxation simultaneously is that the result is not satisfactory when the feasible region is apart from the desired working point or the optimization problem is infeasible. The mixed logic method is introduced to describe the priority of the constraints and objectives, thereby the soft constraints adjustment and objectives coordination are solved together in RTO. A case study on the Shell heavy oil fractionators benchmark problem illustrating the method is finally presented.展开更多
To overcome inefficiency in traditional logic programming, a declarative programming language COPS is designed based on the notion of concurrent constraint programming (CCP). The improvement is achieved by the adoptio...To overcome inefficiency in traditional logic programming, a declarative programming language COPS is designed based on the notion of concurrent constraint programming (CCP). The improvement is achieved by the adoption of constraint-based heuristic strategy and the introduction of deterministic components in the framework of CCP. Syntax specification and an operational semantic description are presented.展开更多
基金supported by the National Natural Science Foundation of China under Grant Nos.61873284,61321003,and 62373374.
文摘This study investigates the robust feedback set stabilization of switched logic control networks(SLCNs)with state-dependent uncertain switching and control constraints.First,based on the properties of the semi-tensor product of matrices and the vector representation of logic,an SLCN with state-dependent uncertain switching and control constraints is expressed in algebraic form.Second,an input transformation and a switching model are constructed to transfer the original SLCN into one with a free control input and arbitrary switching.The equivalence between the set stabilizability of the original SLCN and that of the resulting SLCN is established.Based on such equivalence,the authors propose a necessary and sufficient condition for robust feedback set stabilizability.Finally,an example is presented to demonstrate the application of the results obtained.
文摘以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。该方法用几何模型表示对象,用算术约束描述对象间的位置关系,并通过BPU-CLP的约束求解机制为各个位置变量取值。该方法实现了二维人物初始布局规划和三维卧室家具布局规划。实验证明该方法是有效的。
文摘Because model switching system is a typical form of Takagi-Sugeno（T-S） model which is an universal approximator of continuous nonlinear systems, we describe the model switching system as mixed logical dynamical （MLD） system and use it in model predictive control （MPC） in this paper. Considering that each local model is only valid in each local region,we add local constraints to local models. The stability of proposed multi-model predictive control （MMPC） algorithm is analyzed, and the performance of MMPC is also demonstrated on an inulti-multi-output（MIMO） simulated pH neutralization process.
基金Supported by the National Natural Science Foundation of China (No. 60474051) the Key Technology and Development Program of Shanghai Science and Technology Department (No. 04DZ11008) partly by the Specialized Research Fund for the Doctoral Program of Higher Education of China (No. 20020248028).
文摘In this paper, the feasibility and objectives coordination of real-time optimization (RTO) are systemically investigated under soft constraints. The reason for requiring soft constraints adjustment and objective relaxation simultaneously is that the result is not satisfactory when the feasible region is apart from the desired working point or the optimization problem is infeasible. The mixed logic method is introduced to describe the priority of the constraints and objectives, thereby the soft constraints adjustment and objectives coordination are solved together in RTO. A case study on the Shell heavy oil fractionators benchmark problem illustrating the method is finally presented.
文摘To overcome inefficiency in traditional logic programming, a declarative programming language COPS is designed based on the notion of concurrent constraint programming (CCP). The improvement is achieved by the adoption of constraint-based heuristic strategy and the introduction of deterministic components in the framework of CCP. Syntax specification and an operational semantic description are presented.
