期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization
1
作者 Wei Ren Zhuo-Rui Pan +1 位作者 weiguo xia Xi-Ming Sun 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第10期2082-2098,共17页
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. 展开更多
关键词 Abstraction-based control design dynamic quantization formal methods linear temporal logic(LTL)
下载PDF
The Analysis of the Effect of China's Monetary Policy in Open Economy
2
作者 weiguo xia Bing Shao Jiajie Xu 《Chinese Business Review》 2003年第3期31-36,共6页
Firstly, this paper theoretically proves that with the development of open economy the effect of monetary policy will become poor. Secondly, the paper empirically analyzes the impact of open economy on our monetary po... Firstly, this paper theoretically proves that with the development of open economy the effect of monetary policy will become poor. Secondly, the paper empirically analyzes the impact of open economy on our monetary policy. We conclude that there no longer exists long stable relationship between money supply and economic growth. Finally, in four aspects the paper concretely points out that with the open of economy great changes will take place in the implementation of our monetary policy. 展开更多
关键词 monetary policy open economy money supply
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部