Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Francesco
    Last name: Basile
    DBLP: 07/2933
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 62 of 62  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Francesco Basile, Maria Paola Cabasino, Carla Seatzu.
    Diagnosability Analysis of Labeled Time Petri Net Systems.
    IEEE Trans. Automat. Contr. 2017, Volume 62 (0) 2017
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A matrix-based approach for supervising and controlling timed Discrete Event System.
    14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16-18, 2017 2017 (0) 2017
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Identification of Time Petri Net Models.
    IEEE Trans. Systems, Man, and Cybernetics: Systems 2017, Volume 47 (0) 2017
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Corrections to "Identification of Time Petri Net Models".
    IEEE Trans. Systems, Man, and Cybernetics: Systems 2017, Volume 47 (0) 2017
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino.
    An auction-based approach for the coordination of vehicles in automated warehouse systems.
    2017 IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI), Bari, Italy, September 18-20, 2017 2017 (0) 2017
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Identification of labeled Time Petri nets.
    13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016 2016 (0) 2016
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Faulty model identification in deterministic labeled Time Petri nets.
    13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016 2016 (0) 2016
    Conference paper
    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 2016, Volume 16 (0) 2016
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies.
    IEEE T. Automation Science and Engineering 2016, Volume 13 (0) 2016
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems.
    21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016 2016 (0) 2016
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A cyber-physical view of automated warehouse systems.
    IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016 2016 (0) 2016
    Journal article
    Francesco Basile, Roberto Cordone, Luigi Piroddi.
    A branch and bound approach for the design of decentralized supervisors in Petri net models.
    Automatica 2015, Volume 52 (0) 2015
    Conference paper
    Francesco Basile, Maria Paola Cabasino, Carla Seatzu.
    State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions.
    IEEE Trans. Automat. Contr. 2015, Volume 60 (0) 2015
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Real time identification of Time Petri net faulty models.
    IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015 2015 (0) 2015
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio.
    Automated warehouse systems: A cyber-physical system perspective.
    20th IEEE Conference on Emerging Technologies Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015 2015 (0) 2015
    Journal article
    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 T. Automation Science and Engineering 2014, Volume 11 (0) 2014
    Conference paper
    Francesco Basile, Luigi Piroddi, Roberto Cordone.
    Decentralized Monitors Design for Petri Net Models.
    12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. 2014 (0) 2014
    Conference paper
    Francesco Basile, Maria Paola Cabasino, Carla Seatzu.
    K-Diagnosability of Time Labeled Petri Nets.
    12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. 2014 (0) 2014
    Conference paper
    Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile.
    Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.
    12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. 2014 (0) 2014
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio.
    Automated implementation of Petri Nets on PLCs with OOP.
    Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 2014 (0) 2014
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Diego Gerbasio.
    On the Implementation of Industrial Automation Systems Based on PLC.
    IEEE T. Automation Science and Engineering 2013, Volume 10 (0) 2013
    Conference paper
    Francesco Basile, Roberto Cordone, Luigi Piroddi.
    Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models.
    Automatica 2013, Volume 49 (0) 2013
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    An approach for the identification of time Petri net systems.
    Proceedings of 2013 IEEE 18th Conference on Emerging Technologies Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013 2013 (0) 2013
    Conference paper
    Francesco Basile, Maria Paola Cabasino, Carla Seatzu.
    Marking estimation of Time Petri nets with unobservable transitions.
    Proceedings of 2013 IEEE 18th Conference on Emerging Technologies Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013 2013 (0) 2013
    Conference paper
    Francesco Basile, Roberto Cordone, Luigi Piroddi.
    Compact and decentralized supervisors for general constraint enforcement in Petri net models.
    Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy (0) 2013
    Conference paper
    Francesco Basile, Roberto Cordone, Luigi Piroddi.
    Parsimonious deadlock-free Petri net models of flexible manufacturing systems.
    American Control Conference, ACC 2013, Washington, DC, USA, June 17-19, 2013 2013 (0) 2013
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    On K-diagnosability of Petri nets via integer linear programming.
    Automatica 2012, Volume 48 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A Hybrid Model of Complex Automated Warehouse Systems - Part I: Modeling and Simulation.
    IEEE T. Automation Science and Engineering 2012, Volume 9 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A Hybrid Model of Complex Automated Warehouse Systems - Part II: Analysis and Experimental Results.
    IEEE T. Automation Science and Engineering 2012, Volume 9 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio.
    A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring.
    Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012 2012 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    Decentralized κ-diagnosability of Petri nets.
    11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. 2012 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Active identification of Petri net models.
    11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. 2012 (0) 2012
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    Colored Hybrid Petri-nets for modeling material handling systems.
    Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, December 12-15, 2011 2011 (0) 2011
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A discrete event model for the control and analysis of complex automated warehouse systems.
    IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011 2011 (0) 2011
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Jolanda Coppola.
    A hybrid model for the control and the analysis of complex automated warehouse systems.
    IEEE 16th Conference on Emerging Technologies Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 2011 (0) 2011
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Diego Gerbasio.
    A novel approach to PLC programming for distributed automation systems control.
    Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain 2010 (0) 2010
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    Diagnosability of labeled Petri nets via integer linear programming.
    10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. 2010 (0) 2010
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    Improving Real-time Identification of Petri Nets using Timing Information.
    Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain 2009 (0) 2009
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso.
    An Approach to Control Generalized Warehouses.
    Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain 2009 (0) 2009
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso.
    A control oriented model of generalized warehouses based on Colored Timed Petri Nets.
    IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011 2009 (0) 2009
    Journal article
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    An Efficient Approach for Online Diagnosis of Discrete Event Systems.
    IEEE Trans. Automat. Contr. 2009, Volume 54 (0) 2009
    Conference paper
    Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva.
    Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.
    Discrete Event Dynamic Systems 2009, Volume 19 (0) 2009
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso.
    Implementation of Hydraulic Servo Controllers with only Position Measure.
    I. J. Robotics and Automation 2009, Volume 24 (0) 2009
    Conference paper
    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.
    Computer Standards Interfaces 2009, Volume 31 (0) 2009
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso.
    UML-based modeling and model-driven development of distributed control systems.
    Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany 2008 (0) 2008
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi.
    Improving on-line fault diagnosis for discrete event systems using time.
    IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA 2007 (0) 2007
    Conference paper
    Francesco Basile, Alessandro Giua, Carla Seatzu.
    Decentralized Supervisory Control of Petri Nets with Monitor Places.
    IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA 2007 (0) 2007
    Journal article
    Francesco Basile, Pasquale Chiacchio, Alessandro Giua.
    An Optimization Approach to Petri Net Monitor Design.
    IEEE Trans. Automat. Contr. 2007, Volume 52 (0) 2007
    Journal article
    Francesco Basile, Ciro Carbone, Pasquale Chiacchio.
    Feedback Control Logic for Backward Conflict Free Choice Nets.
    IEEE Trans. Automat. Contr. 2007, Volume 52 (0) 2007
    Journal article
    Francesco Basile, Pasquale Chiacchio.
    On the Implementation of Supervised Control of Discrete Event Systems.
    IEEE Trans. Contr. Sys. Techn. 2007, Volume 15 (0) 2007
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Alessandro Giua.
    Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places.
    Automatica 2006, Volume 42 (0) 2006
    Conference paper
    Francesco Basile, Alessandro Giua, Carla Seatzu.
    Decentralized supervisory control of Petri nets with monitor places.
    Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy 2005 (0) 2005
    Journal article
    Alessandro Giua, Carla Seatzu, Francesco Basile.
    Observer-based state-feedback control of timed Petri nets with deadlock recovery.
    IEEE Trans. Automat. Contr. 2004, Volume 49 (0) 2004
    Journal article
    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. Intelligent Manufacturing 2004, Volume 15 (0) 2004
    Conference paper
    Francesco Basile, Ciro Carbone, Pasquale Chiacchio, René K. Boel, Camelia C. Avram.
    A hybrid model for urban traffic control.
    Proceedings of the IEEE International Conference on Systems, Man Cybernetics: The Hague, Netherlands, 10-13 October 2004 2004 (0) 2004
    Conference paper
    Francesco Basile, Ciro Carbone, Pasquale Chiacchio.
    An approach to enforce disjunction of GMECs on controlled Petri Nets.
    Proceedings of the IEEE International Conference on Systems, Man Cybernetics: Washington, D.C., USA, 5-8 October 2003 2003 (0) 2003
    Conference paper
    Francesco Basile, Ciro Carbone, Pasquale Chiacchio.
    Petri net controllers to enforce disjunction of GMECs.
    Proceedings of the 2003 IEEE International Conference on Robotics and Automation, ICRA 2003, September 14-19, 2003, Taipei, Taiwan 2003 (0) 2003
    Conference paper
    Francesco Basile, Pasquale Chiacchio.
    A contribution tominimum-time task-space path-following problem for redundant manipulators.
    Robotica 2003, Volume 21 (0) 2003
    Conference paper
    Francesco Amato, Francesco Basile, Pasquale Chiacchio.
    Crane and Shuttle Optimization in Warehousing Systems.
    Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA 2002 (0) 2002
    Conference paper
    Francesco Amato, Francesco Basile.
    Optimal control of warehousing systems with simultaneous crane and shuttle optimization.
    Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2 2001 (0) 2001
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu.
    Deadlock recovery of Petri net models controlled using observers.
    Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2 2001 (0) 2001
    Conference paper
    Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca.
    Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
    PDSE 1999 (0) 1999
    Show item 1 to 62 of 62  

    Your query returned 62 matches in the database.