Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing in...Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.展开更多
μ-synthesis is a practical design approach and has been applied successfully to achieve a nominal and robust performance objectives. However, this design method suffers from the complexity of its practical implementa...μ-synthesis is a practical design approach and has been applied successfully to achieve a nominal and robust performance objectives. However, this design method suffers from the complexity of its practical implementation and high computational demand due to its high order dynamics. To overcome this problem, the interaction between fuzzy logic control which is a part of intelligence control theory and p-synthesis controller is carried out. This is called integrated fuzzy robust controller in this paper. It is obtained by coupling fuzzy pd with p-synthesis controller through the outer loop. Using this design strategy, we can keep the system performance and robustness even a high order p-synthesis controller is reduced into second order model. In order to test the effectiveness of this design method, the linear simulation results for a launch vehicle＇s attitude control motion are presented at the end of this paper.展开更多
In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear funct...In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear functions by only one fuzzy logic system. The approximation capability of this model is proved and the model is implemented to solve the problem that too many approximators are used in the controller design of uncertain nonlinear systems. The shortage of ＂explosion of complexity＂ in backstepping design procedure is overcome by using the proposed dynamic surface control method. It is proved by constructing appropriate Lyapunov candidates that all signals of closed-loop systems are semi-globally uniformly ultimate bounded. Also, this novel controller stabilizes the states of uncertain nonlinear systems faster than the adaptive sliding mode controller （SMC）. Two simulation examples are provided to illustrate the effectiveness of the control approach proposed in this paper.展开更多
The control design problem plays a fundamental role in the study of logical control networks(LCNs).This paper presents a detailed survey on new developments in control design techniques of LCNs.First,some preliminary ...The control design problem plays a fundamental role in the study of logical control networks(LCNs).This paper presents a detailed survey on new developments in control design techniques of LCNs.First,some preliminary results on the semi-tensor product method and LCNs are reviewed.Then,we move on to some new developments for control design techniques of LCNs,including the reachable set approach,the pinning control technique,the control Lyapunov function approach,the event-triggered control technique,and the sampled-data control technique.Finally,an illustrative example is given to demonstrate the effectiveness of these techniques.展开更多
基金the European Union through the Network of Excellence Hybrid Control (HYCON) under contract IST-511368.
文摘Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.
文摘μ-synthesis is a practical design approach and has been applied successfully to achieve a nominal and robust performance objectives. However, this design method suffers from the complexity of its practical implementation and high computational demand due to its high order dynamics. To overcome this problem, the interaction between fuzzy logic control which is a part of intelligence control theory and p-synthesis controller is carried out. This is called integrated fuzzy robust controller in this paper. It is obtained by coupling fuzzy pd with p-synthesis controller through the outer loop. Using this design strategy, we can keep the system performance and robustness even a high order p-synthesis controller is reduced into second order model. In order to test the effectiveness of this design method, the linear simulation results for a launch vehicle＇s attitude control motion are presented at the end of this paper.
基金supported by National Natural Science Foundation of China (No. 60525303 and 60704009)Key Research Program of Hebei Education Department (No. ZD200908)
文摘In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear functions by only one fuzzy logic system. The approximation capability of this model is proved and the model is implemented to solve the problem that too many approximators are used in the controller design of uncertain nonlinear systems. The shortage of ＂explosion of complexity＂ in backstepping design procedure is overcome by using the proposed dynamic surface control method. It is proved by constructing appropriate Lyapunov candidates that all signals of closed-loop systems are semi-globally uniformly ultimate bounded. Also, this novel controller stabilizes the states of uncertain nonlinear systems faster than the adaptive sliding mode controller （SMC）. Two simulation examples are provided to illustrate the effectiveness of the control approach proposed in this paper.
基金Project supported by the National Natural Science Foundation of China(No.61873150)the Natural Science Fund for Distinguished Young Scholars of Shandong Province,China(No.JQ201613)the Young Experts of Taishan Scholar Project,China(No.201909076)。
文摘The control design problem plays a fundamental role in the study of logical control networks(LCNs).This paper presents a detailed survey on new developments in control design techniques of LCNs.First,some preliminary results on the semi-tensor product method and LCNs are reviewed.Then,we move on to some new developments for control design techniques of LCNs,including the reachable set approach,the pinning control technique,the control Lyapunov function approach,the event-triggered control technique,and the sampled-data control technique.Finally,an illustrative example is given to demonstrate the effectiveness of these techniques.
