검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems Su R, van Schuppen JH, Rood JE Automatica, 48(7), 1237, 2012 |
| 2 |
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence Su R, van Schuppen JH, Rooda JE, Hofkamp AT Automatica, 46(6), 968, 2010 |
| 3 |
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction Su R, van Schuppen JH, Rooda JE IEEE Transactions on Automatic Control, 55(7), 1627, 2010 |
| 4 |
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis Su R, van Schuppen JH, Rooda JE IEEE Transactions on Automatic Control, 55(11), 2527, 2010 |