검색결과 : 3건
No. | Article |
---|---|
1 |
Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification Chen C, Hu HS IEEE Transactions on Automatic Control, 64(11), 4748, 2019 |
2 |
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets Chen C, Hu HS IEEE Transactions on Automatic Control, 63(7), 1987, 2018 |
3 |
Design and implementation of emulators for a real-world automated manufacturing systems using scenario Huang YS, Chung TH, Wen YL Materials Science Forum, 505-507, 1141, 2006 |