Maria Pia Fanti

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

K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control.

[BibT_eX]

[DOI]

Ruotian Liu

Wei Duan

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

A Trip Planner Tool for Electric Vehicles in Long Distance Journeys.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Control, 2023

A Cooperative DRL Approach for Autonomous Traffic Prioritization in Mixed Vehicles Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Critical Observability of Discrete-Event Systems in a Petri Net Framework.

[BibT_eX]

[DOI]

Zhiwu Li

IEEE Trans. Syst. Man Cybern. Syst., 2022

Innovative Approaches for Electric Vehicles Relocation in Sharing Systems.

[BibT_eX]

[DOI]

Bartolomeo Silvestri

IEEE Trans Autom. Sci. Eng., 2022

Maximizing Convergence Speed for Second Order Consensus in Leaderless Multi-Agent Systems.

[BibT_eX]

[DOI]

IEEE CAA J. Autom. Sinica, 2022

Interdisciplinary Methods and Approaches for Cybernetics and Systems Modeling.

[BibT_eX]

[DOI]

Achraf Jabeur Telmoudi

Enrique Herrera-Viedma

Abderrahmen Zaafouri

Cybern. Syst., 2022

An Architecture Combining Blockchain, Docker and Cloud Storage for Improving Digital Processes in Cloud Manufacturing.

[BibT_eX]

[DOI]

IEEE Access, 2022

Smart District Energy Management With Cooperative Microgrids.

[BibT_eX]

[DOI]

IEEE Access, 2022

Safety and Comfort in Autonomous Braking System with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

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

Discrete Event Simulation as Decision Tool for Sustainable Development in Smart Cities.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2022

A Leaderless Consensus Algorithm in Networks of Vehicles with Time Delays.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2022

A District Energy Management Approach Based on Internet of Things and Blockchain.

[BibT_eX]

[DOI]

Giuseppe Olivieri

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Digital Twin in Intelligent Transportation Systems: a Review.

[BibT_eX]

[DOI]

Wasim A. Ali

Proceedings of the 8th International Conference on Control, 2022

A Consensus Protocol for Connecting Automated Vehicles at Signal-Free Intersection.

[BibT_eX]

[DOI]

Maria del Cacho Estil-les

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Electric Vehicles Routing Including Smart-Charging Method and Energy Constraints<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Information and Communication Technologies applied to intelligent buildings: a review.

[BibT_eX]

[DOI]

J. Inf. Technol. Constr., 2021

An Eco-Route planner for heavy duty vehicles.

[BibT_eX]

[DOI]

Alfredo Favenza

IEEE CAA J. Autom. Sinica, 2021

Predictive Maintenance of an Electro-Injector through Machine Learning Algorithms.

[BibT_eX]

[DOI]

Alessandro Rinaldi

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

Application of Deep Reinforcement Learning for Traffic Control of Road Intersection with Emergency Vehicles.

[BibT_eX]

[DOI]

Giuseppe Benedetti

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

Development and Integration of ICT Tools for Electric Mobility.

[BibT_eX]

[DOI]

Evangelia Portouli

Angelos Amditis

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

An Architecture for Digital Processes in Manufacturing with Blockchain, Docker and Cloud Storage.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

A Drone-Assisted 3D Printing by Crane Structures in Construction Industry.

[BibT_eX]

[DOI]

Nicola Parisi

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2020

Fleet Sizing for Electric Car Sharing Systems in Discrete Event System Frameworks.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2020

Human Activity Discovery and Recognition Using Probabilistic Finite-State Automata.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2020

New Methods and Approaches in Decision and Control of Intelligent and Cyber Systems.

[BibT_eX]

[DOI]

Moêz Soltani

Nizar Bouguila

Achraf Jabeur Telmoudi

Cybern. Syst., 2020

Optimal Trajectory Planning for a Robotic Manipulator Palletizing Tasks.

[BibT_eX]

[DOI]

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

Industry 4.0: Roadmap for Applying Technologies in Shipbuilding and Manufacturing Sectors.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Control, 2020

An Innovative Service for Electric Vehicle Energy Demand Prediction.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Control, 2020

Enabling Technologies for Smart Construction Engineering: a Review.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Hospital Drugs Distribution with Autonomous Robot Vehicles.

[BibT_eX]

[DOI]

Bartolomeo Silvestri

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

A Distributed Cluster-Based Approach for Pick-Up Services.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2019

A Serious Game Approach for the Electro-Mobility Sector.

[BibT_eX]

[DOI]

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

A Decision Support System for Comfort optimization in a Smart Retirement Home.

[BibT_eX]

[DOI]

Alessandro Rinaldi

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

Analysis of Industrial Changes and Enabling Technologies in Industry 4.0.

[BibT_eX]

[DOI]

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

A New ILP Formulation for the Multi-Day Container Drayage Problem.

[BibT_eX]

[DOI]

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

Cooperative Distributed Energy Scheduling of Smart Homes Appliances in a Smart District.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Innovative Baseline Estimation Methodology for Key Performance Indicators in the Electro-Mobility Sector.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Control, 2019

Evaluation of Unavailability of the Railway Service using AHP Methodology.

[BibT_eX]

[DOI]

Ilario Precchiazzi

Valentino Sangiorgio

Proceedings of the 6th International Conference on Control, 2019

Critical Observability of Petri Nets with Unknown Initial Marking.

[BibT_eX]

[DOI]

ZhiWu Li

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

Electric Vehicle Fleet Relocation Management for Sharing Systems based on Incentive Mechanism.

[BibT_eX]

[DOI]

Bartolomeo Silvestri

Salvatore Digiesi

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

Decentralized Diagnosis by Petri Nets and Integer Linear Programming.

[BibT_eX]

[DOI]

Zhiwu Li

IEEE Trans. Syst. Man Cybern. Syst., 2018

A Decision Support System for User-Based Vehicle Relocation in Car Sharing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

Internet of things and virtual sensors for electromobility.

[BibT_eX]

[DOI]

Internet Technol. Lett., 2018

On-line verification of current-state opacity by Petri nets and integer linear programming.

[BibT_eX]

[DOI]

Zhiwu Li

Autom., 2018

Software Requirements and Use Cases for Electric Light Vehicles Management.

[BibT_eX]

[DOI]

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

Modeling Virtual Sensors for Electric Vehicles Charge Services.

[BibT_eX]

[DOI]

Massimiliano Nolich

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

A Connectivity Platform for Intermodal Transportation and Logistics Systems.

[BibT_eX]

[DOI]

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

Virtual Sensors for Electromobility.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Control, 2018

A First Order Hybrid Petri Net Model for Building Energy Management.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Control, 2018

A Cloud Optimizer for Eco Route Planning of Heavy Duty Vehicles.

[BibT_eX]

[DOI]

Giambattista Fiume

Nicolas Monsel

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

Critical Observability of Safe Petri Nets via Integer Linear Programming.

[BibT_eX]

[DOI]

ZhiWu Li

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

A Cloud Computing Architecture for Eco Route Planning of Heavy Duty Vehicles.

[BibT_eX]

[DOI]

Giuliana Rotunno

Giambattista Fiume

Alfredo Favenza

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

A New Cluster-Based Approach for the Vehicle Routing Problem with Time Windows.

[BibT_eX]

[DOI]

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

2017

A Decision Support System for Cooperative Logistics.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Optimal fuel consumption for heavy trucks: A review.

[BibT_eX]

[DOI]

Thomas Hlasny

Giuliana Rotunno

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

Actors interactions and needs in the European electromobility network.

[BibT_eX]

[DOI]

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

A flexible platform for intermodal transportation and integrated logistics.

[BibT_eX]

[DOI]

Ilario Precchiazzi

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

Externalities reduction strategies in last mile logistics: A review.

[BibT_eX]

[DOI]

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

Smart placement of motion sensors in a home environment.

[BibT_eX]

[DOI]

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

Optimal energy management integrating renewable energy, energy storage systems and electric vehicles.

[BibT_eX]

[DOI]

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

Recognition of human activity based on probabilistic finite-state automata.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modelling and solving the multi-day container drayage problem.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Guest Editorial Special Section on Emerging Advances in Logistics Systems: Integrating Remote Sensing, IT, and Autonomy.

[BibT_eX]

[DOI]

Reha Uzsoy

IEEE Trans Autom. Sci. Eng., 2016

Scheduling Internal Operations in Post-Distribution Cross Docking Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

An Integrated System for Production Scheduling in Steelmaking and Casting Plants.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

A Decision Support Approach for Postal Delivery and Waste Collection Services.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

A Petri Net model for fleet sizing of Electric Car Sharing Systems.

[BibT_eX]

[DOI]

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

Modeling cyber attacks by stochastic games and Timed Petri Nets.

[BibT_eX]

[DOI]

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

A natural ventilation control in buildings based on co-simulation architecture and Particle Swarm Optimization.

[BibT_eX]

[DOI]

Francesco Iannone

Alessandro Rinaldi

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

Distributed algorithms for multi-robot incident response victim extraction.

[BibT_eX]

[DOI]

Edward W. Tunstel

Proceedings of the 15th European Control Conference, 2016

Motion detector placement optimization in smart homes for inhabitant location tracking.

[BibT_eX]

[DOI]

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

An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Ubiquitous Computing and 8th Communications and International Symposium on Cyberspace Safety and Security, 2016

A software tool for the decentralized control of AGV systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Control, 2016

Discrete consensus for asynchronous distributed task assignment.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A review of new approaches for Dynamic Vehicle Routing Problem.

[BibT_eX]

[DOI]

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

Decision support for a waste collection service with time and shift constraints.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

A Risk Assessment Framework for Hazmat Transportation in Highways by Colored Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2015

A District Energy Management Based on Thermal Comfort Satisfaction and Real-Time Power Balancing.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2015

Emerging Advances in Automation [From the Guest Editors].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2015

A simulation based Decision Support System for logistics management.

[BibT_eX]

[DOI]

Chrysostomos D. Stylios

J. Comput. Sci., 2015

A new class of consensus protocols for agent networks with discrete time dynamics.

[BibT_eX]

[DOI]

Francesca Mazzia

Autom., 2015

Simulation Study on the Convergence Time of a Discrete Consensus Algorithm for Distributed Task Assignment.

[BibT_eX]

[DOI]

Mauro Franceschelli

Proceedings of the 2015 IEEE International Conference on Systems, 2015

A Decision Support System for the Management of an Electric-Car Sharing System.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Systems, 2015

A control strategy for district energy management.

[BibT_eX]

[DOI]

Stefano Pizzuti

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

A decision support system for multimodal logistic management.

[BibT_eX]

[DOI]

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

Decentralized deadlock-free control for AGV systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Freeway Traffic Modeling and Control in a First-Order Hybrid Petri Net Framework.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.

[BibT_eX]

[DOI]

Christos G. Cassandras

Christoforos N. Hadjicostis

Spyros A. Reveliotis

Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2014

An integrated technique for the internal logistics analysis and management in discrete manufacturing systems.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2014

Fleet sizing for electric car sharing system via closed queueing networks.

[BibT_eX]

[DOI]

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

A Petri Net model for a building energy management system based on a demand response approach.

[BibT_eX]

[DOI]

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Assignment of electrical vehicles to charging stations by a distributed approach.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

Discrete event systems models and methods for different problems in healthcare management.

[BibT_eX]

[DOI]

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

A Petri net model of an integrated system for the Health Care At Home management.

[BibT_eX]

[DOI]

Jean-Jacques Lesage

Kevin Viard

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

A Decision Support System approach for the postal delivery operations.

[BibT_eX]

[DOI]

R. Laraspata

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

Flight path optimization for minimizing emissions and avoiding weather hazard.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

A Three-Level Strategy for the Design and Performance Evaluation of Hospital Departments.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2013

Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

A hierarchical optimization technique for the strategic design of distribution networks.

[BibT_eX]

[DOI]

Fabio Sciancalepore

Comput. Ind. Eng., 2013

A Quantized Consensus Algorithm for a Multi-agent Assignment Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

A Discrete-Event Simulation Approach for the Management of a Car Sharing Service.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

A Simulation Model for Product Lifecycle Management.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Production scheduling in a Steelmaking and Continuous Casting plant: A case study.

[BibT_eX]

[DOI]

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

Modeling Steelmaking and Continuous Casting plants by Timed Petri Nets.

[BibT_eX]

[DOI]

Giuliana Rotunno

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

A Mixed Integer Linear Programming model of a Steelmaking and Casting plant.

[BibT_eX]

[DOI]

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

Discrete consensus in networks with constrained capacity.

[BibT_eX]

[DOI]

Mauro Franceschelli

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

A simulation based analysis of production scheduling in a steelmaking and continuous casting plant.

[BibT_eX]

[DOI]

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

The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework.

[BibT_eX]

[DOI]

Monica Clemente

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Minimum loss reconfiguration of electrical distribution networks with quality requirements.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Guest Editorial on Health-Care Management and Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2012

Special section: Dependable system modelling and analysis.

[BibT_eX]

[DOI]

Andrea Bobbio

Stefania Montani

Eng. Appl. Artif. Intell., 2012

A decision support system for risk evaluation of HAZMAT transportation in motorways.

[BibT_eX]

[DOI]

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

Modeling and Optimization of Aircraft Trajectories: A review.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Distributed fault detection by labeled Petri Nets.

[BibT_eX]

[DOI]

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

Decision Support Systems based on a UML description approach.

[BibT_eX]

[DOI]

Spiros Vasilakos

Chrysostomos D. Stylios

Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

A quantized consensus algorithm for distributed task assignment.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A three level strategy for the design and performance evaluation of Hospital Departments: A case study.

[BibT_eX]

[DOI]

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

A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation.

[BibT_eX]

[DOI]

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

New consensus protocols for networks with discrete time dynamics.

[BibT_eX]

[DOI]

Valentina Boschian

Proceedings of the American Control Conference, 2012

An Improved Freeway Traffic Model in a First Order Hybrid Petri Net Framework.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

A Metamodeling Approach to the Management of Intermodal Transportation Networks.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2011

A lean manufacturing procedure using Value Stream Mapping and the Analytic Hierarchy Process.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

A Colored Petri Net Model of motorways for risk evaluation of HAZMAT transportation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

New consensus algorithms based on a positive splitting approach.

[BibT_eX]

[DOI]

Valentina Boschian

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

Solving scheduling problems in distribution centers using symmetry breaking constraints.

[BibT_eX]

[DOI]

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

Welcome message from the general chair.

[BibT_eX]

[DOI]

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

A freeway traffic control model by first order hybrid Petri nets.

[BibT_eX]

[DOI]

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

A fuzzy programming approach for the strategic design of distribution networks.

[BibT_eX]

[DOI]

Fabio Sciancalepore

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

2010

A metamodeling technique for managing Intermodal Transportation Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2010

The assessment of ICT solutions in customs clearance operations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2010

Scheduling the internal operations in distribution centers with buffer constraints.

[BibT_eX]

[DOI]

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

A model for the strategic design of Distribution Networks.

[BibT_eX]

[DOI]

Fabio Sciancalepore

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

2009

A First-Order Hybrid Petri Net Model for Supply Chain Management.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2009

On-line fault detection in discrete event systems by Petri nets and integer linear programming.

[BibT_eX]

[DOI]

Autom., 2009

A Customizable Game Engine for Mobile Game-Based Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

Using Information and Communication Technologies in Intermodal Freight Transportation: a Case Study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

Impact of the ICT on the Management and Performance of Intelligent Transportation Systems.

[BibT_eX]

Proceedings of the ICINCO 2009, 2009

Integrating ICT into Logistics Intermodal Systems: A petri net model of the Trieste port.

[BibT_eX]

[DOI]

Romeo Danielis

Raffaele Pesenti

Proceedings of the 10th European Control Conference, 2009

On-line fault diagnosis in a Petri Net framework.

[BibT_eX]

[DOI]

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

The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets.

[BibT_eX]

[DOI]

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

A Continuous Petri Net Model for the Management and Design of Emergency Cardiology Departments.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Real time identification of discrete event systems using Petri nets.

[BibT_eX]

[DOI]

Autom., 2008

An urban traffic network model by first order hybrid Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

Fault monitoring of automated manufacturing systems by first order hybrid Petri nets.

[BibT_eX]

[DOI]

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

2007

Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2007

Fuzzy multi-objective optimization for network design of integrated e-supply chains.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2007

Comparing management policies for Supply Chains via a hybrid Petri Net model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2007

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification.

[BibT_eX]

[DOI]

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

2006

Design and Optimization of Integrated E-Supply Chain for Agile and Environmentally Conscious Manufacturing.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2006

On-Line Identification of Discrete Event Systems by Interpreted Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

On-Line Identification of Discrete Event Systems: a Case Study.

[BibT_eX]

[DOI]

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

Modelling Distributed manufacturing Systems via First order Hybrid Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Complex-valued token Petri nets.

[BibT_eX]

[DOI]

Alan A. Desrochers

Thomas J. Deal

IEEE Trans Autom. Sci. Eng., 2005

A coloured Petri net model for automated storage and retrieval systems serviced by rail-guided vehicles: a control perspective.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2005

Validation of an Urban Traffic Network Model using Colored Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

A Supply Chain Model Using Complex-Valued Token Petri Nets.

[BibT_eX]

[DOI]

Alan A. Desrochers

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

Fuzzy multi-objective optimization for network design of logistic and production systems.

[BibT_eX]

[DOI]

G. Tempone

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

A Generalized Stochastic Petri Net Model for Management of Distributed Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Deadlock control methods in automated manufacturing systems.

[BibT_eX]

[DOI]

MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part A, 2004

Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2004

Candidate selection for network design of distributed manufacturing systems.

[BibT_eX]

[DOI]

Carlo Meloni

Proceedings of the IEEE International Conference on Systems, 2004

Comparing deadlock detection and avoidance policies in automated storage and retrieval systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

2003

A deadlock prevention method for railway networks using monitors for colored Petri nets.

[BibT_eX]

[DOI]

Alessandro Giua

Carla Seatzu

Proceedings of the IEEE International Conference on Systems, 2003

Generalized mutual exclusion constraints and monitors for colored Petri nets.

[BibT_eX]

[DOI]

Alessandro Giua

Carla Seatzu

Proceedings of the IEEE International Conference on Systems, 2003

A decision support system for the supply chain configuration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Real time optimization of traffic signal control: application to coordinated intersections.

[BibT_eX]

[DOI]

Carlo Meloni

Proceedings of the IEEE International Conference on Systems, 2003

Complex Token Petri nets.

[BibT_eX]

[DOI]

Alan A. Desrochers

Thomas J. Deal

Proceedings of the IEEE International Conference on Systems, 2003

A colored timed Petri net model to manage resources in complex automated manufacturing systems.

[BibT_eX]

[DOI]

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

Performance of two real time control strategies for AGV systems: A case study.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Performance-based comparison of control policies for automated storage and retrieval systems modelled by coloured Petri nets.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Deadlock Analysis in Automated Manufacturing Systems with Conjunctive Resource Service.

[BibT_eX]

[DOI]

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

2001

Event control for deadlock avoidance in automated guided vehicle systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

2000

Comparing digraph and Petri net approaches to deadlock avoidance in FMS.

[BibT_eX]

[DOI]

Bruno Maione

IEEE Trans. Syst. Man Cybern. Part B, 2000

1999

Supervisors avoiding deadlock in flexible manufacturing systems with co-operating machines.

[BibT_eX]

[DOI]

Guido Maione

Proceedings of the 5th European Control Conference, 1999

1998

Genetic multi-criteria approach to flexible line scheduling.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1998

Deadlock avoidance in cellular manufacturing systems.

[BibT_eX]

[DOI]

Bruno Maione