Mauro Mazzolini

According to our database, Mauro Mazzolini authored at least 7 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Design of an Intelligent Handling System using a Multi-Objective Optimization Approach.

Tommaso Bonini, Andrea Forni, Mauro Mazzolini

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

2015

An approach to design and develop reconfigurable control software for highly automated production systems.

Anna Valente, Mauro Mazzolini, Emanuele Carpanzano

Int. J. Comput. Integr. Manuf., 2015

2014

Automated formal verification for flexible manufacturing systems.

Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi

J. Intell. Manuf., 2014

CPS-based hierarchical and self-similar automation architecture for the control and verification of reconfigurable manufacturing systems.

Alessandro Brusaferri, Andrea Ballarino, Franco Antonio Cavadini, Diego Manzocchi, Mauro Mazzolini

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

2013

Integrated software platform for advanced design and optimization of industrial manufacturing control system.

Franco Antonio Cavadini, Diego Manzocchi, Mauro Mazzolini, Alessandro Brusaferri

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

2012

Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions.

Emanuele Carpanzano, Mauro Mazzolini, Andrea Orlandini, Anna Valente, Amedeo Cesta, F. Marino, Riccardo Rasconi

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

2010

Model-Checking based Verification approach for advanced Industrial Automation solutions.

Mauro Mazzolini, Alessandro Brusaferri, Emanuele Carpanzano

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