期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 60, 期 3, 页码 659-670出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2014.2341891
关键词
Automata; discrete-event systems; partially-observed supervisory control; regular languages; relative observability; supremal relatively observable sublanguage
资金
- Program to Disseminate Tenure Tracking System, MEXT, Japan
- Fundamental Research Funds for the Central Universities, China [3102014JCQ01069]
- Natural Sciences and Engineering Research Council, Canada [7399]
We identify a new observability concept, called relative observability, in supervisory control of discrete-event systems under partial observation. A fixed, ambient language is given, relative to which observability is tested. Relative observability is stronger than observability, but enjoys the important property that it is preserved under set union; hence there exists the supremal relatively observable sublanguage of a given language. Relative observability is weaker than normality, and thus yields, when combined with controllability, a generally larger controlled behavior; in particular, no constraint is imposed that only observable controllable events may be disabled. We design new algorithms which compute the supremal relatively observable (and controllable) sublanguage of a given language, which is generally larger than the normal counterpart. We demonstrate the new observability concept and algorithms with a Guideway and an AGV example.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据