Piecewise output feedback control for affine systems with disturbances based on linear temporal logic specifications  

作　　者：Wu, Min  Yan, Gangfeng  Lin, Zhiyun 

机构地区：[1] Asus Intelligent Systems Laboratory, Department of Systems Science and Engineering, Zhejiang University, Hangzhou Zhejiang 310027, China

出　　处：《控制理论与应用（英文版）》2011年第2期289-294,共6页

基　　金：sponsored by the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry of China

摘　　要：In the paper,we investigate the problem of finding a piecewise output feedback control law for an uncertain affine system such that the resulting closed-loop output satisfies a desired linear temporal logic (LTL) specification.A two-level hierarchical approach is proposed to solve the problem in a triangularized output space.In the lower level,we explore whether there exists a robust output feedback control law to make the output starting in a simplex either remains in it or leaves via a specific facet.In the higher level,for the triangularization,we construct the transition system according to the reachability relationship obtained in the lower level and search for feasible paths that meet the LTL specification.The control approach is then applied to solve a motion planning problem.In the paper,we investigate the problem of finding a piecewise output feedback control law for an uncertain affine system such that the resulting closed-loop output satisfies a desired linear temporal logic (LTL) specification.A two-level hierarchical approach is proposed to solve the problem in a triangularized output space.In the lower level,we explore whether there exists a robust output feedback control law to make the output starting in a simplex either remains in it or leaves via a specific facet.In the higher level,for the triangularization,we construct the transition system according to the reachability relationship obtained in the lower level and search for feasible paths that meet the LTL specification.The control approach is then applied to solve a motion planning problem.

关 键 词：REACHABILITY Piecewise output feedback control Affine systems Linear temporal logic 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]