Francesco Basile

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 36

Top Topics

Manufacturing Systems

Integer Linear Programming

Supervisory Control

Top Venues

IEEE Trans. Autom. Control.

Publications

Francesco Basile, Gianmaria De Tommasi, Carlo Motta
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Autom. 152 (2023)
Francesco Basile, Luigi Ferrara
Validation of Industrial Automation Systems Using a Timed Model of System Requirements. IEEE Trans. Control. Syst. Technol. 31 (1) (2023)
Francesco Basile, Gianmaria De Tommasi
Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Claudio Sterle
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Alberto Petrillo, Stefania Santini
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. MED (2022)
Francesco Basile, Roberto Cordone, Luigi Piroddi
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications. IEEE Trans. Autom. Control. 67 (6) (2022)
Francesco Basile, Gianmaria De Tommasi
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets. IEEE Control. Syst. Lett. 5 (4) (2021)
Francesco Basile, Luigi Ferrara
A model-based approach to the validation of automation systems. MED (2021)
Francesco Basile, Luigi Ferrara
A sliding-window approach to analyze the accuracy of timed DESs. ETFA (2021)
Dimitri Lefebvre, Francesco Basile
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. Inf. Sci. 559 (2021)
Liang Li, Francesco Basile, Zhiwu Li
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans. Autom. Control. 66 (11) (2021)
Francesco Basile, Luigi Ferrara
Finite-time accuracy of timed discrete event systems. CDC (2021)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. IEEE Trans. Autom. Control. 66 (8) (2021)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Liang Li, Francesco Basile, Zhiwu Li
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. IEEE Trans. Autom. Control. 65 (1) (2020)
Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64 (12) (2019)
Francesco Basile, Luigi Ferrara
Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. SMC (2019)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
Discovering of the unobservable behaviour of an Interpreted Petri Net model. CDC (2019)
Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino
Auction-based mechanisms for the control of vehicles in Smart Logistic Systems. ETFA (2019)
Alioune Mbaye, Dimitri Lefebvre, Francesco Basile
Control design for timed Petri nets based on LMIs and structure expansion. ETFA (2018)
Francesco Basile, Terry Moore, Chris Hill, Gary McGraw, Andrew Johnson
Multi-frequency precise point positioning using GPS and Galileo data with smoothed ionospheric corrections. PLANS (2018)
Francesco Basile, Gianmaria De Tommasi
Non-interference assessment in bounded Petri nets via Integer Linear Programming. ACC (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
Efficient diagnosability assessment via ILP optimization: a railway benchmark. ETFA (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Non-Interference Enforcement in Bounded Petri Nets. CDC (2018)
Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino
Automated generation of a simulation model for the decentralized control of automated warehouse systems. CASE (2018)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62 (3) (2017)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A matrix-based approach for supervising and controlling timed Discrete Event System. ICNSC (2017)
Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino
An auction-based approach for the coordination of vehicles in automated warehouse systems. SOLI (2017)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Identification of Time Petri Net Models. IEEE Trans. Syst. Man Cybern. Syst. 47 (9) (2017)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Corrections to "Identification of Time Petri Net Models". IEEE Trans. Syst. Man Cybern. Syst. 47 (9) (2017)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies. IEEE Trans Autom. Sci. Eng. 13 (4) (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Identification of labeled Time Petri nets. WODES (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Faulty model identification in deterministic labeled Time Petri nets. WODES (2016)
Vincenzo Capuano, Paul Blunt, Cyril Botteron, Jia Tian, Jérôme Leclère, Yanguang Wang, Francesco Basile, Pierre-André Farine
Standalone GPS L1 C/A Receiver for Lunar Missions. Sensors 16 (3) (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A cyber-physical view of automated warehouse systems. CASE (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. ETFA (2016)
Francesco Basile, Roberto Cordone, Luigi Piroddi
A branch and bound approach for the design of decentralized supervisors in Petri net models. Autom. 52 (2015)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio
Automated warehouse systems: A cyber-physical system perspective. ETFA (2015)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. IEEE Trans. Autom. Control. 60 (4) (2015)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. MED (2015)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Real time identification of Time Petri net faulty models. CASE (2015)
Francesco Basile, Luigi Piroddi, Roberto Cordone
Decentralized Monitors Design for Petri Net Models. WODES (2014)
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
Supervisory Control for State-Vector Transition Models - A Unified Approach. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
K-Diagnosability of Time Labeled Petri Nets. WODES (2014)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio
Automated implementation of Petri Nets on PLCs with OOP. ETFA (2014)
Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. WODES (2014)
Francesco Basile, Roberto Cordone, Luigi Piroddi
Parsimonious deadlock-free Petri net models of flexible manufacturing systems. ACC (2013)
Francesco Basile, Roberto Cordone, Luigi Piroddi
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models. Autom. 49 (11) (2013)
Francesco Basile, Roberto Cordone, Luigi Piroddi
Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions. ECC (2013)
Francesco Basile, Roberto Cordone, Luigi Piroddi
Compact and decentralized supervisors for general constraint enforcement in Petri net models. CDC (2013)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
Marking estimation of Time Petri nets with unobservable transitions. ETFA (2013)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
An approach for the identification of time Petri net systems. ETFA (2013)
Francesco Basile, Pasquale Chiacchio, Diego Gerbasio
On the Implementation of Industrial Automation Systems Based on PLC. IEEE Trans Autom. Sci. Eng. 10 (4) (2013)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A Hybrid Model of Complex Automated Warehouse Systems - Part II: Analysis and Experimental Results. IEEE Trans Autom. Sci. Eng. 9 (4) (2012)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
On K-diagnosability of Petri nets via integer linear programming. Autom. 48 (9) (2012)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Active identification of Petri net models. WODES (2012)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A Hybrid Model of Complex Automated Warehouse Systems - Part I: Modeling and Simulation. IEEE Trans Autom. Sci. Eng. 9 (4) (2012)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Decentralized κ-diagnosability of Petri nets. WODES (2012)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio
A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. ETFA (2012)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A discrete event model for the control and analysis of complex automated warehouse systems. CASE (2011)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
A hybrid model for the control and the analysis of complex automated warehouse systems. ETFA (2011)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Colored Hybrid Petri-nets for modeling material handling systems. CDC/ECC (2011)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Diagnosability of labeled Petri nets via integer linear programming. WODES (2010)
Francesco Basile, Pasquale Chiacchio, Diego Gerbasio
A novel approach to PLC programming for distributed automation systems control. ETFA (2010)
Francesco Basile, Pasquale Chiacchio, Domenico Teta
Real time simulation of urban traffic. ECC (2009)
Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso
Implementation of Hydraulic Servo Controllers with only Position Measure. Int. J. Robotics Autom. 24 (1) (2009)
Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discret. Event Dyn. Syst. 19 (1) (2009)
Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso
A control oriented model of generalized warehouses based on Colored Timed Petri Nets. CASE (2009)
Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso
A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net. Comput. Stand. Interfaces 31 (3) (2009)
Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso
An Approach to Control Generalized Warehouses. ETFA (2009)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
An Efficient Approach for Online Diagnosis of Discrete Event Systems. IEEE Trans. Autom. Control. 54 (4) (2009)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Improving Real-time Identification of Petri Nets using Timing Information. ETFA (2009)
Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso
UML-based modeling and model-driven development of distributed control systems. ETFA (2008)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
An Optimization Approach to Petri Net Monitor Design. IEEE Trans. Autom. Control. 52 (2) (2007)
Francesco Basile, Alessandro Giua, Carla Seatzu
Decentralized Supervisory Control of Petri Nets with Monitor Places. CASE (2007)
Francesco Basile, Ciro Carbone, Pasquale Chiacchio
Feedback Control Logic for Backward Conflict Free Choice Nets. IEEE Trans. Autom. Control. 52 (3) (2007)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Improving on-line fault diagnosis for discrete event systems using time. CASE (2007)
Francesco Basile, Pasquale Chiacchio
On the Implementation of Supervised Control of Discrete Event Systems. IEEE Trans. Control. Syst. Technol. 15 (4) (2007)
Francesco Basile, Alessandro Giua, Carla Seatzu
Supervisory Control of Petri Nets with Decentralized Monitor Places. ACC (2007)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Autom. 42 (6) (2006)
Francesco Basile, Alessandro Giua, Carla Seatzu
Decentralized supervisory control of Petri nets with monitor places. ETFA (2005)
Alessandro Giua, Carla Seatzu, Francesco Basile
Observer-based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Autom. Control. 49 (1) (2004)
Francesco Basile, Ciro Carbone, Pasquale Chiacchio, René K. Boel, Camelia C. Avram
A hybrid model for urban traffic control. SMC (2) (2004)
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. J. Intell. Manuf. 15 (3) (2004)
Francesco Basile, Pasquale Chiacchio
A contribution tominimum-time task-space path-following problem for redundant manipulators. Robotica 21 (2) (2003)
Francesco Basile, Ciro Carbone, Pasquale Chiacchio
A reachable throughput upper bound for live and safe free choice nets via T-invariants. ECC (2003)
Francesco Basile, Ciro Carbone, Pasquale Chiacchio
An approach to enforce disjunction of GMECs on controlled Petri Nets. SMC (2003)
Francesco Basile, Ciro Carbone, Pasquale Chiacchio
Petri net controllers to enforce disjunction of GMECs. ICRA (2003)
Alessandro Giua, Carla Seatzu, Francesco Basile
Petri net control using event observers and timing information. CDC (2002)
Francesco Amato, Francesco Basile, Pasquale Chiacchio
Crane and Shuttle Optimization in Warehousing Systems. ICRA (2002)
Francesco Amato, Francesco Basile
Optimal control of warehousing systems with simultaneous crane and shuttle optimization. ETFA (2) (2001)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu
Deadlock recovery of Petri net models controlled using observers. ETFA (2) (2001)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
Petri net monitor design with control and observation costs. CDC (2000)
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE (1999)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
On the choice of suboptimal monitors for supervisory control of Petri nets. SMC (1998)