Francesco Basile

Carlo Motta

Autom., June, 2023

Validation of Industrial Automation Systems Using a Timed Model of System Requirements.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2023

2022

Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

2021

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems.

[BibT_eX]

[DOI]

Liang Li

Zhiwu Li

IEEE Trans. Autom. Control., 2021

Noninterference Enforcement via Supervisory Control in Bounded Petri Nets.

[BibT_eX]

[DOI]

Claudio Sterle

IEEE Trans. Autom. Control., 2021

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems.

[BibT_eX]

[DOI]

Dimitri Lefebvre

Inf. Sci., 2021

Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

A model-based approach to the validation of automation systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

A sliding-window approach to analyze the accuracy of timed DESs.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Finite-time accuracy of timed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2020

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems.

[BibT_eX]

[DOI]

Liang Li

Zhiwu Li

IEEE Trans. Autom. Control., 2020

2019

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Auction-based mechanisms for the control of vehicles in Smart Logistic Systems.

[BibT_eX]

[DOI]

Emiliano Di Marino

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Discovering of the unobservable behaviour of an Interpreted Petri Net model.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Multi-frequency precise point positioning using GPS and Galileo data with smoothed ionospheric corrections.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2018

Control design for timed Petri nets based on LMIs and structure expansion.

[BibT_eX]

[DOI]

Alioune Mbaye

Dimitri Lefebvre

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Efficient diagnosability assessment via ILP optimization: a railway benchmark.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Non-Interference Enforcement in Bounded Petri Nets.

[BibT_eX]

[DOI]

Claudio Sterle

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Automated generation of a simulation model for the decentralized control of automated warehouse systems.

[BibT_eX]

[DOI]

Emiliano Di Marino

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Non-interference assessment in bounded Petri nets via Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Corrections to "Identification of Time Petri Net Models".

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2017

Identification of Time Petri Net Models.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2017

Diagnosability Analysis of Labeled Time Petri Net Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

An auction-based approach for the coordination of vehicles in automated warehouse systems.

[BibT_eX]

[DOI]

Emiliano Di Marino

Proceedings of the 2017 IEEE International Conference on Service Operations and Logistics, 2017

A matrix-based approach for supervising and controlling timed Discrete Event System.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

Standalone GPS L1 C/A Receiver for Lunar Missions.

[BibT_eX]

[DOI]

Sensors, 2016

Faulty model identification in deterministic labeled Time Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Identification of labeled Time Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A cyber-physical view of automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

A branch and bound approach for the design of decentralized supervisors in Petri net models.

[BibT_eX]

[DOI]

Autom., 2015

Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming.

[BibT_eX]

[DOI]

Claudio Sterle

Proceedings of the 23rd Mediterranean Conference on Control and Automation, 2015

Automated warehouse systems: A cyber-physical system perspective.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Real time identification of Time Petri net faulty models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Decentralized Monitors Design for Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

K-Diagnosability of Time Labeled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Automated implementation of Petri Nets on PLCs with OOP.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

On the Implementation of Industrial Automation Systems Based on PLC.

[BibT_eX]

[DOI]

Diego Gerbasio

IEEE Trans Autom. Sci. Eng., 2013

Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models.

[BibT_eX]

[DOI]

Autom., 2013

Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

Marking estimation of Time Petri nets with unobservable transitions.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

An approach for the identification of time Petri net systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Compact and decentralized supervisors for general constraint enforcement in Petri net models.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Parsimonious deadlock-free Petri net models of flexible manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

A Hybrid Model of Complex Automated Warehouse Systems - Part II: Analysis and Experimental Results.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

A Hybrid Model of Complex Automated Warehouse Systems - Part I: Modeling and Simulation.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

On K-diagnosability of Petri nets via integer linear programming.

[BibT_eX]

[DOI]

Autom., 2012

Decentralized κ-diagnosability of Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Active identification of Petri net models.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

A hybrid model for the control and the analysis of complex automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Colored Hybrid Petri-nets for modeling material handling systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A discrete event model for the control and analysis of complex automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Diagnosability of labeled Petri nets via integer linear programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A novel approach to PLC programming for distributed automation systems control.

[BibT_eX]

[DOI]

Diego Gerbasio

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

An Efficient Approach for Online Diagnosis of Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Implementation of Hydraulic Servo Controllers with only Position Measure.

[BibT_eX]

[DOI]

Int. J. Robotics Autom., 2009

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2009

Real time simulation of urban traffic.

[BibT_eX]

[DOI]

Domenico Teta

Proceedings of the 10th European Control Conference, 2009

Improving Real-time Identification of Petri Nets using Timing Information.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

An Approach to Control Generalized Warehouses.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

A control oriented model of generalized warehouses based on Colored Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

UML-based modeling and model-driven development of distributed control systems.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

On the Implementation of Supervised Control of Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2007

An Optimization Approach to Petri Net Monitor Design.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Feedback Control Logic for Backward Conflict Free Choice Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Decentralized Supervisory Control of Petri Nets with Monitor Places.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Improving on-line fault diagnosis for discrete event systems using time.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Supervisory Control of Petri Nets with Decentralized Monitor Places.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places.

[BibT_eX]

[DOI]

Autom., 2006

2004

Observer-based state-feedback control of timed Petri nets with deadlock recovery.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks.

[BibT_eX]

[DOI]

J. Intell. Manuf., 2004

A hybrid model for urban traffic control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

2003

A contribution tominimum-time task-space path-following problem for redundant manipulators.

[BibT_eX]

[DOI]

Robotica, 2003

An approach to enforce disjunction of GMECs on controlled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Petri net controllers to enforce disjunction of GMECs.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

A reachable throughput upper bound for live and safe free choice nets via T-invariants.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

2002

Crane and Shuttle Optimization in Warehousing Systems.

[BibT_eX]

[DOI]

Francesco Amato

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

Petri net control using event observers and timing information.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Deadlock recovery of Petri net models controlled using observers.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Optimal control of warehousing systems with simultaneous crane and shuttle optimization.

[BibT_eX]

[DOI]

Francesco Amato

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

Petri net monitor design with control and observation costs.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

On the choice of suboptimal monitors for supervisory control of Petri nets.

[BibT_eX]

[DOI]