Emanuele Mazzi

Hybrid system reduction

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2008, 2008 47th IEEE Conference on Decision and Control.

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

Alberto L. Sangiovanni-Vincentelli, Emanuele Mazzi, Luca Benvenuti, 2008, HSCC.

Complexity Reduction for the Design of Interacting Controllers

Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Emanuele Mazzi, 2007, HSCC.

Hybrid modelling and control of the common rail injection system

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2007, Int. J. Control.

A contract-based formalism for the specification of heterogeneous systems

Roberto Passerone, Christos Sofronis, Emanuele Mazzi, 2008, 2008 Forum on Specification, Verification and Design Languages.

Hybrid Modelling and Control of the Common Rail Injection System

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Andrea Balluchi, 2006, HSCC.

Composing hybrid systems

Alberto L. Sangiovanni-Vincentelli, Emanuele Mazzi, Luca Benvenuti, 2008, 2008 47th IEEE Conference on Decision and Control.

Reachability computation for hybrid systems with Ariadne

Davide Bresolin, Tiziano Villa, Alberto Sangiovanni-Vincentelli, 2008 .

Hybrid multi-rate control of the common-rail

Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi, Gabriele Serra, 2007, 2007 European Control Conference (ECC).