搜索结果: 1-2 共查到“动力系统 synthesis”相关记录2条 . 查询时间(0.046 秒)
About the trajectory synthesis to go back to nominal mode for a class of hybrid systems
hybrid automata reachability linear vector fields state-space
2011/9/19
Abstract: This paper presents basis parts of a new method to synthesize a return trajectory for a reactive process from a default mode to one of the nominal modes. The process is modeled with a hybrid...
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
Polytopic Invariant Verification Synthesis for Polynomial Dynamical Systems Linear Programming
2011/1/18
This paper deals with the verication and the synthesis of polytopic invariant sets for
polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state
space such that ...