Embedded Files
Books
[1] L. Benvenuti, A. De Santis, and L. Farina.
Sistemi dinamici - Modellistica, analisi e controllo.
McGraw–Hill, Milano, 2009. ISBN 978–88–386–6538–7
Edited volumes
[1] L. Benvenuti, A. De Santis, and L. Farina (Eds.).
Positive Systems,
volume 294 of Lecture Notes in Control and Information Sciences.
Springer–Verlag Berlin, Heidelberg, D, 2003.
ISBN 978–3–540–40342–5.
Articles in international journals
[1] L. Benvenuti, M. D. Di Benedetto, and J. W. Grizzle.
Approximate output tracking for nonlinear non-minimum phase systems with an application to flight control.
International Journal of Robust and Nonlinear Control,
4(3):397–414, May–June 1994.
ISSN 1049–8923.
https://doi.org/10.1002/rnc.4590040307
[2] L. Farina and L. Benvenuti.
Positive realizations of linear systems.
Systems & Control Letters,
26(1):1–9, September 1995.
ISSN 0167–6911.
https://doi.org/10.1016/0167-6911(95)90886-3
[3] B. D. O. Anderson, M. Deistler, L. Farina, and L. Benvenuti.
Nonnegative realization of a linear system with nonnegative impulse response.
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications,
43(2):134–142, February 1996.
ISSN 1057–7122.
https://doi.org/10.1109/81.486435
[4] L. Benvenuti and L. Farina.
Discrete–time filtering via charge routing networks.
Signal Processing,
49(3):207–215, March 1996.
ISSN 0165–1684.
https://doi.org/10.1016/0165-1684(96)00018-7
[5] L. Benvenuti and L. Farina.
On the class of linear filters attainable with charge routing networks.
IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing,
43(8):618–622, August 1996.
ISSN 1057–7130.
https://doi.org/10.1109/82.532010
[6] L. Farina and L. Benvenuti.
Polyhedral reachable set with positive control.
Mathematics of Control, Signals and Systems,
10(4):364–380, 1997.
ISSN 0932–4194.
https://doi.org/10.1007/BF01211552
[7] L. Benvenuti and L. Farina.
A note on minimality of positive realizations.
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications,
45(6):676–677, June 1998.
ISSN 1057–7122.
https://doi.org/10.1109/81.678491
[8] L. Benvenuti and L. Farina.
Constrained control for uncertain discrete–time linear systems.
International Journal of Robust and Nonlinear Control,
8(7):555–565, June 1998.
ISSN 1049–8923.
https://doi.org/10.1002/(SICI)1099-1239(199806)8:7<555::AID-RNC329>3.0.CO;2-S
[9] L. Farina and L. Benvenuti.
Invariant polytopes of linear systems.
IMA Journal of Mathematical Control and Information,
15(3):233–240, September 1998.
ISSN 0265–0754.
https://doi.org/10.1093/imamci/15.3.233
[10] L. Benvenuti and L. Farina.
An example of how positivity may force realizations of ‘large’ dimension.
Systems & Control Letters,
36(4):261–266, April 1999.
ISSN 0167–6911.
https://doi.org/10.1016/S0167-6911(98)00098-X
[11] L. Benvenuti, L. Farina, and B. D. O. Anderson.
Filtering through combination of positive filters.
IEEE Transactions on Circuits and Systems I: Fundamental Theory and
Applications, 46(12):1431–1440, December 1999.
ISSN 1057–7122.
https://doi.org/10.1109/81.809545
[12] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli.
Automotive engine control and hybrid systems: challenges and opportunities.
Proceedings of the IEEE,
88(7):888–912, July 2000.
ISSN 0018–9219.
https://doi.org/10.1109/5.871300
[13] L. Benvenuti, L. Farina, B. D. O. Anderson, and F. De Bruyne.
Minimal positive realizations of transfer functions with positive real poles.
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications,
47(9):1370–1377, September 2000.
ISSN 1057–7122.
https://doi.org/10.1109/81.883332
[14] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli.
Hybrid control of force transients for multi-point injection engines.
International Journal of Robust and Nonlinear Control,
11(5):515–539, April 2001.
ISSN 1049–8923.
https://doi.org/10.1002/rnc.596
[15] L. Benvenuti and L. Farina.
The design of fiber–optic filters.
IEEE/OSA Journal of Lightwave Technology,
19(9):1366–1375, September 2001.
ISSN 0733–8724.
https://doi.org/10.1109/50.948284
[16] L. Benvenuti, L. Farina, and B. D. O. Anderson.
The positive side of filters: a summary.
IEEE Circuits and Systems Magazine,
1(3):32–36, Third Quarter 2001.
ISSN 1531–636X.
https://doi.org/10.1109/7384.963465
[17] L. Benvenuti and L. Farina.
Linear programming approach to constrained feedback control.
International Journal of Systems Science,
33(1):45–53, January 2002.
ISSN 0020–7721.
https://doi.org/10.1080/00207720110069122
[18] L. Benvenuti and L. Farina.
Positive and compartmental systems.
IEEE Transactions on Automatic Control,
47(2):370–373, February 2002.
ISSN 0018–9286.
https://doi.org/10.1109/9.983382
[19] L. Benvenuti, A. De Santis, and L. Farina.
On model consistency in compartmental systems identification.
Automatica,
38(11):1969–1976, November 2002.
ISSN 0005–1098.
https://doi.org/10.1016/S0005-1098(02)00107-3
[20] L. Benvenuti and L. Farina.
Minimal positive realizations: a survey of recent results and open problems.
Kybernetica,
39(2):217–228, 2003.
ISSN 1805–949X.
http://www.kybernetika.cz/content/2003/2/217/
[21] L. Benvenuti, M. D. Di Benedetto, S. Di Gennaro, and A. L. Sangiovanni-Vincentelli.
Individual cylinder characteristic estimation for a spark injection engine.
Automatica,
39 (7):1157–1169, July 2003.
ISSN 0005–1098.
https://doi.org/10.1016/S0005-1098(03)00077-3
[22] A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli.
Controller synthesis for hybrid systems with a lower bound on event separation.
International Journal of Control,
76(12):1171–1200, August 2003.
ISSN 0020–7179.
https://doi.org/10.1080/0020717031000123616
[23] L. Benvenuti and L. Farina.
Eigenvalue regions for positive systems.
Systems & Control Letters,
51(3–4):325–330, March 2004.
ISSN 0167–6911.
https://doi.org/10.1016/j.sysconle.2003.09.009
[24] L. Benvenuti and L. Farina.
A tutorial on the positive realization problem.
IEEE Transactions on Automatic Control,
49(5):651–664, May 2004.
ISSN 0018–9286.
https://doi.org/10.1109/TAC.2004.826715
[25] A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K. H. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A. L. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg.
Hybrid control of networked embedded systems.
European Journal of Control,
11(4–5):478–508, November 2005.
ISSN 0947–3580.
https://doi.org/10.1016/S0947-3580(05)71047-5
[26] L. Benvenuti and L. Farina.
Correction to: A note on minimality of positive realizations.
IEEE Transactions on Circuits and Systems I: Regular Papers,
53(1):215–215, January 2006.
ISSN 1549-8328.
https://doi.org/10.1109/TCSI.2005.854607
[27] A. Balluchi, L. Benvenuti, A. Ferrari, and A. L. Sangiovanni-Vincentelli.
Hybrid systems in automotive electronics design.
International Journal of Control,
79:375–394, May 2006.
ISSN 0020–7179.
https://doi.org/10.1080/00207170600587465
[28] L. Benvenuti and L. Farina.
The geometry of the reachability set for linear discrete–time systems with positive controls.
SIAM Journal on Matrix Analysis and Applications,
28:306–325, 2006.
ISSN 0895–4798.
https://doi.org/10.1137/040612531
[29] L. Benvenuti and L. Farina.
Nonnegative matrices in digital signal processing.
Signal Processing,
86:2388–2392, September 2006.
ISSN 0165–1684.
https://doi.org/10.1016/j.sigpro.2005.11.001
[30] L. Benvenuti.
On the reachable set for third-order linear discrete-time systems with positive control.
Systems & Control Letters,
60(9):690–698, September 2011.
ISSN 0167–6911.
https://doi.org/10.1016/j.sysconle.2011.05.005
[31] L. Benvenuti.
On the reachable set for third-order linear discrete-time systems with positive control: the case of complex eigenvalues.
Systems & Control Letters,
60(12):1000–1008, December 2011.
ISSN 0167–6911.
https://doi.org/10.1016/j.sysconle.2011.09.002
[32] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni-Vincentelli.
The design of dynamical observers for hybrid systems: theory and application to an automotive control problem.
Automatica,
49(4):915–925, April 2013.
ISSN 0005–1098.
https://doi.org/10.1016/j.automatica.2013.01.037
[33] L. Benvenuti.
Minimal positive realizations of transfer functions with real poles.
IEEE Transactions on Automatic Control,
58(4):1013–1017, April 2013.
ISSN 0018–9286.
https://doi.org/10.1109/TAC.2012.2212612
[34] L. Benvenuti, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, and T. Villa.
Assume-guarantee verification of nonlinear hybrid systems with Ariadne.
International Journal of Robust and Nonlinear Control,
24(4):699–724, March 2014.
ISSN 1049–8923.
https://doi.org/10.1002/rnc.2914
[35] L. Benvenuti.
A geometrical representation of the spectra of four dimensional nonnegative matrices.
Linear Algebra and its Applications,
445:162–180, March 2014.
ISSN 0024–3795.
https://doi.org/10.1016/j.laa.2013.12.019
[36] L. Benvenuti.
A note on eigenvalues location for trace zero doubly stochastic matrices.
Electronic Journal of Linear Algebra,
30:599–604, September 2015.
ISSN 1081–3810.
https://doi.org/10.13001/1081-3810.3044
[37] L. Benvenuti, A. De Santis, F. Santesarti, and L. Tocca.
An optimal plan for food consumption with minimal environmental impact: the case of school lunch menus.
Journal of Cleaner Production,
129:704–713, August 2016.
ISSN 0959–6526.
https://doi.org/10.1016/j.jclepro.2016.03.051
[38] L. Benvenuti and L. Farina.
Revisiting the linear recursion with nonnegative coefficients problem.
Linear Algebra and its Applications,
535:191–194, December 2017.
ISSN 0024–3795.
https://doi.org/10.1016/j.laa.2017.09.004
[39] L. Benvenuti.
The NIEP for four dimensional Leslie and doubly stochastic matrices with zero trace from the coefficients of the characteristic polynomial.
Linear Algebra and its Applications,
544:286–298, May 2018.
ISSN 0024–3795.
https://doi.org/10.1016/j.laa.2018.01.016
[40] L. Benvenuti.
The inverse eigenvalue problem for Leslie matrices.
Electronic Journal of Linear Algebra,
35:319–330, August 2019.
ISSN 1081–3810.
https://doi.org/10.13001/1081-3810.3980
[41] L. Benvenuti, A. De Santis, A. Di Sero, and N. Franco.
Concurrent economic and environmental impacts of food consumption: are low emissions diets affordable?
Journal of Cleaner Production,
236, Article 117645, November 2019.
ISSN 0959–6526.
https://doi.org/10.1016/j.jclepro.2019.117645
[42] L. Benvenuti.
A lower bound on the dimension of minimal positive realizations for discrete time systems.
Systems & Control Letters,
135, Article 104595, January 2020.
ISSN 0167–6911.
https://doi.org/10.1016/j.sysconle.2019.104595
[43] M. Ferrari, L. Benvenuti, L. Rossi, A. De Santis, S. Sette, D. Martone, R. Piccinelli, C. Le Donne, C. Leclercq, and A. Turrini.
Could dietary goals and climate change mitigation be achieved through optimized diet? The experience of modelling the National food consumption data in Italy.
Frontiers in Nutrition,
7, Article 48, April 2020.
E-ISSN: 2296-861X.
https://doi.org/10.3389/fnut.2020.00048
[44] L. Benvenuti.
The NIEP and the positive realization problem.
Electronic Journal of Linear Algebra,
36:367-384, June 2020.
ISSN 1081–3810.
https://doi.org/10.13001/ela.2020.5039
[45] L. Benvenuti.
An upper bound on the dimension of minimal positive realizations for discrete time systems.
Systems & Control Letters,
145, Article 104779, November 2020.
ISSN 0167–6911.
https://doi.org/10.1016/j.sysconle.2020.104779
[46] L. Benvenuti and A. De Santis.
Making a sustainable diet acceptable: an emerging programming model with applications to schools and nursing homes menus.
Frontiers in Nutrition,
7, Article 562833, November 2020.
E-ISSN: 2296-861X.
https://doi.org/10.3389/fnut.2020.562833
[47] L. Rossi, M. Ferrari, D. Martone, L. Benvenuti, and A. De Santis.
The promotions of sustainable lunch meals in school feeding programs: the case of Italy.
Nutrients,
13(5):1571, 2021.
ISSN 2072-6643.
https://doi.org/10.3390/nu13051571
[48] L. Benvenuti, A. De Santis, and P. Cacchione.
Multi-indicator design and assessment of sustainable diet plans.
Journal of Cleaner Production,
313, Article 127699, September 2021.
ISSN 0959–6526.
https://doi.org/10.1016/j.jclepro.2021.127699
[49] A. Finamore, L. Benvenuti, A. De Santis, S. Cinti, and L. Rossi.
Sportsmen’s attitude towards dietary supplements and nutrition knowledge: An investigation in selected Roman area gyms.
Nutrients,
14(5):945, 2022.
ISSN 2072-6643.
https://doi.org/10.3390/nu14050945
[50] L. Benvenuti.
Minimal positive realizations: A survey.
Automatica,
143, Article 110422, September 2022.
ISSN 0005–1098.
https://doi.org/10.1016/j.automatica.2022.110422
[51] L. Benvenuti, A. De Santis, M. Ferrari, D. Martone, and L. Rossi.
The carbon footprint of Italian schools meals: An optimal choice of dishes in vegan, vegetarian, and omnivorous menus.
Frontiers in Nutrition,
9, Article 854049, August 2022.
E-ISSN: 2296-861X.
https://doi.org/10.3389/fnut.2022.854049
[52] L. Benvenuti and L. Farina.
Positive dynamical systems: New applications, old problems.
International Journal of Control, Automation, and Systems,
21(3):837-844, 2023.
ISSN 1598–6446.
https://doi.org/10.1007/s12555-021-0563-5
[53] L. Benvenuti and A. De Santis.
A design methodology for commercial aircraft formation flight plans with minimal fuel consumption.
IEEE Transactions on Aerospace and Electronic Systems,
60(4):4157-4169, August 2024.
ISSN 0018-9251.
https://doi.org/10.1109/TAES.2024.3375838
[54] L. Benvenuti, A. De Santis, M. De Santis, and D. Patria.
Designing sustainable diet plans by solving triobjective integer programs.
Mathematical Methods of Operations Research,
2024.
ISSN 1432-2994.
https://doi.org/10.1007/s00186-024-00879-8
[55] L. Benvenuti, S. Sette, A. De Santis, P. Riso, K. Petroni, C. Crosatti, A. Losa, D. Martone, D. Martini, L. Cattivelli, and M. Ferrari.
Simulation of daily iron intake by actual diet considering future trends in wheat and rice biofortification, environmental and dietary factors: An Italian case study.
Nutrients,
16(23):4097, 2024.
ISSN 2072-6643.
https://doi.org/10.3390/nu16234097
Articles in collected volumes
[1] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli.
Maximal safe set computation for idle speed control of an automotive engine.
In N. Lynch and B. Krogh, editors,
Hybrid Systems: Computation and Control,
volume 1790 of Lecture Notes in Computer Science, pages 32–44.
Springer–Verlag Berlin, Heidelberg, D, 2000.
ISBN 978–3–540–67259–3.
https://doi.org/10.1007/3-540-46430-1_7
[2] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli.
Design of observers for hybrid systems.
In C. J. Tomlin and M. R. Greenstreet, editors,
Hybrid Systems: Computation and Control,
volume 2289 of Lecture Notes in Computer Science, pages 76–89.
Springer–Verlag Berlin, Heidelberg, D, 2002.
ISBN 978–3–540–43321–7.
https://doi.org/10.1007/3-540-45873-5_9
[3] L. Benvenuti.
The positive realization problem: past and future challenges.
In C. Commault and N. Marchand, editors,
Positive Systems,
volume 341 of Lecture Notes in Control and Information Sciences, pages 11–18.
Springer–Verlag Berlin, Heidelberg, D, 2006.
ISBN 978–3–540–34771–2
[4] L. Benvenuti, A. Ferrari, E. Mazzi, and A. L. Sangiovanni-Vincentelli.
Contract–based design for computation and verification of a closed–loop hybrid system.
In M. Egerstedt and B. Mishra, editors,
Hybrid Systems: Computation and Control,
volume 4981 Lecture Notes in Computer Science, pages 58–71.
Springer–Verlag Berlin, Heidelberg, D, 2008.
ISBN 978–3–540–78928–4.
https://doi.org/10.1007/978-3-540-78929-1_5
[5] L. Benvenuti and L. Farina.
The importance of being positive: admissible dynamics for positive systems.
In R. Bru and S. Romero-Vivo, editors,
Positive Systems,
volume 389 of Lecture Notes in Control and Information Sciences, pages 55–62.
Springer–Verlag Berlin, Heidelberg, D, 2009.
ISBN 978–3–642–02893–9
https://doi.org/10.1007/978-3-642-02894-6_5
[6] L. Benvenuti, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, and T. Villa.
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis.
In A. Finkel, J. Leroux, and I. Potapov, editors,
Reachability Problems,
volume 7550 of Lecture Notes in Computer Science, pages 79–91.
Springer–Verlag Berlin, Heidelberg, D, 2012.
ISBN 978–3–642–33511–2.
https://doi.org/10.1007/978-3-642-33512-9_8
[7] O. Ferrante, L. Benvenuti, L. Mangeruca, C. Sofronis, and A. Ferrari.
Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems.
In F. Ortmeier and P. Daniel, editors,
Computer Safety, Reliability, and Security,
volume 7613 of Lecture Notes in Computer Science, pages 409–416.
Springer–Verlag Berlin, Heidelberg, D, 2012.
ISBN 978–3–642–33674–4.
Book chapters
[1] L. Benvenuti and M. D. Di Benedetto.
An introduction to feedback control systems.
In M. Barone, G. Calamai, M. Mazzoni, R. Stanga, and F. Vetrano, editors,
Experimental Physics of Gravitational Waves, pages 327–348.
World Scientific, Singapore, 2000.
ISBN 978–981–02–4306–7
[2] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli.
Idle speed controller synthesis using an assume–guarantee approach.
In R. Johansson and A. Rantzer, editors,
Nonlinear and Hybrid Systems in Automotive Control, pages 229–243.
Springer–Verlag, London, GB, 2002.
ISBN 978–1–85233–652–3
[3] L. Benvenuti, A. Balluchi, A. Bemporad, S. Di Cairano, B. Johansson, R. Johansson, A. Sangiovanni-Vincentelli, and P. Tunestal.
Automotive control.
In J. Lunze and F. Lamnabhi-Lagarrigue, editors,
Handbook of Hybrid Systems Control: Theory, Tools, Applications, pages 439–469.
Cambridge University Press, Cambridge, UK, 2009.
ISBN 978–0–521–76505–3
[4] O. Ferrante, A. Ferrari, C. Sofronis, L. Mangeruca, and L. Benvenuti.
An application of parallel satisfiability solving to the verification of complex embedded systems.
In Y. Hamadi and L. Sais, editors,
Handbook of Parallel Constraint Reasoning, pages 617-632 .
Springer, Cham, 2018.
ISBN 978–3–319–63515–6
Articles in conference proceedings
[1] L. Benvenuti, M. D. Di Benedetto, and J. W. Grizzle.
Trajectory control of an aircraft using approximate output tracking.
In Proceedings of the 2nd European Control Conference,
pages 1638–1643, Groningen, The Netherlands, June–July 1993.
[2] L. Benvenuti and M. D. Di Benedetto.
End-point tracking for a flexible robot arm.
In Proceedings of the 4th IFAC Symposium on Robot Control,
pages 687–692, Capri, Italy, September 1994.
[3] C. Tomlin, J. Lygeros, L. Benvenuti, and S. Sastry.
Output tracking for a non-minimum phase dynamic ctol aircraft model.
In Proceedings of the 34th IEEE Conference on Decision and Control,
pages 1867–1872, New Orleans, LA, USA, December 1995.
[4] L. Benvenuti, P. Di Giamberardino, and L. Farina.
Trajectory tracking for a pvtol aircraft: a comparative analysis.
In Proceedings of the 35th IEEE Conference on Decision and Control,
pages 1563–1568, Kobe, Japan, December 1996.
[5] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, A. Ferrari, C. Pinello, and A. L. Sangiovanni-Vincentelli.
The design of embedded controllers for automotive engine management: the cut-off case.
In Proceedings of the Cadence Technical Conference 1998,
pages 183–190, San Antonio, TX, USA, May 1998.
[6] M. Antoniotti, A. Balluchi, L. Benvenuti, A. Ferrari, C. Pinello, A. L. Sangiovanni-Vincentelli, R. Flora, W. Nesci, C. Rossi, G. Serra, and M. Tabaro.
A top-down constraints driven design methodology for powertrain control system.
In Proceedings of the Global Powertrain Congress 1998,
Emission, Testing & Controls, pages 74–84, Detroit, MI, USA, October 1998.
[7] L. Benvenuti, L. Farina, B. D. O. Anderson, and F. De Bruyne.
Minimal discrete-time positive realizations of transfer functions with positive real poles.
In Proceedings of the Int. Symposium on Mathematical Theory of Networks and Systems,
pages 81–84, Padova, Italy, July 1998.
[8] L. Benvenuti.
Positive linear filters with charge routing networks.
In Proceedings of the Int. Symposium on Mathematical Theory of Networks and Systems,
pages 77–80, Padova, Italy, July 1998.
[9] L. Benvenuti and L. Farina.
Invariance and feedback control with state and input constraints.
In Proceedings of the 6th IEEE Mediterranean Conference: Theory and practice of control and systems, pages 295–300, Alghero, Italy, June 1998.
[10] L. Benvenuti, M. D. Di Benedetto, C. Rossi, and A. L. Sangiovanni-Vincentelli.
Injector characteristics estimation for spark ignition engines.
In Proceedings of the 37th IEEE Conference on Decision and Control,
pages 1546–1551, Tampa, FL, USA, December 1998.
[11] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, A. Ferrari, C. Pinello, and A. L. Sangiovanni-Vincentelli.
Hybrid systems and the design of embedded controllers for automotive engine management.
In Proceedings of the 37th IEEE Conference on Decision and Control,
Pages 2656–2661, Tampa, FL, USA, December 1998.
[12] A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli.
A case study of hybrid controller synthesis of a heating system.
In Proceedings of the 5th European Control Conference,
Karlsruhe, Germany, August–September 1999.
[13] A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli.
Controller synthesis for hybrid systems with lower bounds on event separation.
In Proceedings of the 38th IEEE Conference on Decision and Control,
pages 3984–3989, Phoenix, AZ, USA, December 1999.
[14] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, S. Cardellino, C. Rossi, and A. L. Sangiovanni-Vincentelli.
Hybrid control of the air-fuel ratio in force transients for multi-point injection engines.
In Proceedings of the 38th IEEE Conference on Decision and Control,
pages 316–321, Phoenix, AZ, USA, December 1999.
[15] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli.
Hybrid controller synthesis for idle speed management of an automotive engine.
In Proceedings of the 2000 American Control Conference,
pages 1181–1185, Chicago, IL, USA, June 2000.
[16] A. Balluchi, L. Benvenuti,M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli.
Automotive engine and power-train control: a comprehensive hybrid model.
In Proceedings of the 8th IEEE Mediterranean Conference on Control and Automation,
Patras, Greece, July 2000.
[17] L. Benvenuti and L. Farina.
Minimality of positive systems: recent results and open problems.
In Proceedings of the 1st IFAC Symposium on System Structure and Control,
Prague, Czech Republic, August 2001.
[18] L. Benvenuti, A. De Santis, and L. Farina.
Identification of positive linear systems.
In Proceedings of the 8th International Conference on Advances in Communications and Control,
Crete, Greece, June 2001.
[19] L. Benvenuti and L. Farina.
The design of fiber-optic filters.
In Proceedings of the 8th International Conference on Advances in Communications and Control,
Crete, Greece, June 2001.
[20] A. Balluchi, L. Benvenuti, and M. D. Di Benedetto.
A hybrid observer for the driveline dynamics.
In Proceedings of the 6th European Control Conference,
pages 618–623, Porto, Portugal, September 2001.
[21] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. Girasole, and A. L. Sangiovanni-Vincentelli.
Idle speed control design and verification for an automotive engine.
In Proceedings of the International Workshop on Modeling, Emissions and Control in Automotive Engines,
Salerno, Italy, September 2001.
[22] L. Benvenuti and L. Farina.
How many compartments do we really need?
In Proceedings of the 2002 American Control Conference,
Anchorage, AK, USA, May 2002.
[23] L. Benvenuti, A. De Santis, and L. Farina.
Embedding a-priori positivity in systems modelling.
In Proceedings of the 2002 American Control Conference, Anchorage, AK,
USA, May 2002.
[24] A. Balluchi, L. Benvenuti, L. Berardi, E. De Santis, M. D. Di Benedetto, and G.Pola.
Engine idle speed control via maximal safe–set computation in the crank–angle domain.
In Proceedings of the 2002 IEEE International Symposium on Industrial Electronics,
L’Aquila, Italy, July 2002.
[25] A. Balluchi, L. Benvenuti, and A. L. Sangiovanni-Vincentelli.
Observers for hybrid systems with continuous state resets.
In Proceedings of the 10th IEEE Mediterranean Conference on Control and Automation,
Lisbon, Portugal, July 2002.
[26] A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli.
Observability for hybrid systems.
In Proceedings of the 42nd IEEE Conference on Decision and Control,
pages 1159–1164, Maui, Hawaii, USA, December 2003.
[27] L. Benvenuti and L. Farina.
The geometry of the reachability set for linear discrete–time systems with positive controls.
In Proceedings of the 16th Int. Symposium on Mathematical Theory of Networks and Systems,
Catholic University of Leuven, Belgium, July 2004.
[28] L. Benvenuti, A. De Santis, and L. Farina.
Positive filters with charge routing networks for image processing.
In Proceedings of the 16th Int. Symposium on Mathematical Theory of Networks and Systems,
Catholic University of Leuven, Belgium, July 2004.
[29] A. Balluchi, L. Benvenuti, and A. L. Sangiovanni-Vincentelli.
Discrete and continuous structural properties for observability.
In Proceedings of the 16th Int. Symposium on Mathematical Theory of Networks and Systems,
Catholic University of Leuven, Belgium, July 2004.
[30] A. Casagrande, A. Balluchi, L. Benvenuti, A. Policriti, T. Villa, and A. L. Sangiovanni-Vincentelli.
Improving reachability analysis of hybrid automata for engine control.
In Proceedings of the 43rd IEEE Conference on Decision and Control,
pages 2322–2327, Atlantis, Paradise Island, Bahamas, December 2004.
[31] A. Balluchi, L. Benvenuti, C. Lemma, A. L. Sangiovanni-Vincentelli, and G. Serra.
Actual engaged gear identification: a hybrid observer approach.
In Proceedings of the 16th IFAC World Congress,
Prague, Czech Republic, July 2005.
[32] A. Balluchi, L. Benvenuti, and A. L. Sangiovanni-Vincentelli.
Hybrid systems in automotive electronics design.
In Proceedings of the 44th IEEE Conference on Decision and Control and the 8th European Control Conference, Seville, Spain, December 2005.
[33] A. Balluchi, L. Benvenuti ,M. D. Di Benedetto, T. Villa, and A. L. Sangiovanni-Vincentelli.
Idle speed control – a benchmark for hybrid system research.
In Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems,
Alghero, Italy, June 2006.
[34] L. Benvenuti, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, A. L. Sangiovanni-Vincentelli, and T. Villa. Reachability computation for hybrid systems with Ariadne.
In Proceedings of the 17th IFAC World Congress,
Seoul, South Korea, July 2008.
[35] L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone, and C. Sofronis.
A contract-based formalism for the specification of heterogeneous systems.
In Forum on Specification & Design Languages,
Stuttgart, Germany, September 2008.
[36] L. Benvenuti, A. Ferrari, E.Mazzi, and A. L. Sangiovanni-Vincentelli.
Composing hybrid systems.
In Proceedings of the 47th IEEE Conference on Decision and Control,
Cancun, Mexico, December 2008.
Conference posters
[1] G. Catasta, M. Alberti, A. De Santis, L. Benvenuti, R. Piccinelli, and M. Ferrari.
Designing of a healthy diet at lower greenhouse gas emission through the optimization of food consumption observed in a sample of Italian adolescents.
XLIII Congresso Nazionale SINU 2023, Arezzo, Italy, June 2023.
[2] R. Piccinelli, M. Ferrari, D. Martone, S. Lisciani, L. Benvenuti, A. De Santis, S. Scotto di Carlo, and A. Daniele.
Sustainability of school canteen menus: a methodological approach for identifying new tool to reduce environmental impact and to increase acceptability.
XLIV Congresso Nazionale SINU 2024, Piacenza, Italy, June 2024.
[3] E. Brentarolli, M. Fiorini, D. Quaglia, C. Pane, L. Incrocci, T. Villa, and L. Benvenuti.
Verso un gemello digitale per l’orticoltura e la floricoltura.
II Convegno Nazionale di Orticoltura e Floricoltura, Padova, Italy, June 2024.
Conference presentations
[1] A. Balluchi and L. Benvenuti.
Hybrid systems in automotive applications: Starting a successful academic-industrial collaboration.
New Challenges in Nonlinear and Hybrid Control Systems, Workshop in honor of Maria Domenica Di Benedetto
L'Aquila, Italy, June 2025.
[2] E. Brentarolli1, D. Quaglia, T. Villa, L. Benvenuti, C. Pane, and L. Incrocci.
Verso un gemello digitale per l'agricoltura: modellistica di processi complessi per monitoraggio, previsione e controllo del pomodoro in coltura protetta.
XV Giornate Scientifiche della Società di Ortofrutticoltura Italiana.
Pisa, Italy, June 2025.
Thesis
[1] L. Benvenuti.
Inseguimento approssimato mediante tecniche di inversione per sistemi non lineari a fase non minima,
M. Sc. thesis, Sapienza University of Rome, Rome, Italy, 1992.
[2] L. Benvenuti.
Metodologie di controllo per l'inseguimento asintotico di traiettorie nei sistemi non lineari a fase non minima,
Ph. D. thesis, Sapienza University of Rome, Rome, Italy, 1996.
Page updated
Report abuse