검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions Ushio T, Takai S IEEE Transactions on Automatic Control, 61(3), 799, 2016 |
| 2 |
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions Takai S, Ushio T IEEE Transactions on Automatic Control, 57(3), 798, 2012 |