default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco Basile
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j37]Francesco Basile, Gianmaria De Tommasi, Carlo Motta:
Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. Autom. 171: 111958 (2025)- 2023
- [j36]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: 110911 (2023) - [j35]Francesco Basile, Luigi Ferrara:
Validation of Industrial Automation Systems Using a Timed Model of System Requirements. IEEE Trans. Control. Syst. Technol. 31(1): 130-143 (2023) - 2022
- [j34]Francesco Basile, Gianmaria De Tommasi:
Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems. IEEE Control. Syst. Lett. 6: 349-354 (2022) - [j33]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: 2683-2688 (2022) - [j32]Francesco Basile, Roberto Cordone, Luigi Piroddi:
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications. IEEE Trans. Autom. Control. 67(6): 2800-2815 (2022) - [c59]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: 994-999 - 2021
- [j31]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): 1151-1156 (2021) - [j30]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: 314-335 (2021) - [j29]Francesco Basile, Gianmaria De Tommasi, Claudio Sterle:
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. IEEE Trans. Autom. Control. 66(8): 3653-3666 (2021) - [j28]Liang Li, Francesco Basile, Zhiwu Li:
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans. Autom. Control. 66(11): 5326-5341 (2021) - [c58]Francesco Basile, Luigi Ferrara:
Finite-time accuracy of timed discrete event systems. CDC 2021: 1744-1749 - [c57]Francesco Basile, Luigi Ferrara:
A sliding-window approach to analyze the accuracy of timed DESs. ETFA 2021: 1-4 - [c56]Francesco Basile, Luigi Ferrara:
A model-based approach to the validation of automation systems. MED 2021: 1317-1323 - 2020
- [j27]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): 237-251 (2020) - [j26]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): 784-798 (2020)
2010 – 2019
- 2019
- [j25]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): 5253-5259 (2019) - [c55]Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage:
Discovering of the unobservable behaviour of an Interpreted Petri Net model. CDC 2019: 2021-2026 - [c54]Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino:
Auction-based mechanisms for the control of vehicles in Smart Logistic Systems. ETFA 2019: 1429-1432 - [c53]Francesco Basile, Luigi Ferrara:
Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. SMC 2019: 1831-1837 - 2018
- [c52]Francesco Basile, Gianmaria De Tommasi:
Non-interference assessment in bounded Petri nets via Integer Linear Programming. ACC 2018: 3056-3061 - [c51]Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino:
Automated generation of a simulation model for the decentralized control of automated warehouse systems. CASE 2018: 540-546 - [c50]Francesco Basile, Gianmaria De Tommasi, Claudio Sterle:
Non-Interference Enforcement in Bounded Petri Nets. CDC 2018: 4827-4832 - [c49]Alioune Mbaye, Dimitri Lefebvre, Francesco Basile:
Control design for timed Petri nets based on LMIs and structure expansion. ETFA 2018: 426-432 - [c48]Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel:
Efficient diagnosability assessment via ILP optimization: a railway benchmark. ETFA 2018: 441-448 - [c47]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: 1388-1398 - 2017
- [j24]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62(3): 1384-1396 (2017) - [j23]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Identification of Time Petri Net Models. IEEE Trans. Syst. Man Cybern. Syst. 47(9): 2586-2600 (2017) - [j22]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Corrections to "Identification of Time Petri Net Models". IEEE Trans. Syst. Man Cybern. Syst. 47(9): 2622-2623 (2017) - [c46]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
A matrix-based approach for supervising and controlling timed Discrete Event System. ICNSC 2017: 66-71 - [c45]Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino:
An auction-based approach for the coordination of vehicles in automated warehouse systems. SOLI 2017: 121-126 - [e1]Giancarlo Fortino, MengChu Zhou, Zofia Lukszo, Athanasios V. Vasilakos, Francesco Basile, Carlos Enrique Palau, Antonio Liotta, Maria Pia Fanti, Antonio Guerrieri, Andrea Vinci:
14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16-18, 2017. IEEE 2017, ISBN 978-1-5090-4429-0 [contents] - 2016
- [j21]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): 347 (2016) - [j20]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): 1541-1556 (2016) - [c44]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
A cyber-physical view of automated warehouse systems. CASE 2016: 407-412 - [c43]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. ETFA 2016: 1-8 - [c42]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Identification of labeled Time Petri nets. WODES 2016: 478-485 - [c41]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Faulty model identification in deterministic labeled Time Petri nets. WODES 2016: 486-492 - 2015
- [j19]Francesco Basile, Roberto Cordone, Luigi Piroddi:
A branch and bound approach for the design of decentralized supervisors in Petri net models. Autom. 52: 322-333 (2015) - [j18]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): 997-1009 (2015) - [c40]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Real time identification of Time Petri net faulty models. CASE 2015: 280-285 - [c39]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio:
Automated warehouse systems: A cyber-physical system perspective. ETFA 2015: 1-4 - [c38]Francesco Basile, Gianmaria De Tommasi, Claudio Sterle:
Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. MED 2015: 168-175 - 2014
- [j17]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): 33-47 (2014) - [c37]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio:
Automated implementation of Petri Nets on PLCs with OOP. ETFA 2014: 1-4 - [c36]Francesco Basile, Luigi Piroddi, Roberto Cordone:
Decentralized Monitors Design for Petri Net Models. WODES 2014: 73-79 - [c35]Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile:
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. WODES 2014: 86-92 - [c34]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
K-Diagnosability of Time Labeled Petri Nets. WODES 2014: 135-141 - 2013
- [j16]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): 3432-3439 (2013) - [j15]Francesco Basile, Pasquale Chiacchio, Diego Gerbasio:
On the Implementation of Industrial Automation Systems Based on PLC. IEEE Trans Autom. Sci. Eng. 10(4): 990-1003 (2013) - [c33]Francesco Basile, Roberto Cordone, Luigi Piroddi:
Parsimonious deadlock-free Petri net models of flexible manufacturing systems. ACC 2013: 119-124 - [c32]Francesco Basile, Roberto Cordone, Luigi Piroddi:
Compact and decentralized supervisors for general constraint enforcement in Petri net models. CDC 2013: 7279-7284 - [c31]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
An approach for the identification of time Petri net systems. ETFA 2013: 1-8 - [c30]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Marking estimation of Time Petri nets with unobservable transitions. ETFA 2013: 1-7 - [c29]Francesco Basile, Roberto Cordone, Luigi Piroddi:
Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions. ECC 2013: 143-148 - 2012
- [j14]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
On K-diagnosability of Petri nets via integer linear programming. Autom. 48(9): 2047-2058 (2012) - [j13]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): 640-653 (2012) - [j12]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): 654-668 (2012) - [c28]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio:
A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. ETFA 2012: 1-4 - [c27]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Decentralized κ-diagnosability of Petri nets. WODES 2012: 214-220 - [c26]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Active identification of Petri net models. WODES 2012: 278-285 - 2011
- [c25]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
A discrete event model for the control and analysis of complex automated warehouse systems. CASE 2011: 201-207 - [c24]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Colored Hybrid Petri-nets for modeling material handling systems. CDC/ECC 2011: 5881-5886 - [c23]Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
A hybrid model for the control and the analysis of complex automated warehouse systems. ETFA 2011: 1-8 - 2010
- [c22]Francesco Basile, Pasquale Chiacchio, Diego Gerbasio:
A novel approach to PLC programming for distributed automation systems control. ETFA 2010: 1-8 - [c21]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Diagnosability of labeled Petri nets via integer linear programming. WODES 2010: 71-77
2000 – 2009
- 2009
- [j11]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): 528-538 (2009) - [j10]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): 1-30 (2009) - [j9]Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso:
Implementation of Hydraulic Servo Controllers with only Position Measure. Int. J. Robotics Autom. 24(1) (2009) - [j8]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
An Efficient Approach for Online Diagnosis of Discrete Event Systems. IEEE Trans. Autom. Control. 54(4): 748-759 (2009) - [c20]Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso:
A control oriented model of generalized warehouses based on Colored Timed Petri Nets. CASE 2009: 48-53 - [c19]Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso:
An Approach to Control Generalized Warehouses. ETFA 2009: 1-8 - [c18]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Improving Real-time Identification of Petri Nets using Timing Information. ETFA 2009: 1-8 - [c17]Francesco Basile, Pasquale Chiacchio, Domenico Teta:
Real time simulation of urban traffic. ECC 2009: 4763-4768 - 2008
- [c16]Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso:
UML-based modeling and model-driven development of distributed control systems. ETFA 2008: 1120-1127 - 2007
- [j7]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
An Optimization Approach to Petri Net Monitor Design. IEEE Trans. Autom. Control. 52(2): 306-311 (2007) - [j6]Francesco Basile, Ciro Carbone, Pasquale Chiacchio:
Feedback Control Logic for Backward Conflict Free Choice Nets. IEEE Trans. Autom. Control. 52(3): 387-400 (2007) - [j5]Francesco Basile, Pasquale Chiacchio:
On the Implementation of Supervised Control of Discrete Event Systems. IEEE Trans. Control. Syst. Technol. 15(4): 725-739 (2007) - [c15]Francesco Basile, Alessandro Giua, Carla Seatzu:
Supervisory Control of Petri Nets with Decentralized Monitor Places. ACC 2007: 4957-4962 - [c14]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized Supervisory Control of Petri Nets with Monitor Places. CASE 2007: 7-13 - [c13]Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Improving on-line fault diagnosis for discrete event systems using time. CASE 2007: 26-32 - 2006
- [j4]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Autom. 42(6): 995-1004 (2006) - 2005
- [c12]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized supervisory control of Petri nets with monitor places. ETFA 2005 - 2004
- [j3]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): 351-371 (2004) - [j2]Alessandro Giua, Carla Seatzu, Francesco Basile:
Observer-based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Autom. Control. 49(1): 17-29 (2004) - [c11]Francesco Basile, Ciro Carbone, Pasquale Chiacchio, René K. Boel, Camelia C. Avram:
A hybrid model for urban traffic control. SMC (2) 2004: 1795-1800 - 2003
- [j1]Francesco Basile, Pasquale Chiacchio:
A contribution tominimum-time task-space path-following problem for redundant manipulators. Robotica 21(2): 137-142 (2003) - [c10]Francesco Basile, Ciro Carbone, Pasquale Chiacchio:
A reachable throughput upper bound for live and safe free choice nets via T-invariants. ECC 2003: 624-629 - [c9]Francesco Basile, Ciro Carbone, Pasquale Chiacchio:
Petri net controllers to enforce disjunction of GMECs. ICRA 2003: 1440-1445 - [c8]Francesco Basile, Ciro Carbone, Pasquale Chiacchio:
An approach to enforce disjunction of GMECs on controlled Petri Nets. SMC 2003: 1852-1859 - 2002
- [c7]Alessandro Giua, Carla Seatzu, Francesco Basile:
Petri net control using event observers and timing information. CDC 2002: 787-792 - [c6]Francesco Amato, Francesco Basile, Pasquale Chiacchio:
Crane and Shuttle Optimization in Warehousing Systems. ICRA 2002: 4039-4045 - 2001
- [c5]Francesco Amato, Francesco Basile:
Optimal control of warehousing systems with simultaneous crane and shuttle optimization. ETFA (2) 2001: 95-104 - [c4]Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu:
Deadlock recovery of Petri net models controlled using observers. ETFA (2) 2001: 441-449 - 2000
- [c3]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
Petri net monitor design with control and observation costs. CDC 2000: 424-429
1990 – 1999
- 1999
- [c2]Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca:
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE 1999: 110-123 - 1998
- [c1]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
On the choice of suboptimal monitors for supervisory control of Petri nets. SMC 1998: 752-757
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
