Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
65614State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions
| 2015 | |
| Articolo in rivista | |
| State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 60. Pag.997-1009 ISSN:0018-9286. | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2014.2363916 Codice identificativo ISI: WOS:000351731600008 Codice identificativo SCOPUS: 2-s2.0-84926369195 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| A branch and bound approach for the design of decentralized supervisors in Petri net models AUTOMATICA. Vol. 52. Pag.322-333 ISSN:0005-1098. | |
| Basile, Francesco; Roberto, Cordone; Luigi, Piroddi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2014.12.004 Codice identificativo ISI: WOS:000350780100043 Codice identificativo SCOPUS: 2-s2.0-84922455007 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Real time identification of Time Petri net faulty models. In: IEEE International Conference on Automation Science and Engineering IEEE Pag.280-285 ISBN:9781467381833 | |
| 11th IEEE International Conference on Automation Science and Engineering, CASE 2015 Goteborg, Sweden 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CoASE.2015.7294076 Codice identificativo ISI: WOS:000380453000045 Codice identificativo SCOPUS: 2-s2.0-84952771007 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Automated warehouse systems: A cyber-physical system perspective. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA Institute of Electrical and Electronics Engineers Inc. Pag.1-4 ISBN:9781467379298 | |
| 20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015 Luxembourg September 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2015.7301597 Codice identificativo ISI: WOS:000378564800198 Codice identificativo SCOPUS: 2-s2.0-84952909186 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Model repair of Time Petri nets with temporal anomalies. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Secretariat Vol.48, Pag.85-90 | |
| 5th IFAC International Workshop on Dependable Control of Discrete Systems, DCDS 2015 Cancun. Mexico May 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2015.06.477 Codice identificativo SCOPUS: 2-s2.0-84992494551 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. In: 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings Institute of Electrical and Electronics Engineers Inc. Pag.168-175 ISBN:9781479999361; 9781479999361 | |
| 23rd Mediterranean Conference on Control and Automation, MED 2015 Torremolinos; Spain 2015 | |
| Basile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/MED.2015.7158746 Codice identificativo ISI: WOS:000375056800026 Codice identificativo SCOPUS: 2-s2.0-84945926241 | |
| Visualizza sul Database dei Prodotti (IRIS) |
