科研之友
微信
新浪微博
Facebook
分享链接
摘要
This paper studies control synthesis problems in a new model framework for discrete event state feedback control systems. The new model framework consists of a basis model as well as concurrent models. We study relationships between the basis model and the concurrent models form the perspective of a predicate being controllable and synthesizable. We derive a linear order for the models, and moreover, show that they are equivalent under certain conditions. Based on this, three conditions are presented for synthesizing a predicate completely. Finally, the optimal control synthesis problem for both the basis model and the concurrent models is studied.
