期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 63, 期 5, 页码 1457-1464出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2017.2747408
关键词
Nondeterministic discrete event system; similarity control; state-controllability; supervisor synthesis
资金
- JSPS KAKENHI [15K06140]
- Grants-in-Aid for Scientific Research [15K06140] Funding Source: KAKEN
In this paper, we consider a similarity control problem for the plant and the specification modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by the specification. We show that a state-controllable subautomaton of the synchronous composition of the observer automaton of the plant and the specification can be used as a solution to the similarity control problem. It is desirable that a supervisor be as permissive as possible. Thus, to synthesize a similarity enforcing supervisor, we construct the largest state-controllable subautomaton of the synchronous composition of the observer automaton of the plant and the specification.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据