Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2017 | |
| Articolo in rivista | |
| Identification of Time Petri Net Models IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. Pag.2586-2600 ISSN:2168-2216. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TSMC.2016.2523929 Codice identificativo ISI: WOS:000411097600013 Codice identificativo SCOPUS: 2-s2.0-85029517890 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Diagnosability Analysis of Labeled Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 62. Pag.1384-1396 ISSN:0018-9286. | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2016.2588736 Codice identificativo ISI: WOS:000395924300026 Codice identificativo SCOPUS: 2-s2.0-85014992024 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| An auction-based approach for the coordination of vehicles in automated warehouse systems. In: Proceedings - 2017 IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2017 Institute of Electrical and Electronics Engineers Inc. Vol.2017, Pag.121-126 ISBN:9781509058471 | |
| 2017 IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2017 Bari, Italy 2017 | |
| Basile, Francesco; Chiacchio, Pasquale; Di Marino, Emiliano | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/SOLI.2017.8120981 Codice identificativo ISI: WOS:000425945200023 Codice identificativo SCOPUS: 2-s2.0-85046296625 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| IdentifyTPN: a tool for the identification of Time Petri nets. In: IFAC-PapersOnLine Elsevier B.V. Vol.50, Pag.5843-5848 | |
| IFAC World Congress Toulouse, France July | |
| Basile, F.; Chiacchio, P.; Coppola, J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2017.08.542 Codice identificativo ISI: WOS:000423964800459 Codice identificativo SCOPUS: 2-s2.0-85031803388 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| An incremental model repair approach to timed discrete event systems. In: IFAC-PapersOnLine Elsevier B.V. Vol.50, Pag.13636-13641 | |
| IFAC World Congress Toulouse, France July | |
| Basile, F.; Chiacchio, P.; Coppola, J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2017.08.2395 Codice identificativo ISI: WOS:000423965200263 Codice identificativo SCOPUS: 2-s2.0-85034017822 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| A matrix-based approach for supervising and controlling timed Discrete Event System. In: Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017 Institute of Electrical and Electronics Engineers Inc. Pag.66-71 ISBN:9781509044283 | |
| 14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017 Italy 2017 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ICNSC.2017.8000069 Codice identificativo SCOPUS: 2-s2.0-85028502967 | |
| Visualizza sul Database dei Prodotti (IRIS) |
