Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2014 | |
| Contributo in Atti di convegno | |
| K-diagnosability of Time labeled Petri nets. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.135-141 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00055 Codice identificativo SCOPUS: 2-s2.0-84945974546 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Decentralized monitors design for Petri net models. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.73-79 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Basile, Francesco; Piroddi, Luigi; Cordone, Roberto | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00048 Codice identificativo SCOPUS: 2-s2.0-84945949108 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.86-92 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Lennartson, Bengt; Wigström, Oskar; Fabian, Martin; Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00140 Codice identificativo SCOPUS: 2-s2.0-84945959917 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Overview of Fault Diagnosis Methods based on Petri Net Models. In: 13th European Control Conference, ECC 2014 IEEE Pag.2636-2642 ISBN:978-395242691-3 | |
| 13th European Control Conference, ECC 2014 Strasbourg, France June | |
| Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ECC.2014.6862631 Codice identificativo ISI: WOS:000349955702156 Codice identificativo SCOPUS: 2-s2.0-84911485987 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Automated implementation of Petri Nets on PLCs with OOP. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 IEEE Pag.1-4 ISBN:978-147994846-8 | |
| IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 Barcellona September | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2014.7005287 Codice identificativo ISI: WOS:000360999100238 Codice identificativo SCOPUS: 2-s2.0-84946689848 | |
| Visualizza sul Database dei Prodotti (IRIS) |
