Luca Benvenuti

43 papers C 4Journal 23Unranked 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Design Methodology for Commercial Aircraft Formation Flight Plans With Minimal Fuel Consumption.
IEEE Trans. Aerosp. Electron. Syst.
Luca Benvenuti, Alberto De Santis
2024 J jnl
Designing sustainable diet plans by solving triobjective integer programs.
Math. Methods Oper. Res.
Luca Benvenuti, Alberto De Santis, Marianna De Santis, Daniele Patria
2022 J jnl
Minimal positive realizations: A survey.
Autom.
Luca Benvenuti
2020 J jnl
A lower bound on the dimension of minimal positive realizations for discrete time systems.
Syst. Control. Lett.
Luca Benvenuti
2020 J jnl
An upper bound on the dimension of minimal positive realizations for discrete time systems.
Syst. Control. Lett.
Luca Benvenuti
2018 — ch.
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.
Handbook of Parallel Constraint Reasoning
Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti
2015 — conf
Characterization of DEM particles by means of artificial neural networks and macroscopic experiments.
EANN Workshops
Luca Benvenuti, Christoph Kloss, Stefan Pirker
2013 J jnl
Minimal Positive Realizations of Transfer Functions With Real Poles.
IEEE Trans. Autom. Control.
Luca Benvenuti
2013 J jnl
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem.
Autom.
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2012 — conf
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
RP
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
2012 — conf
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
SAFECOMP Workshops
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
2011 J jnl
On the reachable set for third-order linear discrete-time systems with positive control.
Syst. Control. Lett.
Luca Benvenuti
2011 J jnl
On the reachable set for third-order linear discrete-time systems with positive control: The case of complex eigenvalues.
Syst. Control. Lett.
Luca Benvenuti
2008 C conf
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
2008 — conf
Composing hybrid systems.
CDC
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
2008 — conf
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.
HSCC
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
Correction to "A Note on Minimality of Positive Realizations".
IEEE Trans. Circuits Syst. I Regul. Pap.
Luca Benvenuti, Lorenzo Farina
2006 — conf
Idle Speed control - a Benchmark for Hybrid System Research1.
ADHS
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
Nonnegative matrices in digital signal processing.
Signal Process.
Luca Benvenuti, Lorenzo Farina
2006 J jnl
The Geometry of the Reachability Set for Linear Discrete-time Systems with Positive Controls.
SIAM J. Matrix Anal. Appl.
Luca Benvenuti, Lorenzo Farina
2006 — conf
The Positive Realization Problem: Past and Future Challenges.
POSTA
Luca Benvenuti
2005 J jnl
Hybrid Control of Networked Embedded Systems.
Eur. J. Control
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
2005 — conf
Hybrid Systems in Automotive Electronics Design.
CDC/ECC
Andrea Balluchi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli
2004 J jnl
A tutorial on the positive realization problem.
IEEE Trans. Autom. Control.
Luca Benvenuti, Lorenzo Farina
2004 J jnl
Eigenvalue regions for positive systems.
Syst. Control. Lett.
Luca Benvenuti, Lorenzo Farina
2004 — conf
Improving reachability analysis of hybrid automata for engine control.
CDC
Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2003 J jnl
Individual cylinder characteristic estimation for a spark injection engine.
Autom.
Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2003 J jnl
Minimal positive realizations: a survey of recent results and open problems.
Kybernetika
Luca Benvenuti, Lorenzo Farina
2003 — conf
Observability for hybrid systems.
CDC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2003 — ed.
Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003
POSTA
Luca Benvenuti, Alberto De Santis, Lorenzo Farina
2002 — conf
Design of Observers for Hybrid Systems.
HSCC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2002 C conf
Embedding a-priori positivity in systems modelling.
ACC
Luca Benvenuti, Alberto De Santis, Lorenzo Farina
2002 C conf
How many compartments do we really need? [LTI systems].
ACC
Luca Benvenuti, Lorenzo Farina
2002 J jnl
Linear programming approach to constrained feedback control.
Int. J. Syst. Sci.
Luca Benvenuti, Lorenzo Farina
2002 J jnl
On model consistency in compartmental systems identification.
Autom.
Luca Benvenuti, Alberto De Santis, Lorenzo Farina
2002 J jnl
Positive and compartmental systems.
IEEE Trans. Autom. Control.
Luca Benvenuti, Lorenzo Farina
2001 — conf
A hybrid observer for the driveline dynamics.
ECC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2000 J jnl
Automotive engine control and hybrid systems: challenges and opportunities.
Proc. IEEE
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2000 C conf
Hybrid controller synthesis for idle speed management of an automotive engine.
ACC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000 — conf
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
HSCC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
1999 — conf
A case study of hybrid controller synthesis of a heating system.
ECC
A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Polyhedral reachable set with positive controls.
Math. Control. Signals Syst.
Lorenzo Farina, Luca Benvenuti
1996 J jnl
Discrete-time filtering via charge routing networks.
Signal Process.
Luca Benvenuti, Lorenzo Farina