Francesco Basile

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