The following pages link to Agostino Marcello Mangini (Q492965):
Displaying 6 items.
- A new class of consensus protocols for agent networks with discrete time dynamics (Q492967) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Real time identification of discrete event systems using Petri nets (Q2440714) (← links)
- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework (Q5300876) (← links)
- Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings (Q6200013) (← links)
