default search action
Alberto Leva
Person information
- affiliation: Politecnico di Milano, Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j27]Chiara Cimino
, Federico Terraneo, Gianni Ferretti, Alberto Leva:
Scalable and efficient digital twins for model-based design of cyber-physical systems. Int. J. Comput. Integr. Manuf. 37(10-11): 1232-1251 (2024) - [c88]Antonio Filgueras, Giovanni Agosta, Marco Aldinucci, Carlos Álvarez, Pasqua D'Ambra, Massimo Bernaschi, Andrea Biagioni, Daniele Cattaneo, Alessandro Celestini, Massimo Celino, Carlotta Chiarini, Francesca Lo Cicero, Paolo Cretaro, William Fornaciari, Ottorino Frezza, Andrea Galimberti, Francesco Giacomini, Juan Miguel De Haro Ruiz, Francesco Iannone, Daniel Jaschke, Daniel Jiménez-González, Michal Kulczewski, Alberto Leva, Alessandro Lonardo, Michele Martinelli, Xavier Martorell, Simone Montangero, Lucas Morais, Ariel Oleksiak, Paolo Palazzari, Luca Pontisso, Federico Reghenzani, Cristian Rossi, Sergio Saponara, Carlo Saverio Lodi, Francesco Simula, Federico Terraneo, Piero Vicini, Miquel Vidal, Davide Zoni, Giuseppe Zummo:
The TEXTAROSSA Project: Cool all the Way Down to the Hardware. DSD 2024: 526-533 - 2023
- [j26]Chiara Cimino, Federico Terraneo
Efficient Control Representation in Digital Twins: An Imperative Challenge for Declarative Languages. IEEE Trans. Ind. Informatics 19(11): 11080-11090 (2023) - [j25]Massimo Fioravanti
Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models. ACM Trans. Math. Softw. 49(3): 27:1-27:25 (2023) - [c87]Alessandro Sorrentino, Federico Terraneo, Alberto Leva:
Efficient Abstraction of Clock Synchronization at the Operating System Level. NG-RES@HiPEAC 2023: 4:1-4:11 - [c86]Alberto Leva, Federico Terraneo, William Fornaciari
Efficient control-oriented modelling of heterogeneous large-scale computer cooling systems. MED 2023: 67-72 - [c85]Alberto Leva, Federico Terraneo, William Fornaciari
Wireless synchronisation as a control problem embedded in new-generation networked automation systems. MED 2023: 974-979 - [i9]Valentina Breschi, Simone Formentin, Alberto Leva:
Model predictive control with dynamic move blocking. CoRR abs/2308.07854 (2023) - 2022
- [j24]Federico Terraneo
3D-ICE 3.0: Efficient Nonlinear MPSoC Thermal Simulation With Pluggable Heat Sink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(4): 1062-1075 (2022) - [j23]Alberto Leva
A Multitransmission Event-Based Architecture for Energy-Efficient Autotuning Wireless Controls. IEEE Trans. Control. Syst. Technol. 30(4): 1510-1524 (2022) - [c84]Federico Terraneo, Zaigham Khalid, William Fornaciari
Feedforward temperature compensation in sub-microsecond wireless clock synchronisation. CCTA 2022: 391-396 - [c83]Alberto Leva, Simone Formentin, Silvano Seva:
Overlapping-Horizon MPC: A Novel Approach to Computational Constraints in Real-Time Predictive Control. NG-RES@HiPEAC 2022: 3:1-3:10 - [i8]Massimo Fioravanti, Daniele Cattaneo, Federico Terraneo, Silvano Seva, Stefano Cherubin, Giovanni Agosta, Francesco Casella, Alberto Leva:
Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models. CoRR abs/2212.11135 (2022) - 2021
- [j22]Chiara Cimino, Gianni Ferretti, Alberto Leva:
Harmonising and integrating the Digital Twins multiverse: A paradigm and a toolset proposal. Comput. Ind. 132: 103501 (2021) - [j21]Luciano Baresi
Fine-Grained Dynamic Resource Allocation for Big-Data Applications. IEEE Trans. Software Eng. 47(8): 1668-1682 (2021) - [c82]Silvano Seva, Chiara Cimino, Alberto Leva:
On the criticality of the model parametrisation method in industrial autotuning controllers. CDC 2021: 1137-1142 - [c81]Silvano Seva
Event-Based Control Enters the Real-Time World: Perspectives and Pitfalls. NG-RES@HiPEAC 2021: 4:1-4:11 - [c80]Danny Weyns
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE 2021: 217-223 - [i7]Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei:
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR abs/2103.10847 (2021) - 2020
- [c79]Silvano Seva, Claudia Esther Lukaschewsky Mauriziano, William Fornaciari
A Low Energy FPGA Platform for Real-Time Event-Based Control. NG-RES@HiPEAC 2020: 4:1-4:11 - [i6]Federico Terraneo, Federico Amedeo Izzo, Alberto Leva, William Fornaciari:
TDMH: a communication stack for real-time wireless mesh networks. CoRR abs/2006.03554 (2020)
2010 – 2019
- 2019
- [j20]Alberto Leva:
PID control education for computer engineering students: A step to bridge a cultural gap. IFAC J. Syst. Control. 8: 100051 (2019) - [c78]Giovanni Agosta, Francesco Casella
Towards a benchmark suite for high-performance Modelica compilers. EOOLT 2019: 21-24 - [c77]Viola Corbellini
Modelling and structure-tailored control of biogas plants fed on agro-food residues. ECC 2019: 2374-2379 - [c76]Alberto Leva
Control-oriented modelling of proof-of-work blockchains. ECC 2019: 2873-2878 - [c75]Alberto Leva
Teaching to design control applications with coordinated modulating and logic functions. ECC 2019: 3047-3052 - [c74]Claudio Mandrioli
Modeling of energy consumption in GPS receivers for power aware localization systems. ICCPS 2019: 217-226 - [c73]Giovanni Agosta, Emanuele Baldino, Francesco Casella, Stefano Cherubin
Towards a High-Performance Modelica Compiler. Modelica 2019: 157:032 - [c72]Federico Terraneo
An Open-Hardware Platform for MPSoC Thermal Modeling. SAMOS 2019: 184-196 - [d2]Federico Terraneo
Dataset: An Open-hardware Platform for MPSoC Thermal Modeling. Zenodo, 2019 - [d1]Federico Terraneo
Dataset: An Open-hardware Platform for MPSoC Thermal Modeling. Zenodo, 2019 - 2018
- [j19]Alessandro Vittorio Papadopoulos
Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis. IEEE Trans. Autom. Control. 63(11): 3775-3786 (2018) - [j18]Alberto Leva
Event-Based Power/Performance-Aware Thermal Management for High-Density Microprocessors. IEEE Trans. Control. Syst. Technol. 26(2): 535-550 (2018) - [c71]Claudio Mandrioli
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking. CCTA 2018: 1466-1471 - [c70]Alberto Leva
Progress Rate Control for Computer Applications. ECC 2018: 3173-3178 - [c69]Federico Terraneo
TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC. RTSS 2018: 277-287 - [i5]Federico Terraneo, Fabiano Riccardi, Alberto Leva:
Jitter-compensated VHT and its application to WSN clock synchronization. CoRR abs/1808.05696 (2018) - [i4]Federico Terraneo, Alberto Leva, Silvano Seva, Martina Maggio, Alessandro Vittorio Papadopoulos:
Reverse Flooding: exploiting radio interference for efficient propagation delay compensation in WSN clock synchronization. CoRR abs/1808.05838 (2018) - [i3]Federico Terraneo, Paolo Polidori, Alberto Leva, William Fornaciari:
TDMH-MAC: Real-time and multi-hop in the same wireless MAC. CoRR abs/1809.06104 (2018) - 2017
- [j17]Federico Terraneo
FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks. J. Syst. Archit. 80: 77-84 (2017) - [j16]Federico Terraneo, Alessandro Vittorio Papadopoulos
FLOPSYNC-QACS: quantization-aware clock synchronization for wireless sensor networks. SIGBED Rev. 14(4): 33-38 (2017) - [c68]Alberto Leva
Periodic event-based control with past measurements transmission. EBCCSP 2017: 1-8 - [c67]Francesco Casella, Alberto Leva, Andrea Bartolini:
Simulation of Large Grids in OpenModelica: reflections and perspectives. Modelica 2017: 132:023 - [c66]Federico Terraneo
Jitter-Compensated VHT and Its Application to WSN Clock Synchronization. RTSS 2017: 277-286 - [c65]Alberto Leva
An Introduction to Systems and Control Theory for Computer Scientists and Engineers. ICPE 2017: 433-436 - [i2]Alessandro Vittorio Papadopoulos, Federico Terraneo, Alberto Leva, Maria Prandini:
Switched control for quantized feedback systems: invariance and limit cycles analysis. CoRR abs/1701.07482 (2017) - 2016
- [j15]Alberto Leva
High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control. IEEE Trans. Control. Syst. Technol. 24(4): 1279-1293 (2016) - [c64]Alberto Leva
High-speed thermal management for power-dense microprocessors. CDC 2016: 1663-1668 - [c63]Aida Brankovic, Jacopo Guanetti, Donald Selmanaj
Applying simple PID tuning rules with extended frequency response knowledge. CDC 2016: 7573-7578 - [c62]Alberto Leva
Event-based control as an enabler for high power density processors. EBCCSP 2016: 1-8 - [c61]Davide Arcelli
A Library of Modeling Components for Adaptive Queuing Networks. EPEW 2016: 204-219 - [c60]Federico Terraneo, Alberto Leva, William Fornaciari:
Demo: A High-Performance, Energy-Efficient Node for a Wide Range of WSN Applications. EWSN 2016: 241-242 - [c59]Luciano Baresi
A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE 2016: 217-228 - 2015
- [j14]Alessandro Vittorio Papadopoulos
Hard real-time guarantees in feedback-based resource reservations. Real Time Syst. 51(3): 221-246 (2015) - [c58]Alessandro Vittorio Papadopoulos
A control-theoretical approach to thread scheduling for multicore processors. CCA 2015: 1103-1110 - [c57]Alberto Leva
Disturbance rejection in autotuners: An assessment method and a rule proposal. ACC 2015: 2876-2881 - [c56]Alberto Leva
Event-based thermal control for high-density processors. EBCCSP 2015: 1-8 - [c55]Federico Terraneo
A switched control scheme to handle quantisation in the design of high-precision computing system components. ICCPS 2015: 250-251 - [c54]Antonio Filieri
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) 2015: 200-211 - [c53]Davide Arcelli
Control Theory for Model-based Performance-driven Software Adaptation. QoSA 2015: 11-20 - [c52]Federico Terraneo
Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization. RTSS 2015: 175-184 - 2014
- [j13]Alessandro Vittorio Papadopoulos
Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration. Simul. 90(10): 1158-1176 (2014) - [j12]Martina Maggio
Task scheduling: A control-theoretical viewpoint for a general and flexible solution. ACM Trans. Embed. Comput. Syst. 13(4): 76:1-76:22 (2014) - [c51]Federico Terraneo
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation. RTSS 2014: 11-20 - [c50]Alberto Leva
Object-Oriented Modelling and Simulation of Air Flow in Data Centres Based on a Quasi-3D Approach for Energy Optimisation. UCC 2014: 554-559 - 2013
- [b1]Alberto Leva, Martina Maggio, Alessandro Vittorio Papadopoulos, Federico Terraneo:
Control-Based Operating System Design. IET Control Engineering Series 89, Institution of Engineering and Technology IET 2013, ISBN 978-1-84919-609-3, pp. I-XVIII, 1-196 - [j11]Martina Maggio
Power Optimization in Embedded Systems via Feedback Control of Resource Allocation. IEEE Trans. Control. Syst. Technol. 21(1): 239-246 (2013) - [c49]Andrea Bartolini, Francesco Casella
Object-oriented modelling for control synthesis and commissioning in power plants: A case study on flue gas path control. ACC 2013: 1882-1887 - [c48]Alberto Leva, Federico Terraneo
Low power synchronisation in wireless sensor networks via simple feedback controllers: The FLOPSYNC scheme. ACC 2013: 5017-5022 - [c47]Alessandro Vittorio Papadopoulos
Automatic partitioning and simulation of weakly coupled systems. CDC 2013: 3172-3177 - [c46]Alberto Leva
A general control-theoretical methodology for runtime resource allocation in computing systems. CDC 2013: 3487-3492 - [c45]Henry Hoffmann, Martina Maggio
A generalized software framework for accurate and efficient management of performance goals. EMSOFT 2013: 19:1-19:10 - [c44]Alessandro Vittorio Papadopoulos, Alberto Leva:
Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools. EOOLT 2013: 37-44 - [c43]Federico Terraneo
Feedback-based memory management with active swap-in. ECC 2013: 620-625 - [c42]Alberto Leva, Alessandro Vittorio Papadopoulos
Teaching a Conscious Use of PI/PID Tuning Rules. ACE 2013: 25-30 - [c41]Alessandro Vittorio Papadopoulos
Laboratories Over the Network: From Remote to Mobile. ACE 2013: 84-89 - 2012
- [j10]Marco Bonvini, Alberto Leva
Object-oriented quasi-3D sub-zonal airflow models for energy-related system-level building simulation. Simul. Model. Pract. Theory 22: 1-12 (2012) - [j9]Martina Maggio
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems. ACM Trans. Auton. Adapt. Syst. 7(4): 36:1-36:32 (2012) - [c40]Antonio Filieri
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA 2012: 557-562 - [c39]Alberto Leva
Performance analysis of operating systems schedulers realised as discrete-time controllers. CCA 2012: 745-750 - [c38]Andrea Bartolini, Francesco Casella
Object-oriented simulation for primary reserve scheduling in a combined cycle power plant. CCA 2012: 764-769 - [c37]Marco Bonvini, Alberto Leva
Exploiting object-oriented modelling for scalable-detail studies on control for energy efficiency. CCA 2012: 770-775 - [c36]Antonio Filieri
Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423 - [c35]Antonio Filieri
Reliability-driven dynamic binding via feedback control. SEAMS 2012: 43-52 - [c34]Luciano Baresi
Flexible logic-based Co-simulation of Modelica models. INDIN 2012: 635-640 - 2011
- [c33]Martina Maggio
Decision making in autonomic computing systems: comparison of approaches and techniques. ICAC 2011: 201-204 - [c32]Antonio Filieri
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292 - 2010
- [c31]Alberto Leva
On the use of models with delay in PI(D) autotuning. CDC 2010: 3319-3324 - [c30]Martina Maggio
Controlling software applications via resource allocation within the heartbeats framework. CDC 2010: 3736-3741 - [c29]Martina Maggio
Toward a deeper use of feedback control in the design of critical computing system components. CDC 2010: 5985-5990 - [c28]Alberto Leva
A pseudo-multirate implementation of digital systems for improved performance. CDC 2010: 7582-7587 - [i1]Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini:
A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 (2010)
2000 – 2009
- 2009
- [c27]Alberto Leva, Filippo Donida, Michele Bordoni:
Object-oriented modelling and simulation of starch mashing. ADHS 2009: 80-85 - [c26]Massimiliano Di Felice, Luigi Piroddi
Adaptive temperature control of a household refrigerator. ACC 2009: 889-894 - [c25]Alberto Leva
A multirate autotuning PI with improved static performance. ACC 2009: 4687-4692 - [c24]Alberto Leva:
Extending PI tuning rules to 2-dof regulator structures. ECC 2009: 1794-1799 - [c23]Alberto Leva, Sara Negro, Alessandro Vittorio Papadopoulos
PI(D) tuning with contextual model identification. ECC 2009: 4013-4018 - 2008
- [j8]Alberto Leva
Multifunctional Remote Laboratory for Education in Automatic Control: The CrAutoLab Experience. IEEE Trans. Ind. Electron. 55(6): 2376-2385 (2008) - [c22]Martina Maggio
Closed- versus open-loop active vibration control in the presence of finite precision arithmetic. CACSD 2008: 201-206 - [c21]Alberto Leva
Autotuning of PI+p controllers. CACSD 2008: 1049-1054 - [c20]Alberto Leva
On some approaches to the autotuning of cascade controls. CACSD 2008: 1055-1060 - [c19]Luca Bascetta
Nonparametric decoupling of MIMO systems. CACSD 2008: 1073-1078 - 2007
- [j7]Alberto Leva
Set point tracking optimisation by causal nonparametric modelling. Autom. 43(11): 1984-1991 (2007) - [c18]Luca Bascetta
Simultaneous optimisation of set point tracking and decoupling in autotuning multivariable regulators. ACC 2007: 645-650 - [c17]Alberto Leva
On the parameterisation of simple process models for the autotuning of industrial regulators. ACC 2007: 3306-3311 - [c16]Alberto Leva
Model-based autotuning of industrial SISO regulators accommodating for free-structure process models. ACC 2007: 5565-5570 - [c15]Alberto Leva
Comparative study of model-based PI(D) autotuning methods. ACC 2007: 5796-5801 - [c14]Alberto Leva
Model-based PI(D) tuning with ad-hoc regulator expressions. ACC 2007: 5802-5807 - [c13]Martina Maggio
Finite-precision implementation issues in narrowband active control. CDC 2007: 1076-1081 - 2006
- [j6]Alberto Leva
Performance and Robustness Improvement in the IMC-PID Tuning Method. Eur. J. Control 12(2): 195-204 (2006) - [c12]Luigi Piroddi, Alberto Leva:
Model structure selection based on polygonal curve approximation techniques. CDC 2006: 805-810 - [c11]Luigi Piroddi, Alberto Leva, Fausto Casaro:
Vibration control of a turbomolecular vacuum pump using piezoelectric actuators. CDC 2006: 6555-6560 - 2005
- [c10]Alberto Leva
Causal design methodology for optimal tracking in 2-d.o.f. industrial controllers. CDC/ECC 2005: 2368-2373 - [c9]Alberto Leva
Nonparametric identification for the causal optimization of set point tracking. CDC/ECC 2005: 2374-2379 - [c8]Alberto Leva
Turning a toy into a didactic industrial regulator. CDC/ECC 2005: 3409-3414 - [c7]Francesco Casella
Object-Oriented Modelling & Simulation of Power Plants with Modelica. CDC/ECC 2005: 7597-7602 - 2004
- [c6]Alberto Leva:
Autotuning process controller with enhanced load disturbance rejection. ACC 2004: 1400-1405 - [c5]Alberto Leva, Luigi Piroddi:
Model-based PID autotuning enhanced by neural structural identification. ACC 2004: 2427-2432 - [c4]Alberto Leva:
An experimental laboratory on control structures. ACC 2004: 3227-3232 - 2003
- [j5]Alberto Leva
A hands-on experimental laboratory for undergraduate courses in automatic control. IEEE Trans. Educ. 46(2): 263-272 (2003) - 2002
- [c3]D. Farnese, Alberto Leva, Giovanni Paltenghi, Arnaldo Spalvieri:
Pulse superposition: a technique for peak-to-average power ratio reduction in OFDM modulation. ICC 2002: 1682-1685 - 2001
- [c2]Alberto Leva, Antonio M. Colombo:
IMC-based synthesis of the feedback block of ISA-PID regulators. ECC 2001: 196-201 - 2000
- [j4]Alberto Leva
Estimating model mismatch overbounds for the robust autotuning of industrial regulators. Autom. 36(12): 1855-1861 (2000)
1990 – 1999
- 1999
- [c1]G. Redaelli, M. Corvino, V. Paderni, Arnaldo Spalvieri, Alberto Leva, D. Colonna:
Analysis of two digital adaptive pre-correctors for nonlinearity in OFDM systems. ICC 1999: 172-177 - 1998
- [j3]Alberto Leva
A Process Simulation Environment Based on Visual Programming and Dynamic Decoupling. Simul. 71(3): 183-193 (1998) - 1997
- [j2]Alberto Leva:
Automatic Tuning of PID Regulators in Presence of Model Perturbations near the Desired Closed-Loop Cutoff. Eur. J. Control 3(2): 150-161 (1997) - 1994
- [j1]Alberto Leva
Self-tuning PI-PID regulators for stable systems with varying delay. Autom. 30(7): 1171-1183 (1994)
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-11-20 20:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: