Emanuele Mazzi

According to our database, Emanuele Mazzi authored at least 6 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis

Proceedings of the Forum on specification and Design Languages, 2008

Hybrid system reduction.

Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Composing hybrid systems.

Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

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

Complexity Reduction for the Design of Interacting Controllers.

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

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007