화학공학소재연구정보센터
검색결과 : 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