default search action
Luca Benvenuti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]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): 4157-4169 (2024) - 2022
- [j21]Luca Benvenuti:
Minimal positive realizations: A survey. Autom. 143: 110422 (2022) - 2020
- [j20]Luca Benvenuti:
A lower bound on the dimension of minimal positive realizations for discrete time systems. Syst. Control. Lett. 135: 104595 (2020) - [j19]Luca Benvenuti:
An upper bound on the dimension of minimal positive realizations for discrete time systems. Syst. Control. Lett. 145: 104779 (2020)
2010 – 2019
- 2018
- [p1]Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti:
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. Handbook of Parallel Constraint Reasoning 2018: 617-632 - 2015
- [c18]Luca Benvenuti, Christoph Kloss, Stefan Pirker:
Characterization of DEM particles by means of artificial neural networks and macroscopic experiments. EANN Workshops 2015: 4:1-4:8 - 2013
- [j18]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): 915-925 (2013) - [j17]Luca Benvenuti:
Minimal Positive Realizations of Transfer Functions With Real Poles. IEEE Trans. Autom. Control. 58(4): 1013-1017 (2013) - 2012
- [c17]Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 - [c16]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: 409-416 - 2011
- [j16]Luca Benvenuti:
On the reachable set for third-order linear discrete-time systems with positive control. Syst. Control. Lett. 60(9): 690-698 (2011) - [j15]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): 1000-1008 (2011)
2000 – 2009
- 2008
- [c15]Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Composing hybrid systems. CDC 2008: 4693-4699 - [c14]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: 142-147 - [c13]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: 58-71 - 2006
- [j14]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): 306-325 (2006) - [j13]Luca Benvenuti, Lorenzo Farina:
Nonnegative matrices in digital signal processing. Signal Process. 86(9): 2388-2392 (2006) - [j12]Luca Benvenuti, Lorenzo Farina:
Correction to "A Note on Minimality of Positive Realizations". IEEE Trans. Circuits Syst. I Regul. Pap. 53-I(1): 215 (2006) - [c12]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: 259-264 - [c11]Luca Benvenuti:
The Positive Realization Problem: Past and Future Challenges. POSTA 2006: 11-18 - 2005
- [j11]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): 478-508 (2005) - [c10]Andrea Balluchi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems in Automotive Electronics Design. CDC/ECC 2005: 5618-5623 - 2004
- [j10]Luca Benvenuti, Lorenzo Farina:
Eigenvalue regions for positive systems. Syst. Control. Lett. 51(3-4): 325-330 (2004) - [j9]Luca Benvenuti, Lorenzo Farina:
A tutorial on the positive realization problem. IEEE Trans. Autom. Control. 49(5): 651-664 (2004) - [c9]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: 2322-2327 - 2003
- [j8]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): 1157-1169 (2003) - [j7]Luca Benvenuti, Lorenzo Farina:
Minimal positive realizations: a survey of recent results and open problems. Kybernetika 39(2): 217-228 (2003) - [c8]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Observability for hybrid systems. CDC 2003: 1159-1164 - [e1]Luca Benvenuti, Alberto De Santis, Lorenzo Farina:
Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003. Lecture Notes in Control and Information Sciences 294, Springer 2003, ISBN 3-540-40342-6 [contents] - 2002
- [j6]Luca Benvenuti, Alberto De Santis, Lorenzo Farina:
On model consistency in compartmental systems identification. Autom. 38(11): 1969-1976 (2002) - [j5]Luca Benvenuti, Lorenzo Farina:
Linear programming approach to constrained feedback control. Int. J. Syst. Sci. 33(1): 45-53 (2002) - [j4]Luca Benvenuti, Lorenzo Farina:
Positive and compartmental systems. IEEE Trans. Autom. Control. 47(2): 370-373 (2002) - [c7]Luca Benvenuti, Lorenzo Farina:
How many compartments do we really need? [LTI systems]. ACC 2002: 4614-4619 - [c6]Luca Benvenuti, Alberto De Santis, Lorenzo Farina:
Embedding a-priori positivity in systems modelling. ACC 2002: 4626-4631 - [c5]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems. HSCC 2002: 76-89 - 2001
- [c4]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
A hybrid observer for the driveline dynamics. ECC 2001: 618-623 - 2000
- [j3]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): 888-912 (2000) - [c3]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: 1181-1185 - [c2]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: 32-44
1990 – 1999
- 1999
- [c1]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: 1687-1692 - 1997
- [j2]Lorenzo Farina, Luca Benvenuti:
Polyhedral reachable set with positive controls. Math. Control. Signals Syst. 10(4): 364-380 (1997) - 1996
- [j1]Luca Benvenuti, Lorenzo Farina:
Discrete-time filtering via charge routing networks. Signal Process. 49(3): 207-215 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint