摘要
利用图论方法在双子结构中研究扩展时间事件图的某些问题 ,获得了能达性的一个充分必要条件和基于能达性的标准结构。在此基础上 ,把监控理论中的能控序列的分量分为本质不同的 3类 。
Some problems on extended timed event graph (ETEG) were studied by using graph methods in the diadic framework. A necessary and sufficient condition for reachability of ETEG and the standard structure based on such reachability were obtained. Components of the controllable sequences in the supervisory control are classified into three classes so that a simplified method for solving the controllable sequences can be obtained.
出处
《控制与决策》
EI
CSCD
北大核心
2001年第1期29-32,共4页
Control and Decision
基金
国家自然科学基金项目! (6 98740 40 )
国家攀登计划项目
