Concepedia

Emanuele Mazzi

EM

Statistics

Publications

4

Citations

123

H-Index

4

Active since

2007

Affiliations

University of California, Berkeley(Current)

University of Pisa

Piaggio (Italy)

Sapienza University of Rome

Emanuele Mazzi is an author at University of California, Berkeley specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringFormal MethodsProcess ControlFormal VerificationModeling And SimulationDesignBusinessMechatronics

Publications per year

2007–2008

4

Publications

4

A contract-based formalism for the specification of heterogeneous systems

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca et al. · 2008 · 42 citations

Engineering, Verification, Software Engineering +19

Reachability computation for hybrid systems with Ariadne

Luca Benvenuti, Davide Bresolin, Alberto Casagrande et al. · IFAC Proceedings Volumes · 2008 · 35 citations · Full text

Reachability Analysis, Engineering, Reachability Problem +7

Hybrid modelling and control of the common rail injection system

A. Balluchi, Antonio Bicchi, Emanuele Mazzi et al. · International Journal of Control · 2007 · 27 citations

Railway Traffic, Engineering, Powertrain Simulation +17

Hybrid system reduction

Emanuele Mazzi, Alberto Sangiovanni‐Vincentelli, A. Balluchi et al. · 2008 · 19 citations

Reduced Order Modeling, Balanced Residualization, Engineering +14

1–4 of 4