화학공학소재연구정보센터
검색결과 : 5건
No. Article
1 The Diagnosability of Petri Net Models Using Minimal Explanations
Jiroveanu G, Boel RK
IEEE Transactions on Automatic Control, 55(7), 1663, 2010
2 Robustness and risk-sensitive filtering
Boel RK, James MR, Petersen IR
IEEE Transactions on Automatic Control, 47(3), 451, 2002
3 Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness
Stremersch G, Boel RK
IEEE Transactions on Automatic Control, 46(9), 1490, 2001
4 Reduction of the supervisory control problem for Petri nets
Stremersch G, Boel RK
IEEE Transactions on Automatic Control, 45(12), 2358, 2000
5 On Forbidden State Problems for a Class of Controlled Petri Nets
Boel RK, Bennaoum L, Vanbreusegem V
IEEE Transactions on Automatic Control, 40(10), 1717, 1995