Login / Signup
Mauro Mazzolini
Publication Activity (10 Years)
Years Active: 2010-2018
Publications (10 Years): 1
Top Topics
Formal Verification
Control Software
Environmental Conditions
Hierarchical Architecture
Top Venues
ETFA
J. Intell. Manuf.
Int. J. Comput. Integr. Manuf.
</>
Publications
</>
Tommaso Bonini
,
Andrea Forni
,
Mauro Mazzolini
Design of an Intelligent Handling System using a Multi-Objective Optimization Approach.
ETFA
(2018)
Anna Valente
,
Mauro Mazzolini
,
Emanuele Carpanzano
An approach to design and develop reconfigurable control software for highly automated production systems.
Int. J. Comput. Integr. Manuf.
28 (3) (2015)
Alessandro Brusaferri
,
Andrea Ballarino
,
Franco Antonio Cavadini
,
Diego Manzocchi
,
Mauro Mazzolini
CPS-based hierarchical and self-similar automation architecture for the control and verification of reconfigurable manufacturing systems.
ETFA
(2014)
Emanuele Carpanzano
,
Luca Ferrucci
,
Dino Mandrioli
,
Mauro Mazzolini
,
Angelo Morzenti
,
Matteo Rossi
Automated formal verification for flexible manufacturing systems.
J. Intell. Manuf.
25 (5) (2014)
Franco Antonio Cavadini
,
Diego Manzocchi
,
Mauro Mazzolini
,
Alessandro Brusaferri
Integrated software platform for advanced design and optimization of industrial manufacturing control system.
ETFA
(2013)
Emanuele Carpanzano
,
Mauro Mazzolini
,
Andrea Orlandini
,
Anna Valente
,
Amedeo Cesta
,
F. Marino
,
Riccardo Rasconi
Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions.
ETFA
(2012)
Mauro Mazzolini
,
Alessandro Brusaferri
,
Emanuele Carpanzano
Model-Checking based Verification approach for advanced Industrial Automation solutions.
ETFA
(2010)