Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2023 | |
| Articolo in rivista | |
| Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques AUTOMATICA. Vol. 152. Pag.1-9 ISSN:0005-1098. | |
| Basile, F.; De Tommasi, G.; Motta, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2023.110911 Codice identificativo ISI: WOS:000962399500001 Codice identificativo SCOPUS: 2-s2.0-85149759121 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Validation of Industrial Automation Systems Using a Timed Model of System Requirements IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 31. Pag.130-143 ISSN:1063-6536. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TCST.2022.3173890 Codice identificativo ISI: WOS:000800817200001 Codice identificativo SCOPUS: 2-s2.0-85130445341 | |
| Visualizza sul Database dei Prodotti (IRIS) |
221538An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
| 2022 | |
| Articolo in rivista | |
| An optimization-based approach to assess non-interference in labeled and bounded Petri net systems NONLINEAR ANALYSIS. Vol. 44. Pag.1-23 ISSN:1751-570X. | |
| Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.nahs.2022.101153 Codice identificativo ISI: WOS:000782642200001 Codice identificativo SCOPUS: 2-s2.0-85123029148 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets CONTROL ENGINEERING PRACTICE. Vol. 129. Pag.1-11 ISSN:0967-0661. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2022.105361 Codice identificativo ISI: WOS:000887325700002 Codice identificativo SCOPUS: 2-s2.0-85139735641 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 67. Pag.2800-2815 ISSN:0018-9286. | |
| Basile, F.; Cordone, R.; Piroddi, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2021.3093618 Codice identificativo ISI: WOS:000803343800012 Codice identificativo SCOPUS: 2-s2.0-85112218103 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Assessment of multilevel intransitive non-interference for Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.349-354 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2021.3075658 Codice identificativo ISI: WOS:000668851700026 Codice identificativo SCOPUS: 2-s2.0-85105095691 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.2683-2688 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2022.3174521 Codice identificativo ISI: WOS:000799615700001 Codice identificativo SCOPUS: 2-s2.0-85131340396 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled with Bounded Petri Nets IEEE CONTROL SYSTEMS LETTERS. Vol. 5. Pag.1151-1156 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2020.3017189 Codice identificativo ISI: WOS:000566327200001 Codice identificativo SCOPUS: 2-s2.0-85091144631 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems INFORMATION SCIENCES. Vol. 559. Pag.314-335 ISSN:0020-0255. | |
| Lefebvre, D.; Basile, F. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ins.2020.12.087 Codice identificativo ISI: WOS:000636740100019 Codice identificativo SCOPUS: 2-s2.0-85102443528 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 66. Pag.5326-5341 ISSN:0018-9286. | |
| Li, L.; Basile, F.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2020.3044520 Codice identificativo ISI: WOS:000711740700022 Codice identificativo SCOPUS: 2-s2.0-85098769791 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Non-interference enforcement via supervisory control in bounded Petri nets IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 66. Pag.3653-3666 ISSN:0018-9286. | |
| Basile, F.; Detommasi, G.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2020.3024274 Codice identificativo ISI: WOS:000678334500019 Codice identificativo SCOPUS: 2-s2.0-85091287009 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 65. Pag.237-251 ISSN:0018-9286. | |
| Li, L.; Basile, F.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2019.2914895 Codice identificativo ISI: WOS:000506851100017 Codice identificativo SCOPUS: 2-s2.0-85077801115 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System through Interpreted Petri Nets IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 17. Pag.784-798 ISSN:1545-5955. | |
| Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2019.2944299 Codice identificativo ISI: WOS:000528673100020 Codice identificativo SCOPUS: 2-s2.0-85075526570 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| An auction-based approach to control automated warehouses using smart vehicles CONTROL ENGINEERING PRACTICE. Vol. 90. Pag.285-300 ISSN:0967-0661. | |
| Basile, F.; Chiacchio, P.; Di Marino, E. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2019.06.005 Codice identificativo ISI: WOS:000483642700023 Codice identificativo SCOPUS: 2-s2.0-85069598162 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions' IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 64. Pag.5253-5259 ISSN:0018-9286. | |
| He, Z.; Li, Z.; Giua, A.; Basile, F.; Seatzu, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2019.2910168 Codice identificativo ISI: WOS:000502278300041 Codice identificativo SCOPUS: 2-s2.0-85077397483 | |
| 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 | |
| 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) |
| 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 | |
| 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) |
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) |
| 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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
58081A decentralized kinematic control architecture for collaborative and cooperative multi-arm systems
| 2013 | |
| Articolo in rivista | |
| A decentralized kinematic control architecture for collaborative and cooperative multi-arm systems MECHATRONICS. Pag.1100-1112 ISSN:0957-4158. | |
| Basile, Francesco; Fabrizio, Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; Marino, Alessandro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.mechatronics.2013.08.008 Codice identificativo ISI: WOS:000328659200022 Codice identificativo SCOPUS: 2-s2.0-84888325062 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| On the Implementation of Industrial Automation Systems based on PLC IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 10. Pag.990-1003 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Gerbasio, Diego | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2226578 Codice identificativo ISI: WOS:000325681600017 Codice identificativo SCOPUS: 2-s2.0-84885639072 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models AUTOMATICA. Vol. 49. Pag.3432-3439 ISSN:0005-1098. | |
| Basile, Francesco; R., Cordone; L., Piroddi | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2013.08.018 Codice identificativo ISI: WOS:000326553300032 Codice identificativo SCOPUS: 2-s2.0-84885640738 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| A control oriented model for manual-pick warehouses CONTROL ENGINEERING PRACTICE. Vol. 20. Pag.1426-1437 ISSN:0967-0661. | |
| Basile, Francesco; Chiacchio, Pasquale; Domenico Del, Grosso | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2012.08.008 Codice identificativo ISI: WOS:000310769400015 Codice identificativo SCOPUS: 2-s2.0-84867523138 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| A hybrid model for real time simulation of urban traffic CONTROL ENGINEERING PRACTICE. Vol. 20. Pag.123-137 ISSN:0967-0661. | |
| Basile, Francesco; Chiacchio, Pasquale; D., Teta | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2011.10.002 Codice identificativo ISI: WOS:000299987600004 Codice identificativo SCOPUS: 2-s2.0-83355166792 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| Task-oriented motion planning for multi-arm robotic systems ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING. Vol. 28. Pag.569-582 ISSN:0736-5845. | |
| Basile, Francesco; F., Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; C., Curatella | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.rcim.2012.02.007 Codice identificativo ISI: WOS:000304797400001 Codice identificativo SCOPUS: 2-s2.0-84859049364 | |
| Visualizza sul Database dei Prodotti (IRIS) |
49946A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results
| 2012 | |
| Articolo in rivista | |
| A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 9. Pag.654-668 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2215323 Codice identificativo ISI: WOS:000309842500004 Codice identificativo SCOPUS: 2-s2.0-84867404135 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| On K-diagnosability of Petri nets via integer linear programming AUTOMATICA. Vol. 48. Pag.2047-2058 ISSN:0005-1098. | |
| Basile, Francesco; Chiacchio, Pasquale; G., De Tommasi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2012.06.039 Codice identificativo ISI: WOS:000308454100011 Codice identificativo SCOPUS: 2-s2.0-84864986214 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 9. Pag.640-653 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2215322 Codice identificativo ISI: WOS:000309842500003 Codice identificativo SCOPUS: 2-s2.0-84867402638 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| An Efficient Approach for Online Diagnosis of Discrete Event Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 54. Pag.748-759 ISSN:0018-9286. | |
| Basile, Francesco; Chiacchio, Pasquale; DE TOMMASI, G. | |
| Digital Object Identifier (DOI): 10.1109/TAC.2009.2014932 Codice identificativo ISI: WOS:000265437700006 Codice identificativo SCOPUS: 2-s2.0-67349219356 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and PetriNet COMPUTER STANDARDS & INTERFACES. Vol. 31. Pag.528-538 ISSN:0920-5489. | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.csi.2008.03.021 Codice identificativo ISI: WOS:000263995600002 Codice identificativo SCOPUS: 2-s2.0-59049103798 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| Implementation of Hydraulic Servo Controllers with Only Position Measure INTERNATIONAL JOURNAL OF ROBOTICS & AUTOMATION. Vol. 24. Pag.20-37 ISSN:0826-8185. | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.2316/Journal.206.2009.1.206-3128 Codice identificativo ISI: WOS:000265068500003 Codice identificativo SCOPUS: 2-s2.0-77950800729 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement DISCRETE EVENT DYNAMIC SYSTEMS. Vol. 19. Pag.1-30 ISSN:0924-6703. | |
| Basile, Francesco; L., Recalde; Chiacchio, Pasquale; M., Silva | |
| Digital Object Identifier (DOI): 10.1007/s10626-008-0050-7 Codice identificativo ISI: WOS:000262671400001 Codice identificativo SCOPUS: 2-s2.0-58849116298 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| On the Implementation of Supervised Control of Discrete Event Systems IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 15. Pag.725-739 ISSN:1063-6536. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1109/TCST.2006.890281 Codice identificativo ISI: WOS:000247645500012 Codice identificativo SCOPUS: 2-s2.0-34447335336 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab CONTROL ENGINEERING PRACTICE. Vol. 15. Pag.241-259 ISSN:0967-0661. | |
| Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2006.07.006 Codice identificativo ISI: WOS:000242760200010 Codice identificativo SCOPUS: 2-s2.0-33750151868 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| An optimization approach to Petri net monitor design IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 52(2). Pag.306-311 ISSN:0018-9286. | |
| Basile, Francesco; Chiacchio, Pasquale; Alessandro, Giua | |
| Digital Object Identifier (DOI): 10.1109/TAC.2006.887905 Codice identificativo ISI: WOS:000244471000014 Codice identificativo SCOPUS: 2-s2.0-33947375191 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| Feedback control logic for backward conflict free choice nets IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 52. Pag.387-400 ISSN:0018-9286. | |
| Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2007.893969 Codice identificativo ISI: WOS:000245149400001 Codice identificativo SCOPUS: 2-s2.0-50249113539 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places AUTOMATICA. Vol. 42. Pag.995-1004 ISSN:0005-1098. | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2006.02.003 Codice identificativo ISI: WOS:000237905600013 Codice identificativo SCOPUS: 2-s2.0-33646147350 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Un setup sperimentale per il controllo supervisivo di sistemi di automazione industriale AUTOMAZIONE E STRUMENTAZIONE. Vol. LIV(5). Pag.78-83 ISSN:0005-1284. | |
| Basile, Francesco; Chiacchio, Pasquale; P., Rubino; D., Teta; A., Paravia | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| An approach to control automated warehouse systems CONTROL ENGINEERING PRACTICE. Vol. 13. Pag.1223-1241 ISSN:0967-0661. | |
| Amato, Francesco; Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2004.10.017 Codice identificativo ISI: WOS:000230812600001 Codice identificativo SCOPUS: 2-s2.0-20944434999 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| Problematiche implementative del controllo supervisivo AUTOMAZIONE E STRUMENTAZIONE. Vol. LIII(8). Pag.118-124 ISSN:0005-1284. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks JOURNAL OF INTELLIGENT MANUFACTURING. Vol. 15(3). Pag.351-371 ISSN:0956-5515. | |
| Basile, Francesco; Chiacchio, Pasquale; V., Vittorini; N., Mazzocca | |
| Digital Object Identifier (DOI): 10.1023/B:JIMS.0000026573.94990.d5 Codice identificativo ISI: WOS:000221206200008 Codice identificativo SCOPUS: 2-s2.0-3543106765 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Observer-Based State Feedback Control of Timed Petri Nets with Deadlock Recovery IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 49. Pag.17-29 ISSN:0018-9286. | |
| A., Giua; C., Seatzu; Basile, Francesco | |
| Digital Object Identifier (DOI): 10.1109/TAC.2003.821419 Codice identificativo ISI: WOS:000188197000002 Codice identificativo SCOPUS: 2-s2.0-0742269304 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| A contribution to minimum-time task-space path-following problem for redundant manipulators ROBOTICA. Vol. 21. Pag.137-142 ISSN:0263-5747. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1017/S0263574702004678 Codice identificativo ISI: WOS:000184107600003 Codice identificativo SCOPUS: 2-s2.0-0142040177 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Articolo in rivista | |
| Controllo di Magazzini Automatici con Reti di Petri Colorate AUTOMAZIONE E STRUMENTAZIONE. Vol. L(5). Pag.149-159 ISSN:0005-1284. | |
| G., Ambrosino; F., Amato; Basile, Francesco; C., Carbone; Chiacchio, Pasquale; D., DE FRANCESCO; P., Orrigoni; P., Rubino | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| A suboptimal multimedia remote supervisory control of a robotic cell INDUSTRIAL ROBOT. Vol. 28(2). Pag.136-142 ISSN:0143-991X. | |
| Basile, Francesco; Chiacchio, Pasquale; Mazzocca, N. | |
| Digital Object Identifier (DOI): 10.1108/01439910110382710 Codice identificativo ISI: WOS:000167911100010 Codice identificativo SCOPUS: 2-s2.0-0034922706 | |
| Visualizza sul Database dei Prodotti (IRIS) |
