Search the dblp DataBase

Publications of Author

1. Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
   Hybrid Modelling and Control of the Common Rail Injection System. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:79-92 [Conf]
   
2. Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
   Complexity Reduction for the Design of Interacting Controllers. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:46-60 [Conf]
   
3. 
   Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. [Citation Graph (, )][DBLP]
   
   
4. 
   A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). [Citation Graph (, )][DBLP]
   
   
5. 
   Hybrid system reduction. [Citation Graph (, )][DBLP]
   
   
6. 
   Composing hybrid systems. [Citation Graph (, )][DBLP]