Luca Benvenuti

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 4

Top Topics

Design Methodology

Random Variables

Fuel Consumption

Top Venues

Syst. Control. Lett.

IEEE Trans. Aerosp. Electron. Syst.

Publications

Luca Benvenuti, Alberto De Santis
A Design Methodology for Commercial Aircraft Formation Flight Plans With Minimal Fuel Consumption. IEEE Trans. Aerosp. Electron. Syst. 60 (4) (2024)
Luca Benvenuti
Minimal positive realizations: A survey. Autom. 143 (2022)
Luca Benvenuti
A lower bound on the dimension of minimal positive realizations for discrete time systems. Syst. Control. Lett. 135 (2020)
Luca Benvenuti
An upper bound on the dimension of minimal positive realizations for discrete time systems. Syst. Control. Lett. 145 (2020)
Luca Benvenuti, Christoph Kloss, Stefan Pirker
Characterization of DEM particles by means of artificial neural networks and macroscopic experiments. EANN Workshops (2015)
Luca Benvenuti
Minimal Positive Realizations of Transfer Functions With Real Poles. IEEE Trans. Autom. Control. 58 (4) (2013)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem. Autom. 49 (4) (2013)
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Luca Benvenuti
On the reachable set for third-order linear discrete-time systems with positive control: The case of complex eigenvalues. Syst. Control. Lett. 60 (12) (2011)
Luca Benvenuti
On the reachable set for third-order linear discrete-time systems with positive control. Syst. Control. Lett. 60 (9) (2011)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Composing hybrid systems. CDC (2008)
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL (2008)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC (2008)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Idle Speed control - a Benchmark for Hybrid System Research1. ADHS (2006)
Luca Benvenuti, Lorenzo Farina
The Geometry of the Reachability Set for Linear Discrete-time Systems with Positive Controls. SIAM J. Matrix Anal. Appl. 28 (2) (2006)
Luca Benvenuti
The Positive Realization Problem: Past and Future Challenges. POSTA (2006)
Luca Benvenuti, Lorenzo Farina
Nonnegative matrices in digital signal processing. Signal Process. 86 (9) (2006)
Luca Benvenuti, Lorenzo Farina
Correction to "A Note on Minimality of Positive Realizations". IEEE Trans. Circuits Syst. I Regul. Pap. (1) (2006)
Andrea Balluchi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli
Hybrid Systems in Automotive Electronics Design. CDC/ECC (2005)
Andrea Balluchi, Luca Benvenuti, Sebastian Engell, Tobias Geyer, Karl Henrik Johansson, Françoise Lamnabhi-Lagarrigue, John Lygeros, Manfred Morari, Georgios Papafotiou, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Olaf Stursberg
Hybrid Control of Networked Embedded Systems. Eur. J. Control 11 (4-5) (2005)
Luca Benvenuti, Lorenzo Farina
Eigenvalue regions for positive systems. Syst. Control. Lett. 51 (3-4) (2004)
Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Improving reachability analysis of hybrid automata for engine control. CDC (2004)
Luca Benvenuti, Lorenzo Farina
A tutorial on the positive realization problem. IEEE Trans. Autom. Control. 49 (5) (2004)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
Observability for hybrid systems. CDC (2003)
Luca Benvenuti, Lorenzo Farina
Minimal positive realizations: a survey of recent results and open problems. Kybernetika 39 (2) (2003)
Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
Individual cylinder characteristic estimation for a spark injection engine. Autom. 39 (7) (2003)
Luca Benvenuti, Lorenzo Farina
How many compartments do we really need? [LTI systems]. ACC (2002)
Luca Benvenuti, Alberto De Santis, Lorenzo Farina
Embedding a-priori positivity in systems modelling. ACC (2002)
Luca Benvenuti, Lorenzo Farina
Positive and compartmental systems. IEEE Trans. Autom. Control. 47 (2) (2002)
Luca Benvenuti, Alberto De Santis, Lorenzo Farina
On model consistency in compartmental systems identification. Autom. 38 (11) (2002)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
Design of Observers for Hybrid Systems. HSCC (2002)
Luca Benvenuti, Lorenzo Farina
Linear programming approach to constrained feedback control. Int. J. Syst. Sci. 33 (1) (2002)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
A hybrid observer for the driveline dynamics. ECC (2001)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 88 (7) (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Hybrid controller synthesis for idle speed management of an automotive engine. ACC (2000)
A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
A case study of hybrid controller synthesis of a heating system. ECC (1999)
Lorenzo Farina, Luca Benvenuti
Polyhedral reachable set with positive controls. Math. Control. Signals Syst. 10 (4) (1997)
Luca Benvenuti, Lorenzo Farina
Discrete-time filtering via charge routing networks. Signal Process. 49 (3) (1996)