Pubblicazioni di Benvenuti Luca
2023
Benvenuti L, Farina L
Positive Dynamical Systems: New Applications, Old Problems. INTERNATIONAL JOURNAL OF CONTROL, AUTOMATION, AND SYSTEMS 2023: 837-844
2022
Benvenuti L.
Minimal positive realizations: A survey. AUTOMATICA 2022: -
Finamore Alberto, Benvenuti Luca, De Santis Alberto, Cinti Serena, Rossi Laura
Benvenuti Luca, De Santis Alberto, Ferrari Marika, Martone Deborah, Rossi Laura
The carbon footprint of Italian schools meals: An optimal choice of dishes in vegan, vegetarian, and omnivorous menus. FRONTIERS IN NUTRITION 2022: -
2021
Benvenuti Luca, De Santis Alberto, Cacchione Paola
Multi-indicator design and assessment of sustainable diet plans. JOURNAL OF CLEANER PRODUCTION 2021: -
Rossi Laura, Ferrari Marika, Martone Deborah, Benvenuti Luca, De Santis Alberto
2020
Benvenuti L.
A lower bound on the dimension of minimal positive realizations for discrete time systems. SYSTEMS & CONTROL LETTERS 2020: -
Benvenuti Luca
An upper bound on the dimension of minimal positive realizations for discrete time systems. SYSTEMS & CONTROL LETTERS 2020: 104779-
Ferrari M., Benvenuti L., Rossi L., De Santis A., Sette S., Martone D., Piccinelli R., Le Donne C., Leclercq C., Turrini A.
Benvenuti L., De Santis A.
Making a Sustainable Diet Acceptable: An Emerging Programming Model With Applications to Schools and Nursing Homes Menus. FRONTIERS IN NUTRITION 2020: -
Benvenuti Luca
The NIEP and the positive realization problem. THE ELECTRONIC JOURNAL OF LINEAR ALGEBRA 2020: 367-384
2019
Benvenuti L., De Santis A., Di Sero A., Franco N.
Concurrent economic and environmental impacts of food consumption: are low emissions diets affordable?. JOURNAL OF CLEANER PRODUCTION 2019: -
Benvenuti L.
The inverse eigenvalue problem for leslie matrices. THE ELECTRONIC JOURNAL OF LINEAR ALGEBRA 2019: 319-330
2018
Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca
An application of parallel satisfiability solving to the verification of complex embedded systems. Handbook of parallel constraint reasoning 2018: 617-632
Benvenuti Luca
The NIEP for four dimensional Leslie and doubly stochastic matrices with zero trace from the coefficients of the characteristic polynomial. LINEAR ALGEBRA AND ITS APPLICATIONS 2018: 286-298
2017
Benvenuti L., Farina L.
Revisiting the linear recursions with nonnegative coefficients problem. LINEAR ALGEBRA AND ITS APPLICATIONS 2017: 191-194
2016
Benvenuti Luca, De Santis Alberto, Santesarti Fabio, Tocca Luigino
An optimal plan for food consumption with minimal environmental impact: the case of school lunch menus. JOURNAL OF CLEANER PRODUCTION 2016: 704-713
2015
Benvenuti Luca
A note on eigenvalues location for trace zero doubly stochastic matrices. THE ELECTRONIC JOURNAL OF LINEAR ALGEBRA 2015: 599-604
2014
Benvenuti Luca
A geometrical representation of the spectra of four dimensional nonnegative matrices. LINEAR ALGEBRA AND ITS APPLICATIONS 2014: 162-180
Benvenuti Luca, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, T. Villa
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL 2014: 699-724
2013
Benvenuti Luca
Minimal positive realizations of transfer functions with real poles. IEEE TRANSACTIONS ON AUTOMATIC CONTROL 2013: 1013-1017
Andrea Balluchi, Benvenuti Luca, Maria D. Di Benedetto, Alberto Sangiovanni Vincentelli
2012
Benvenuti Luca, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis. Reachability Problems 2012: 79-91
O. Ferrante, Benvenuti Luca, L. Mangeruca, C. Sofronis, A. Ferrari
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. Computer Safety, Reliability, and Security 2012: 409-416
2011
Benvenuti Luca
On the reachable set for third-order linear discrete-time systems with positive control. SYSTEMS & CONTROL LETTERS 2011: 690-698
Benvenuti Luca
On the reachable set for third-order linear discrete-time systems with positive control: The case of complex eigenvalues. SYSTEMS & CONTROL LETTERS 2011: 1000-1008
2009
Benvenuti Luca, Balluchi A, Bemporad A, DI CAIRANO S, Johansson B, Johansson R, SANGIOVANNI VINCENTELLI A, Tunestål P.
Automotive control. Handbook of Hybrid Systems Control 2009: 439-470
Benvenuti Luca, DE SANTIS Alberto, Farina Lorenzo
Sistemi dinamici. Modellistica, analisi e controllo. Sistemi dinamici. Modellistica, analisi e controllo 2009: -
Benvenuti Luca, Farina Lorenzo
The Importance of Being Positive: Admissible Dynamics for Positive Systems. Positive systems 2009: 55-62
2008
BENVENUTI Luca, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
A contract-based formalism for the specification of heterogeneous systems. Proceedings of the Forum on Specification & Design Languages 2008: 142-147
BENVENUTI Luca, Alberto Ferrari, Emanuele Mazzi, A. Sangiovanni Vincentelli
Composing hybrid systems. Proceedings of the 47th IEEE Conference on Decision and Control 2008: 4693-4699
Benvenuti Luca, A. Ferrari, E. Mazzi, A. Sangiovanni Vincentelli
Contract-based design for computation and verification of a closed-loop hybrid system. Hybrid Systems: Computation and Control 2008: 58-71
BENVENUTI Luca, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, A. Sangiovanni Vincentelli, T. Villa
Reachability computation for hybrid systems with Ariadne. IFAC PROCEEDINGS VOLUMESProceedings of the 17th IFAC World Congress 2008: 8960-8965
2006
Benvenuti L., Farina L.
Erratum: "A note on minimality of positive realizations" (IEEE Transactions on Circuits and Systems). IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS. I, REGULAR PAPERS 2006: 215-215
Balluchi A, Benvenuti Luca, Ferrari A, SANGIOVANNI VINCENTELLI A. L.
Hybrid systems in automotive electronics design. INTERNATIONAL JOURNAL OF CONTROL 2006: 375-394
Andrea Balluchi, Benvenuti Luca, Maria D. Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni Vincentelli
Idle speed control - a benchmark for hybrid system research. Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems 2006: 259-264
Benvenuti Luca, Farina Lorenzo
Nonnegative matrices in digital signal processing. SIGNAL PROCESSING 2006: 2388-2392
Benvenuti Luca, Farina Lorenzo
The geometry of the reachability set for linear discrete-time systems with positive controls. SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONSProceedings of the 16th International Symposium on the Mathematical Theory of Networks and Systems 2006: 306-325
Benvenuti Luca
The positive realization problem: past and future challenges. 978-3-540-34771-2 2006: 11-18
2005
A. Balluchi, BENVENUTI Luca, C. Lemma, A. Sangiovanni Vincentelli, G. Serra
Actual engaged gear identification: a hybrid observer approach. Proceedings of the 16th IFAC World Congress 2005: 13-18
Balluchi A, Benvenuti Luca, Engell S, Geyer T, JOHANSSON K. H, LAMNABHI LAGARRIGUE F, Lygeros J, Morari M, Papafotiou G, SANGIOVANNI VINCENTELLI A. L, Santucci F, Stursberg O.
Hybrid control of networked embedded systems. EUROPEAN JOURNAL OF CONTROL 2005: 478-508
A. Balluchi, BENVENUTI Luca, A. Sangiovanni Vincentelli
Hybrid systems in automotive electronics design. Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference 2005 2005: 5618-5623
2004
Benvenuti Luca, Farina Lorenzo
A tutorial on the positive realization problem. IEEE TRANSACTIONS ON AUTOMATIC CONTROL 2004: 651-664
A. Balluchi, Benvenuti Luca, A. Sangiovanni Vincentelli
Discrete and continuous structural properties for observability. Proceedings of the 16th International Symposium on the Mathematical Theory of Networks and Systems 2004: -
Benvenuti Luca, Farina Lorenzo
Eigenvalue regions for positive systems. SYSTEMS & CONTROL LETTERS 2004: 325-330
A. Casagrande, A. Balluchi, Benvenuti Luca, A. Policriti, T. Villa, A. Sangiovanni Vincentelli
Improving reachability analysis of hybrid automata for engine control. Proceedings of the 43rd Conference on Decision and Control 2004: 2322-2327
Benvenuti Luca, DE SANTIS Alberto, Farina Lorenzo
Positive Filters with Charge Routing Networks for Image Processing. Proceedings of the 16th International Symposium on the Mathematical Theory of Networks and Systems 2004: -
Benvenuti L., Farina Lorenzo
The geometry of the reachability cone for discrete-time systems. International Symposium on Mathematical Theory of Networks and Systems 2004: -
2003
Andrea Balluchi, Benvenuti Luca, Tiziano Villa, Howard Wong Toi, Alberto L. Sangiovanni Vincentelli
Controller synthesis for hybrid systems with a lower bound on event separation. INTERNATIONAL JOURNAL OF CONTROL 2003: 1171-1200
A. Balluchi, Benvenuti Luca, M. D. Di Benedetto, A. Sangiovanni Vincentelli
Idle speed controller synthesis using an assume-guarantee approach. Nonlinear and Hybrid Systems in Automotive Control 2003: 229-243