Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.展开更多
The problem of the quantized dynamic output feedback controller design for networked control systems is mainly discussed. By using the quantized information of the system measurement output and the control input, a no...The problem of the quantized dynamic output feedback controller design for networked control systems is mainly discussed. By using the quantized information of the system measurement output and the control input, a novel networked control system model is described. This model includes many networkinduced features, such as multi-rate sampled-data, quantized signal, time-varying delay and packet dropout. By constructing suitable Lyapunov-Krasovskii functional, a less conservative stabilization criterion is established in terms of linear matrix inequalities. The quantized control strategy involves the updating values of the quantizer parameters μi（i = 1, 2）（μi take on countable sets of values which dependent on the information of the system measurement outputs and the control inputs）. Furthermore, a numerical example is given to illustrate the effectiveness of the proposed method.展开更多
This paper presents a study on the problem of non-fragile state feedback H-infinity controller design for linear discrete-time systems with quantized signals. The quantizers considered here are dynamic and time-varyin...This paper presents a study on the problem of non-fragile state feedback H-infinity controller design for linear discrete-time systems with quantized signals. The quantizers considered here are dynamic and time-varying. With the consideration of controller gain variations and quantized signals at the same time, a new non-fragile H-infinity control strategy is proposed with updating quantizer＇s parameters, such that the quantized closed-loop system is asymptotically stable and with a prescribed H-infinity performance bound. An example is presented to illustrate the effectiveness of the proposed control strategy.展开更多
基金supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090)the National Natural Science Foundation of China(61890920,61890921,62122016,08120003)Liaoning Science and Technology Program(2023JH2/101700361).
文摘Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.
基金supported by the National Natural Science Foundation of China (60574011)College Research Project of Liaoning Province(L2010522)
文摘The problem of the quantized dynamic output feedback controller design for networked control systems is mainly discussed. By using the quantized information of the system measurement output and the control input, a novel networked control system model is described. This model includes many networkinduced features, such as multi-rate sampled-data, quantized signal, time-varying delay and packet dropout. By constructing suitable Lyapunov-Krasovskii functional, a less conservative stabilization criterion is established in terms of linear matrix inequalities. The quantized control strategy involves the updating values of the quantizer parameters μi（i = 1, 2）（μi take on countable sets of values which dependent on the information of the system measurement outputs and the control inputs）. Furthermore, a numerical example is given to illustrate the effectiveness of the proposed method.
基金supported by the Funds for Creative Research Groups of China (No.60521003)the State Key Program of National Natural Science of China (No.60534010)+2 种基金the Funds of National Science of China (No.60674021)the Funds of PhD program of MOE,China(No.20060145019)the 111 Project (B08015)
文摘This paper presents a study on the problem of non-fragile state feedback H-infinity controller design for linear discrete-time systems with quantized signals. The quantizers considered here are dynamic and time-varying. With the consideration of controller gain variations and quantized signals at the same time, a new non-fragile H-infinity control strategy is proposed with updating quantizer＇s parameters, such that the quantized closed-loop system is asymptotically stable and with a prescribed H-infinity performance bound. An example is presented to illustrate the effectiveness of the proposed control strategy.
