Discrete-time filtering via charge routing networks. - Luca Benvenuti; Lorenzo Farina (Signal Process., 1996)

Polyhedral reachable set with positive controls. - Lorenzo Farina; Luca Benvenuti (Math. Control. Signals Syst., 1997)

A case study of hybrid controller synthesis of a heating system. - A. Balluchif; Luca Benvenuti; T. Villas; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ECC, 1999)

Hybrid controller synthesis for idle speed management of an automotive engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ACC, 2000)

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Guido M. Miconi; Ugo Pozzi; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2000)

Automotive engine control and hybrid systems: challenges and opportunities. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2000)

A hybrid observer for the driveline dynamics. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (ECC, 2001)

How many compartments do we really need? [LTI systems]. - Luca Benvenuti; Lorenzo Farina (ACC, 2002)

Embedding a-priori positivity in systems modelling. - Luca Benvenuti; Alberto De Santis; Lorenzo Farina (ACC, 2002)

Design of Observers for Hybrid Systems. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (HSCC, 2002)

On model consistency in compartmental systems identification. - Luca Benvenuti; Alberto De Santis; Lorenzo Farina (Autom., 2002)

Linear programming approach to constrained feedback control. - Luca Benvenuti; Lorenzo Farina (Int. J. Syst. Sci., 2002)

Positive and compartmental systems. - Luca Benvenuti; Lorenzo Farina (IEEE Trans. Autom. Control., 2002)

Observability for hybrid systems. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (CDC, 2003)

Individual cylinder characteristic estimation for a spark injection engine. - Luca Benvenuti; Maria Domenica Di Benedetto; Stefano Di Gennaro; Alberto L. Sangiovanni-Vincentelli (Autom., 2003)

Minimal positive realizations: a survey of recent results and open problems. - Luca Benvenuti; Lorenzo Farina (Kybernetika, 2003)

Improving reachability analysis of hybrid automata for engine control. - Alberto Casagrande; Andrea Balluchi; Luca Benvenuti; Alberto Policriti; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (CDC, 2004)

Eigenvalue regions for positive systems. - Luca Benvenuti; Lorenzo Farina (Syst. Control. Lett., 2004)

A tutorial on the positive realization problem. - Luca Benvenuti; Lorenzo Farina (IEEE Trans. Autom. Control., 2004)

Hybrid Systems in Automotive Electronics Design. - Andrea Balluchi; Luca Benvenuti; Alberto L. Sangiovanni-Vincentelli (CDC/ECC, 2005)

Hybrid Control of Networked Embedded Systems. - 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 (Eur. J. Control, 2005)

Idle Speed control - a Benchmark for Hybrid System Research1. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (ADHS, 2006)

The Positive Realization Problem: Past and Future Challenges. - Luca Benvenuti (POSTA, 2006)

The Geometry of the Reachability Set for Linear Discrete-time Systems with Positive Controls. - Luca Benvenuti; Lorenzo Farina (SIAM J. Matrix Anal. Appl., 2006)

Nonnegative matrices in digital signal processing. - Luca Benvenuti; Lorenzo Farina (Signal Process., 2006)

Correction to "A Note on Minimality of Positive Realizations". - Luca Benvenuti; Lorenzo Farina (IEEE Trans. Circuits Syst. I Regul. Pap., 2006)

Composing hybrid systems. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (CDC, 2008)

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). - Luca Benvenuti; Alberto Ferrari; Leonardo Mangeruca; Emanuele Mazzi; Roberto Passerone; Christos Sofronis (FDL, 2008)

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2008)

On the reachable set for third-order linear discrete-time systems with positive control. - Luca Benvenuti (Syst. Control. Lett., 2011)

On the reachable set for third-order linear discrete-time systems with positive control: The case of complex eigenvalues. - Luca Benvenuti (Syst. Control. Lett., 2011)

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. - Luca Benvenuti; Davide Bresolin; Pieter Collins; Alberto Ferrari; Luca Geretti; Tiziano Villa (RP, 2012)

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. - Orlando Ferrante; Luca Benvenuti; Leonardo Mangeruca; Christos Sofronis; Alberto Ferrari (SAFECOMP Workshops, 2012)

The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (Autom., 2013)

Minimal Positive Realizations of Transfer Functions With Real Poles. - Luca Benvenuti (IEEE Trans. Autom. Control., 2013)

Characterization of DEM particles by means of artificial neural networks and macroscopic experiments. - Luca Benvenuti; Christoph Kloss; Stefan Pirker (EANN Workshops, 2015)

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. - Orlando Ferrante; Alberto Ferrari; Christos Sofronis; Leonardo Mangeruca; Luca Benvenuti (Handbook of Parallel Constraint Reasoning, 2018)

A lower bound on the dimension of minimal positive realizations for discrete time systems. - Luca Benvenuti (Syst. Control. Lett., 2020)

An upper bound on the dimension of minimal positive realizations for discrete time systems. - Luca Benvenuti (Syst. Control. Lett., 2020)

Minimal positive realizations: A survey. - Luca Benvenuti (Autom., 2022)

A Design Methodology for Commercial Aircraft Formation Flight Plans With Minimal Fuel Consumption. - Luca Benvenuti; Alberto De Santis (IEEE Trans. Aerosp. Electron. Syst., 2024)

Designing sustainable diet plans by solving triobjective integer programs. - Luca Benvenuti; Alberto De Santis; Marianna De Santis; Daniele Patria (Math. Methods Oper. Res., 2024)