Luca Ferrarini

CoRR, 2023

2022

Total Coloring and Total Matching: Polyhedra and Facets.

[BibT_eX]

[DOI]

Stefano Gualandi

Eur. J. Oper. Res., 2022

A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

Neural network predictive schemes for building temperature control: a comparative study.

[BibT_eX]

[DOI]

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

2021

Facets of the Total Matching Polytope for bipartite graphs.

[BibT_eX]

[DOI]

CoRR, 2021

An Integer Linear Programming Model for Tilings.

[BibT_eX]

[DOI]

Gennaro Auricchio

Greta Lanzarotto

CoRR, 2021

Hierarchical Nonlinear MPC for Large Buildings HVAC Optimization.

[BibT_eX]

[DOI]

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

2020

Predictive Control-Oriented Models of a Domestic Air-to-Water Heat Pump Under Variable Conditions.

[BibT_eX]

[DOI]

Lorenzo Caseri

IEEE Robotics Autom. Lett., 2020

Improving Solar and PV Power Prediction with Ensemble Methods.

[BibT_eX]

[DOI]

D. La Carrubba

CoRR, 2020

A hierarchical distributed predictive control approach for microgrids energy management.

[BibT_eX]

[DOI]

Alireza Dehghani Pilehvarani

Achilleas Markou

CoRR, 2020

Normal 5-edge-colorings of a family of Loupekhine snarks.

[BibT_eX]

[DOI]

Giuseppe Mazzuoccolo

Vahan Mkrtchyan

AKCE Int. J. Graphs Comb., 2020

Digital Techniques for Energy Optimization in a University Building: a case study.

[BibT_eX]

[DOI]

Riccardo Babini

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Cyber Physical Systems and Internet of Things: Emerging Paradigms on Smart Cities.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Societal Automation, 2019

Energy consumption models for residential buildings: a case study.

[BibT_eX]

[DOI]

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

Experimental Validation of the Control-Oriented Model of Heat Pumps for MPC Applications.

[BibT_eX]

[DOI]

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

2018

A Consensus-Based Distributed MPC Approach for Batteries Sharing in Group of Buildings.

[BibT_eX]

[DOI]

Alireza Dehghani Pilehvarani

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

2017

A Multivariable Self-tuning Controller for a D-type Water Tube Industrial Boiler.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Informatics in Control, 2017

An Adaptive Underfloor Heating Control with External Temperature Compensation.

[BibT_eX]

[DOI]

Anacleto Petretti

Proceedings of the 14th International Conference on Informatics in Control, 2017

MPC-based Management of Energy Resources in Smart Microgrids.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Informatics in Control, 2017

Sensitivity analysis of medical centers energy consumption with EnergyPlus.

[BibT_eX]

[DOI]

Rosalia Pacheco-Torres

Christos Koulamas

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

Cross-validation of sliding mode control strategies for radiant floor temperature control.

[BibT_eX]

[DOI]

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

Scenario-based sensitivity analysis of energy dynamic behavior in residential buildings with radiant floors.

[BibT_eX]

[DOI]

Rosalia Pacheco-Torres

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

2016

Performance improvement for online schedulers for packaging systems.

[BibT_eX]

[DOI]

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

2015

Temperature Control of a Commercial Building With Model Predictive Control Techniques.

[BibT_eX]

[DOI]

Giancarlo Mantovani

IEEE Trans. Ind. Electron., 2015

Modeling and design of an optimal line manager of a packaging system with MILP.

[BibT_eX]

[DOI]

Proceedings of the IECON 2015, 2015

Performance analysis of an autonomous induction generator under different operating conditions using predictive control.

[BibT_eX]

[DOI]

Soufiane Meddouri

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

2014

A Distributed Model Predictive Control approach for the integration of flexible loads, storage and renewables.

[BibT_eX]

[DOI]

Giuseppe Tommaso Costanzo

Giancarlo Mantovani

Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

2012

An experimental study on load-peak shaving in smart homes by means of online admission control.

[BibT_eX]

[DOI]

Giuseppe Tommaso Costanzo

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

2011

Image-based rendering of intersecting surfaces for dynamic comparative visualization.

[BibT_eX]

[DOI]

Vis. Comput., 2011

Non-parametric model selection for subject-specific topological organization of resting-state functional connectivity.

[BibT_eX]

[DOI]

Serge A. R. B. Rombouts

Julien Milles

NeuroImage, 2011

2010

Preventing Thermal Overloads in Transmission Circuits via Model Predictive Control.

[BibT_eX]

[DOI]

Juliano S. A. Carneiro

Boudewijn P. F. Lelieveldt

IEEE Trans. Control. Syst. Technol., 2010

Visual Analysis of Integrated Resting State Functional Brain Connectivity and Anatomy.

[BibT_eX]

[DOI]

Andre F. van Dixhoorn

Proceedings of the Eurographics Workshop on Visual Computing for Biomedicine, 2010

Correspondence free 3D statistical shape model fitting to sparse x-ray projections.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2010: Image Processing, 2010

Morphological analysis in epidemiological studies using growing and adaptive meshes: application to subcortical structures in AD.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2010

Robustness and sensitivity of hotelling's T2-based permutation tests for selection of 3D morphological markers.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2010

Design and implementation of an automatic on-line diagnosis with TiDiaM and TiDE.

[BibT_eX]

[DOI]

Massimo Allevi

Alessio Dede

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

A modular and hierarchical meta-model for the control design of manufacturing systems.

[BibT_eX]

[DOI]

Alessio Dede

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

2009

A research roadmap for model-driven design of embedded systems for automation components.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Modeling and control of a thermal energy system in a building automation scenario.

[BibT_eX]

[DOI]

Marco Pernice

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Domain specific views in model-driven embedded systems design in industrial automation.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2008

Modeling and Control of Fluid Transportation Operations in Production Plants With Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2008

MMSE scores correlate with local ventricular enlargement in the spectrum from cognitively normal to Alzheimer disease.

[BibT_eX]

[DOI]

Rudi G. J. Westendorp

Eduard L. E. M. Bollen

Huub A. M. Middelkoop

Johan H. C. Reiber

Mark A. van Buchem

NeuroImage, 2008

Embedded Systems Design in Intelligent Industrial Automation.

[BibT_eX]

[DOI]

Jose L. Martinez Lastra

Allan Martel

Antonio Valentini

Valeriy Vyatkin

EURASIP J. Embed. Syst., 2008

Metamodeling Techniques Applied to the Design of Reconfigurable Control Applications.

[BibT_eX]

[DOI]

EURASIP J. Embed. Syst., 2008

Autonomous virtual mobile robot for three-dimensional medical image exploration: Application to micro-CT cochlear images.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2008

A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: A case study.

[BibT_eX]

[DOI]

Roberto Brusa

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

2007

An Incremental Petri Net-Based Approach to the Modeling of Production Sequences in Manufacturing Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2007

GAMEs: Growing and adaptive meshes for fully automatic shape modeling and analysis.

[BibT_eX]

[DOI]

Medical Image Anal., 2007

Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica.

[BibT_eX]

[DOI]

Juliano S. A. Carneiro

Simone Radaelli

Emanuele Ciapessoni

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

Ontology-driven control application design methodology.

[BibT_eX]

[DOI]

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

2006

Shape differences of the brain ventricles in Alzheimer's disease.

[BibT_eX]

[DOI]

NeuroImage, 2006

Control functions design and implementation of distributed automation systems for manufacturing applications.

[BibT_eX]

[DOI]

Int. J. Manuf. Res., 2006

Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Analysis of Ethernet-based safe automation networks according to IEC 61508.

[BibT_eX]

[DOI]

Alberto Elia

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Safety and reliability Analysis of Protection Systems for Power Systems.

[BibT_eX]

[DOI]

Leonardo Ambrosi

Emanuele Ciapessoni

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

2005

Enumeration algorithms for minimal siphons in Petri nets based on place constraints.

[BibT_eX]

[DOI]

Roberto Cordone

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

A more efficient search strategy for aging genes based on connectivity.

[BibT_eX]

[DOI]

Bioinform., 2005

Fully Automatic Shape Modelling Using Growing Cell Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2005

A NeuroFuzzy Controller for 3D Virtual Centered Navigation in Medical Images of Tubular Structures.

[BibT_eX]

[DOI]

Hans Olofsen

Johan H. C. Reiber

Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005

IEC 61499 implementation of a modular control model for manufacturing systems.

[BibT_eX]

[DOI]

Giuseppe Fogliazza

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

Petri net models of agent-based control of a FMS with randomly generated recipes.

[BibT_eX]

[DOI]

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

A Modular Approach for Deadlock Avoidance in FMS.

[BibT_eX]

[DOI]

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

A Modular Formal Model for Pallet Transportation System in Machining Centres Automation.

[BibT_eX]

[DOI]

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

An incremental Petri net approach to production sequence modeling.

[BibT_eX]

[DOI]

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

2004

Encapsulation of IEC 61499 Function Blocks Using Real-Time Java According to the RTSJ.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Automatic synthesis of multiple place resource models with Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

2003

Modular design and implementation of a logic control system for a batch process.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2003

Some results on the computation of minimal siphons in Petri nets.

[BibT_eX]

[DOI]

Roberto Cordone

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

A structured methodology for the design and implementation of control and supervision systems for robotic applications.

[BibT_eX]

[DOI]

Emanuele Carpanzano

IEEE Trans. Control. Syst. Technol., 2002

2001

Design and implementation of a modular supervisory control system of a batch process.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Hybrid modelling and simulation of process control systems.

[BibT_eX]

[DOI]

Emanuele Carpanzano

Proceedings of the 6th European Control Conference, 2001

1999

A comparative performance analysis of deadlock avoidance control algorithms for FMS.

[BibT_eX]

[DOI]

Stefano Allegri

J. Intell. Manuf., 1999

Modular modelling of hybrid phenomena.

[BibT_eX]

[DOI]

Emanuele Carpanzano

Proceedings of the 5th European Control Conference, 1999

1997

Hybrid modeling and simulation for the design of an advanced industrial robot controller.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 1997

1996

Modeling shared resources with generalized synchronization within a Petri net bottom-up approach.

[BibT_eX]

[DOI]

Massimo Trioni

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

1994

On the Reachability and Reversibility Problems in a Class of Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 1994

A new approach to modular liveness analysis conceived for large logic controllers' design.

[BibT_eX]

[DOI]

Marco Narduzzi

Massimo Tassan-Solet

IEEE Trans. Robotics Autom., 1994

1992

An incremental approach to logic controller design with Petri nets.

[BibT_eX]

[DOI]