Francesco BASILE | Publications
Francesco BASILE Publications
| 2014 | |
| Articolo in rivista | |
| Supervisory Control for State-Vector Transition Models - A Unified Approach IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 11. Pag.33-47 ISSN:1545-5955. | |
| Bengt, Lennartson; Basile, Francesco; Sajed, Miremadi; Zhennan, Fei; Mona Noori, Hosseini; Martin, Fabian; Knut, Akesson | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2013.2291115 Codice identificativo ISI: WOS:000329584200004 Codice identificativo SCOPUS: 2-s2.0-84892443469 | |
| Show it in Product Database (IRIS) |
| 2014 | |
| Articolo in rivista | |
| Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry CONTROL ENGINEERING PRACTICE. Vol. 31. Pag.35-49 ISSN:0967-0661. | |
| Basile, Francesco; Fabrizio, Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; Marino, Alessandro; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2014.05.008 Codice identificativo ISI: WOS:000342273000004 Codice identificativo SCOPUS: 2-s2.0-84906490645 | |
| Show it in Product Database (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 | |
| Show it in Product Database (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 | |
| Show it in Product Database (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 | |
| Show it in Product Database (IRIS) |
| 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 | |
| Show it in Product Database (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 | |
| Show it in Product Database (IRIS) |
