2008 |
6 | EE | 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: 142-147 |
5 | EE | 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: 58-71 |
2006 |
4 | EE | Luca Benvenuti,
Lorenzo Farina:
Nonnegative matrices in digital signal processing.
Signal Processing 86(9): 2388-2392 (2006) |
2003 |
3 | | Luca Benvenuti,
Alberto De Santis,
Lorenzo Farina:
Positive Systems, Proceedings of the First Multidisciplinary InternationalSymposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy,August 28-30, 2003
Springer 2003 |
2002 |
2 | EE | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems.
HSCC 2002: 76-89 |
2000 |
1 | EE | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Guido M. Miconi,
Ugo Pozzi,
Tiziano Villa,
Howard Wong-Toi,
Alberto L. Sangiovanni-Vincentelli:
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
HSCC 2000: 32-44 |