Publications

Francesco BASILE Publications


2016
Articolo in rivista
A Novel Model Repair Approach of Timed Discrete-Event Systems with Anomalies
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 13. Pag.1541-1556
ISSN:1545-5955.
Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Versione online
Digital Object Identifier (DOI): 10.1109/TASE.2016.2601418
Codice identificativo ISI: WOS:000385723800013
Codice identificativo SCOPUS: 2-s2.0-84986907294
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
Identification of labeled Time Petri nets.
In: 13th International Workshop on Discrete Event Systems, WODES 2016 IEEE Pag.478-485
ISBN:9781509041909; 9781509041909
13th International Workshop on Discrete Event Systems, WODES 2016
Xian, China 2016
Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Versione online
Digital Object Identifier (DOI): 10.1109/WODES.2016.7497891
Codice identificativo ISI: WOS:000382860200074
Codice identificativo SCOPUS: 2-s2.0-84981316238
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
A cyber-physical view of automated warehouse systems.
In: Proc. of 12th IEEE International Conference on Automation Science and Engineering (CASE 2016) IEEE Pag.407-412
ISBN:978-1-5090-2409-4; 978-1-5090-2409-4
12th IEEE International Conference on Automation Science and Engineering (CASE 2016)
Fort Worth, Texas, USA August, 2016
Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Versione online
Digital Object Identifier (DOI): 10.1109/COASE.2016.7743434
Codice identificativo SCOPUS: 2-s2.0-85000916490
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems.
In: Proc. of 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016) IEEE Pag.1-8
ISBN:978-1-5090-1314-2; 978-1-5090-1314-2
21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016)
Berlin, Germany September, 2016
Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Versione online
Digital Object Identifier (DOI): 10.1109/ETFA.2016.7733609
Codice identificativo SCOPUS: 2-s2.0-84996490470
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
Faulty model identification in deterministic labeled Time Petri nets.
In: 13th International Workshop on Discrete Event Systems, WODES 2016 IEEE Pag.486-492
ISBN:9781509041909; 9781509041909
13th International Workshop on Discrete Event Systems, WODES 2016
Xian, China May
Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Versione online
Digital Object Identifier (DOI): 10.1109/WODES.2016.7497892
Codice identificativo ISI: WOS:000382860200075
Codice identificativo SCOPUS: 2-s2.0-84981352032
Show it in Product Database (IRIS)