검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
On-line verification of current-state opacity by Petri nets and integer linear programming Cong XY, Fanti MP, Mangini AM, Li ZW Automatica, 94, 205, 2018 |
| 2 |
A new class of consensus protocols for agent networks with discrete time dynamics Fanti MP, Mangini AM, Mazzia F, Ukovich W Automatica, 54, 1, 2015 |
| 3 |
On-line fault detection in discrete event systems by Petri nets and integer linear programming Dotoli M, Fanti MP, Mangini AM, Ukovich W Automatica, 45(11), 2665, 2009 |
| 4 |
Real time identification of discrete event systems using Petri nets Dotoli M, Fanti MP, Mangini AM Automatica, 44(5), 1209, 2008 |