검색결과 : 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 |