On the choice of suboptimal monitors for supervisory control of Petri nets. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua (SMC, 1998)

Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (PDSE, 1999)

Petri net monitor design with control and observation costs. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua (CDC, 2000)

Optimal control of warehousing systems with simultaneous crane and shuttle optimization. - Francesco Amato 001; Francesco Basile (ETFA (2), 2001)

Deadlock recovery of Petri net models controlled using observers. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua; Carla Seatzu (ETFA (2), 2001)

Petri net control using event observers and timing information. - Alessandro Giua; Carla Seatzu; Francesco Basile (CDC, 2002)

Crane and Shuttle Optimization in Warehousing Systems. - Francesco Amato 001; Francesco Basile; Pasquale Chiacchio (ICRA, 2002)

A reachable throughput upper bound for live and safe free choice nets via T-invariants. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (ECC, 2003)

Petri net controllers to enforce disjunction of GMECs. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (ICRA, 2003)

An approach to enforce disjunction of GMECs on controlled Petri Nets. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (SMC, 2003)

A contribution tominimum-time task-space path-following problem for redundant manipulators. - Francesco Basile; Pasquale Chiacchio (Robotica, 2003)

A hybrid model for urban traffic control. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio; René K. Boel; Camelia Claudia Avram (SMC (2), 2004)

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (J. Intell. Manuf., 2004)

Observer-based state-feedback control of timed Petri nets with deadlock recovery. - Alessandro Giua; Carla Seatzu; Francesco Basile (IEEE Trans. Autom. Control., 2004)

Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua (Autom., 2006)

Supervisory Control of Petri Nets with Decentralized Monitor Places. - Francesco Basile; Alessandro Giua; Carla Seatzu (ACC, 2007)

Improving on-line fault diagnosis for discrete event systems using time. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (CASE, 2007)

Decentralized Supervisory Control of Petri Nets with Monitor Places. - Francesco Basile; Alessandro Giua; Carla Seatzu (CASE, 2007)

Feedback Control Logic for Backward Conflict Free Choice Nets. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (IEEE Trans. Autom. Control., 2007)

An Optimization Approach to Petri Net Monitor Design. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua (IEEE Trans. Autom. Control., 2007)

On the Implementation of Supervised Control of Discrete Event Systems. - Francesco Basile; Pasquale Chiacchio (IEEE Trans. Control. Syst. Technol., 2007)

UML-based modeling and model-driven development of distributed control systems. - Francesco Basile; Pasquale Chiacchio; Domenico Del Grosso (ETFA, 2008)

A control oriented model of generalized warehouses based on Colored Timed Petri Nets. - Francesco Basile; Pasquale Chiacchio; Domenico Del Grosso (CASE, 2009)

An Approach to Control Generalized Warehouses. - Francesco Basile; Pasquale Chiacchio; Domenico Del Grosso (ETFA, 2009)

Improving Real-time Identification of Petri Nets using Timing Information. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (ETFA, 2009)

Real time simulation of urban traffic. - Francesco Basile; Pasquale Chiacchio; Domenico Teta (ECC, 2009)

A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net. - Francesco Basile; Pasquale Chiacchio; Domenico Del Grosso (Comput. Stand. Interfaces, 2009)

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. - Francesco Basile; Laura Recalde; Pasquale Chiacchio; Manuel Silva Suárez (Discret. Event Dyn. Syst., 2009)

Implementation of Hydraulic Servo Controllers with only Position Measure. - Francesco Basile; Pasquale Chiacchio; Domenico Del Grosso (Int. J. Robotics Autom., 2009)

An Efficient Approach for Online Diagnosis of Discrete Event Systems. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (IEEE Trans. Autom. Control., 2009)

A novel approach to PLC programming for distributed automation systems control. - Francesco Basile; Pasquale Chiacchio; Diego Gerbasio (ETFA, 2010)

Diagnosability of labeled Petri nets via integer linear programming. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (WODES, 2010)

A discrete event model for the control and analysis of complex automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (CASE, 2011)

Colored Hybrid Petri-nets for modeling material handling systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (CDC/ECC, 2011)

A hybrid model for the control and the analysis of complex automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (ETFA, 2011)

A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola; Diego Gerbasio (ETFA, 2012)

Active identification of Petri net models. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (WODES, 2012)

Decentralized κ-diagnosability of Petri nets. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (WODES, 2012)

On K-diagnosability of Petri nets via integer linear programming. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (Autom., 2012)

A Hybrid Model of Complex Automated Warehouse Systems - Part I: Modeling and Simulation. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (IEEE Trans Autom. Sci. Eng., 2012)

A Hybrid Model of Complex Automated Warehouse Systems - Part II: Analysis and Experimental Results. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (IEEE Trans Autom. Sci. Eng., 2012)

Parsimonious deadlock-free Petri net models of flexible manufacturing systems. - Francesco Basile; Roberto Cordone; Luigi Piroddi (ACC, 2013)

Compact and decentralized supervisors for general constraint enforcement in Petri net models. - Francesco Basile; Roberto Cordone; Luigi Piroddi (CDC, 2013)

An approach for the identification of time Petri net systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (ETFA, 2013)

Marking estimation of Time Petri nets with unobservable transitions. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions. - Francesco Basile; Roberto Cordone; Luigi Piroddi (ECC, 2013)

Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models. - Francesco Basile; Roberto Cordone; Luigi Piroddi (Autom., 2013)

On the Implementation of Industrial Automation Systems Based on PLC. - Francesco Basile; Pasquale Chiacchio; Diego Gerbasio (IEEE Trans Autom. Sci. Eng., 2013)

Automated implementation of Petri Nets on PLCs with OOP. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola; Diego Gerbasio (ETFA, 2014)

K-Diagnosability of Time Labeled Petri Nets. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (WODES, 2014)

Decentralized Monitors Design for Petri Net Models. - Francesco Basile; Luigi Piroddi; Roberto Cordone (WODES, 2014)

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. - Bengt Lennartson; Oskar Wigström; Martin Fabian; Francesco Basile (WODES, 2014)

Supervisory Control for State-Vector Transition Models - A Unified Approach. - Bengt Lennartson; Francesco Basile; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2014)

Real time identification of Time Petri net faulty models. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (CASE, 2015)

Automated warehouse systems: A cyber-physical system perspective. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola; Diego Gerbasio (ETFA, 2015)

Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (MED, 2015)

A branch and bound approach for the design of decentralized supervisors in Petri net models. - Francesco Basile; Roberto Cordone; Luigi Piroddi (Autom., 2015)

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (IEEE Trans. Autom. Control., 2015)

A cyber-physical view of automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (CASE, 2016)

A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (ETFA, 2016)

Identification of labeled Time Petri nets. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (WODES, 2016)

Faulty model identification in deterministic labeled Time Petri nets. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (WODES, 2016)

Standalone GPS L1 C/A Receiver for Lunar Missions. - Vincenzo Capuano; Paul Blunt; Cyril Botteron; Jia Tian; Jérôme Leclère; Yanguang Wang; Francesco Basile; Pierre-André Farine (Sensors, 2016)

A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (IEEE Trans Autom. Sci. Eng., 2016)

A matrix-based approach for supervising and controlling timed Discrete Event System. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (ICNSC, 2017)

An auction-based approach for the coordination of vehicles in automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Emiliano Di Marino (SOLI, 2017)

Diagnosability Analysis of Labeled Time Petri Net Systems. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (IEEE Trans. Autom. Control., 2017)

Identification of Time Petri Net Models. - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Corrections to "Identification of Time Petri Net Models". - Francesco Basile; Pasquale Chiacchio; Jolanda Coppola (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Non-interference assessment in bounded Petri nets via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi (ACC, 2018)

Automated generation of a simulation model for the decentralized control of automated warehouse systems. - Francesco Basile; Pasquale Chiacchio; Emiliano Di Marino (CASE, 2018)

Non-Interference Enforcement in Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (CDC, 2018)

Efficient diagnosability assessment via ILP optimization: a railway benchmark. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle; Abderraouf Boussif; Mohamed Ghazel (ETFA, 2018)

Control design for timed Petri nets based on LMIs and structure expansion. - Alioune Mbaye; Dimitri Lefebvre; Francesco Basile (ETFA, 2018)

Multi-frequency precise point positioning using GPS and Galileo data with smoothed ionospheric corrections. - Francesco Basile; Terry Moore; Chris Hill; Gary McGraw; Andrew Johnson (PLANS, 2018)

Discovering of the unobservable behaviour of an Interpreted Petri Net model. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (CDC, 2019)

Auction-based mechanisms for the control of vehicles in Smart Logistic Systems. - Francesco Basile; Pasquale Chiacchio; Emiliano Di Marino (ETFA, 2019)

Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. - Francesco Basile; Luigi Ferrara (SMC, 2019)

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". - Zhou He 001; Zhiwu Li 001; Alessandro Giua; Francesco Basile; Carla Seatzu (IEEE Trans. Autom. Control., 2019)

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. - Liang Li 020; Francesco Basile; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2020)

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2020)

Finite-time accuracy of timed discrete event systems. - Francesco Basile; Luigi Ferrara (CDC, 2021)

A sliding-window approach to analyze the accuracy of timed DESs. - Francesco Basile; Luigi Ferrara (ETFA, 2021)

A model-based approach to the validation of automation systems. - Francesco Basile; Luigi Ferrara (MED, 2021)

Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi (IEEE Control. Syst. Lett., 2021)

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. - Dimitri Lefebvre; Francesco Basile (Inf. Sci., 2021)

Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (IEEE Trans. Autom. Control., 2021)

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. - Liang Li 020; Francesco Basile; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2021)

Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Alberto Petrillo; Stefania Santini (MED, 2022)

Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems. - Francesco Basile; Gianmaria De Tommasi (IEEE Control. Syst. Lett., 2022)

Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Claudio Sterle (IEEE Control. Syst. Lett., 2022)

Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications. - Francesco Basile; Roberto Cordone; Luigi Piroddi (IEEE Trans. Autom. Control., 2022)

Validation of Industrial Automation Systems Using a Timed Model of System Requirements. - Francesco Basile; Luigi Ferrara (IEEE Trans. Control. Syst. Technol., 2023)

Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2023)

An Optimization Approach to Current State Opacity Assessment. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (CDC, 2024)

Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2025)

Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (IEEE Control. Syst. Lett., 2025)

Optimization-based computation of bounded sequences to reach target states in DESs. - Roberto Cordone; Francesco Basile; Luigi Piroddi (Discret. Event Dyn. Syst., 2025)