Controllability test for nonlinear datatic systems  

作　　者：Yujie Yang Letian Tao Likun Wang Shengbo Eben Li 

机构地区：[1]School of Vehicle and Mobility,Tsinghua University,Beijing,100084,China

出　　处：《Communications in Transportation Research》2024年第1期332-350,共19页交通研究通讯(英文)

基　　金：National Key R&D Program of China(No.2022YFB2502901);National Natural Science Foundation of China(No.52221005).

摘　　要：Controllability is a fundamental property of control systems,serving as the prerequisite for controller design.While controllability test is well established in modelic(i.e.,model-driven)control systems,extending it to datatic(i.e.,data-driven)control systems is still a challenging task due to the absence of system models.In this study,we propose a general controllability test method for nonlinear systems with datatic description,where the system behaviors are merely described by data.In this situation,the state transition information of a dynamic system is available only at a limited number of data points,leaving the behaviors beyond these points unknown.Different from traditional exact controllability,we introduce a new concept calledϵ-controllability,which extends the definition from point-to-point form to point-to-region form.Accordingly,our focus shifts to checking whether the system state can be steered to a closed state ball centered on the target state,rather than exactly at that target state.Given a known state transition sample,the Lipschitz continuity assumption restricts the one-step transition of all the points in a state ball to a small neighborhood of the subsequent state.This property is referred to as one-step controllability backpropagation,i.e.,if the states within this neighborhood areϵ-controllable,those within the state ball are alsoϵ-controllable.On its basis,we propose a tree search algorithm called maximum expansion of controllable subset(MECS)to identify controllable states in the dataset.Starting with a specific target state,our algorithm can iteratively propagate controllability from a known state ball to a new one.This iterative process gradually enlarges theϵ-controllable subset by incorporating new controllable balls until allϵ-controllable states are searched.Besides,a simplified version of MECS is proposed by solving a special shortest path problem,called Floyd expansion with radius fixed(FERF).FERF maintains a fixed radius of all controllable balls based on a mutual controll

关 键 词：CONTROLLABILITY Datatic systems Nonlinear systems Lipschitz continuity 

分 类 号：O17[理学—数学]