Pubblicazioni di Benvenuti Luca

2021

Benvenuti Luca, De Santis Alberto, Cacchione Paola
Rossi Laura, Ferrari Marika, Martone Deborah, Benvenuti Luca, De Santis Alberto

2020

Ferrari M., Benvenuti L., Rossi L., De Santis A., Sette S., Martone D., Piccinelli R., Le Donne C., Leclercq C., Turrini A.
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.
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

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

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

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

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

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

Benvenuti Luca, M. D. Di Benedetto, S. Di Gennaro, A. Sangiovanni Vincentelli
Benvenuti Luca, Farina Lorenzo
A. Balluchi, Benvenuti Luca, M. D. Benedetto, A. Sangiovanni Vincentelli
Observability for Hybrid Systems. Proceedings of the 42nd Conference on Decision and Control 2003: 1159-1164

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma