화학공학소재연구정보센터
검색결과 : 3건
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 A branch and bound approach for the design of decentralized supervisors in Petri net models
Basile F, Cordone R, Piroddi L
Automatica, 52, 322, 2015
3 An optimization approach to Petri net monitor design
Basile F, Chiacchio P, Giua A
IEEE Transactions on Automatic Control, 52(2), 306, 2007