Complexity Reduction for the Design of Interacting Controllers. - Andrea Balluchi; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2007)

Hybrid modelling and control of the common rail injection system. - Andrea Balluchi; Antonio Bicchi; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli; Gabriele Serra (Int. J. Control, 2007)

Composing hybrid systems. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (CDC, 2008)

Hybrid system reduction. - Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli; Andrea Balluchi; Antonio Bicchi (CDC, 2008)

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). - Luca Benvenuti; Alberto Ferrari; Leonardo Mangeruca; Emanuele Mazzi; Roberto Passerone; Christos Sofronis (FDL, 2008)

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2008)