BENVENUTI, Luca
BENVENUTI, Luca
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A case study of hybrid controller synthesis of a heating system
1999 A., Balluchi; Benvenuti, Luca; T., Villa; H., Wong Toi; A., Sangiovanni Vincentelli
A contract-based formalism for the specification of heterogeneous systems
2008 Benvenuti, Luca; Alberto, Ferrari; Leonardo, Mangeruca; Emanuele, Mazzi; Roberto, Passerone; Christos, Sofronis
A geometrical representation of the spectra of four dimensional nonnegative matrices
2014 Benvenuti, Luca
A hybrid observer for the driveline dynamics
2001 A., Balluchi; Benvenuti, Luca; M. D., Di Benedetto; A., Sangiovanni Vincentelli
A lower bound on the dimension of minimal positive realizations for discrete time systems
2020 Benvenuti, L.
A note on eigenvalues location for trace zero doubly stochastic matrices
2015 Benvenuti, Luca
A note on minimality of positive realizations
1998 Benvenuti, Luca; Farina, Lorenzo
A top-down constraints-driven design methodology for powertrain control system
1998 M., Antoniotti; A., Balluchi; Benvenuti, Luca; A., Ferrari; C., Pinello; A., Sangiovanni Vincentelli; R., Flora; W., Nesci; C., Rossi; G., Serra; M., Tabaro
A tutorial on the positive realization problem
2004 Benvenuti, Luca; Farina, Lorenzo
Actual engaged gear identification: a hybrid observer approach
2005 A., Balluchi; Benvenuti, Luca; C., Lemma; A., Sangiovanni Vincentelli; G., Serra
An application of parallel satisfiability solving to the verification of complex embedded systems
2018 Ferrante, Orlando; Ferrari, Alberto; Sofronis, Christos; Mangeruca, Leonardo; Benvenuti, Luca
An example of how positivity may force realizations of 'large' dimension
1999 Benvenuti, Luca; Farina, Lorenzo
An introduction to feedback control systems
2000 Benvenuti, Luca; M. D., Di Benedetto
An optimal plan for food consumption with minimal environmental impact: the case of school lunch menus
2016 Benvenuti, Luca; De Santis, Alberto; Santesarti, Fabio; Tocca, Luigino
An upper bound on the dimension of minimal positive realizations for discrete time systems
2020 Benvenuti, Luca
Approximate output tracking for nonlinear non-minimum phase systems with an application to flight control
1994 Benvenuti, Luca; M. D., Di Benedetto; J. W., Grizzle
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis
2012 Benvenuti, Luca; Davide, Bresolin; Pieter, Collins; Alberto, Ferrari; Luca, Geretti; Tiziano, Villa
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
2014 Benvenuti, Luca; D., Bresolin; P., Collins; A., Ferrari; L., Geretti; T., Villa
Automotive control
2009 Benvenuti, Luca; Balluchi, A; Bemporad, A; DI CAIRANO, S; Johansson, B; Johansson, R; SANGIOVANNI VINCENTELLI, A; Tunestål, P.
Automotive engine and power-train control: a comprehensive hybrid model
2000 A., Balluchi; Benvenuti, Luca; M. D., Di Benedetto; C., Pinello; A., Sangiovanni Vincentelli
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A case study of hybrid controller synthesis of a heating system | 1999 | A., Balluchi; Benvenuti, Luca; T., Villa; H., Wong Toi; A., Sangiovanni Vincentelli | |
| A contract-based formalism for the specification of heterogeneous systems | 2008 | Benvenuti, Luca; Alberto, Ferrari; Leonardo, Mangeruca; Emanuele, Mazzi; Roberto, Passerone; Christos, Sofronis | |
| A geometrical representation of the spectra of four dimensional nonnegative matrices | 2014 | Benvenuti, Luca | |
| A hybrid observer for the driveline dynamics | 2001 | A., Balluchi; Benvenuti, Luca; M. D., Di Benedetto; A., Sangiovanni Vincentelli | |
| A lower bound on the dimension of minimal positive realizations for discrete time systems | 2020 | Benvenuti, L. | |
| A note on eigenvalues location for trace zero doubly stochastic matrices | 2015 | Benvenuti, Luca | |
| A note on minimality of positive realizations | 1998 | Benvenuti, Luca; Farina, Lorenzo | |
| A top-down constraints-driven design methodology for powertrain control system | 1998 | M., Antoniotti; A., Balluchi; Benvenuti, Luca; A., Ferrari; C., Pinello; A., Sangiovanni Vincentelli; R., Flora; W., Nesci; C., Rossi; G., Serra; M., Tabaro | |
| A tutorial on the positive realization problem | 2004 | Benvenuti, Luca; Farina, Lorenzo | |
| Actual engaged gear identification: a hybrid observer approach | 2005 | A., Balluchi; Benvenuti, Luca; C., Lemma; A., Sangiovanni Vincentelli; G., Serra | |
| An application of parallel satisfiability solving to the verification of complex embedded systems | 2018 | Ferrante, Orlando; Ferrari, Alberto; Sofronis, Christos; Mangeruca, Leonardo; Benvenuti, Luca | |
| An example of how positivity may force realizations of 'large' dimension | 1999 | Benvenuti, Luca; Farina, Lorenzo | |
| An introduction to feedback control systems | 2000 | Benvenuti, Luca; M. D., Di Benedetto | |
| An optimal plan for food consumption with minimal environmental impact: the case of school lunch menus | 2016 | Benvenuti, Luca; De Santis, Alberto; Santesarti, Fabio; Tocca, Luigino | |
| An upper bound on the dimension of minimal positive realizations for discrete time systems | 2020 | Benvenuti, Luca | |
| Approximate output tracking for nonlinear non-minimum phase systems with an application to flight control | 1994 | Benvenuti, Luca; M. D., Di Benedetto; J. W., Grizzle | |
| Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis | 2012 | Benvenuti, Luca; Davide, Bresolin; Pieter, Collins; Alberto, Ferrari; Luca, Geretti; Tiziano, Villa | |
| Assume-guarantee verification of nonlinear hybrid systems with ARIADNE | 2014 | Benvenuti, Luca; D., Bresolin; P., Collins; A., Ferrari; L., Geretti; T., Villa | |
| Automotive control | 2009 | Benvenuti, Luca; Balluchi, A; Bemporad, A; DI CAIRANO, S; Johansson, B; Johansson, R; SANGIOVANNI VINCENTELLI, A; Tunestål, P. | |
| Automotive engine and power-train control: a comprehensive hybrid model | 2000 | A., Balluchi; Benvenuti, Luca; M. D., Di Benedetto; C., Pinello; A., Sangiovanni Vincentelli |