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 Design Methodology for Commercial Aircraft Formation Flight Plans with Minimal Fuel Consumption
2024 Benvenuti, L.; De Santis, A.
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.