Emanuele Mazzi

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi
Hybrid system reduction. CDC (2008)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Composing hybrid systems. CDC (2008)
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL (2008)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC (2008)
Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
Hybrid modelling and control of the common rail injection system. Int. J. Control 80 (11) (2007)
Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Complexity Reduction for the Design of Interacting Controllers. HSCC (2007)
Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
Hybrid Modelling and Control of the Common Rail Injection System. HSCC (2006)