| 2008 |
|---|
| 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 |
