BENVENUTI, Luca

BENVENUTI, Luca  

DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-  

Mostra prodotti
Risultati 1 - 20 di 99 (tempo di esecuzione: 0.08 secondi).
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 hybrid observer for the driveline dynamics 2001 A., Balluchi; Benvenuti, Luca; M. D., Di Benedetto; A., Sangiovanni Vincentelli
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 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 application of parallel satisfiability solving to the verification of complex embedded systems 2018 Ferrante, Orlando; Ferrari, Alberto; Sofronis, Christos; Mangeruca, Leonardo; 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
Automotive engine control and hybrid systems: challenges and opportunities 2000 Balluchi, A.; Benvenuti, Luca; DI BENEDETTO, M. D.; Pinello, C.; SANGIOVANNI VINCENTELLI, A.
The carbon footprint of Italian schools meals: An optimal choice of dishes in vegan, vegetarian, and omnivorous menus 2022 Benvenuti, Luca; De Santis, Alberto; Ferrari, Marika; Martone, Deborah; Rossi, Laura
Composing hybrid systems 2008 Benvenuti, Luca; Alberto, Ferrari; Emanuele, Mazzi; A., Sangiovanni Vincentelli
Concurrent economic and environmental impacts of food consumption: are low emissions diets affordable? 2019 Benvenuti, L.; De Santis, A.; Di Sero, A.; Franco, N.
Constrained control for uncertain discrete-time linear systems 1998 Benvenuti, Luca; Farina, Lorenzo