검색결과 : 14건
No. | Article |
---|---|
1 |
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems Li L, Basile F, Li ZW IEEE Transactions on Automatic Control, 65(1), 237, 2020 |
2 |
Design of Supervisors for Active Diagnosis in Discrete Event Systems Hu YH, Ma ZY, Li ZW IEEE Transactions on Automatic Control, 65(12), 5159, 2020 |
3 |
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph Wang X, Mahulea C, Silva M IEEE Transactions on Automatic Control, 60(9), 2321, 2015 |
4 |
How Economic Inequality Has Increased by Tax Cuts? Power-Based Modular Supervisory Control of Discrete Event Systems Park SJ IEEE Transactions on Automatic Control, 59(10), 2843, 2014 |
5 |
Optimal Control of Multi-Stage Discrete Event Systems With Real-Time Constraints Mao JF, Cassandras CG IEEE Transactions on Automatic Control, 54(1), 108, 2009 |
6 |
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Habets LCGJM, Collins PJ, van Schuppen JH IEEE Transactions on Automatic Control, 51(6), 938, 2006 |
7 |
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control Kumar R, Jiang SB, Zhou CY, Qiu WB IEEE Transactions on Automatic Control, 50(4), 463, 2005 |
8 |
Optimality of static control policies in some discrete-event systems Miao L, Cassandras CG IEEE Transactions on Automatic Control, 50(9), 1427, 2005 |
9 |
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications Jiang SB, Kumar R IEEE Transactions on Automatic Control, 49(6), 934, 2004 |
10 |
Reduced supervisors for timed discrete-event systems Gohari P, Wonham WM IEEE Transactions on Automatic Control, 48(7), 1187, 2003 |