Alberto Leva

Affiliations:
  • Politecnico di Milano, Milan, Italy


According to our database1, Alberto Leva authored at least 117 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Efficient Control Representation in Digital Twins: An Imperative Challenge for Declarative Languages.
IEEE Trans. Ind. Informatics, November, 2023

Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models.
ACM Trans. Math. Softw., September, 2023

Model predictive control with dynamic move blocking.
CoRR, 2023

Wireless synchronisation as a control problem embedded in new-generation networked automation systems.
Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

Efficient control-oriented modelling of heterogeneous large-scale computer cooling systems.
Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

Efficient Abstraction of Clock Synchronization at the Operating System Level.
Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

2022
A Multitransmission Event-Based Architecture for Energy-Efficient Autotuning Wireless Controls.
IEEE Trans. Control. Syst. Technol., 2022

3D-ICE 3.0: Efficient Nonlinear MPSoC Thermal Simulation With Pluggable Heat Sink Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Overlapping-Horizon MPC: A Novel Approach to Computational Constraints in Real-Time Predictive Control.
Proceedings of the Third Workshop on Next Generation Real-Time Embedded Systems, 2022

Feedforward temperature compensation in sub-microsecond wireless clock synchronisation.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

2021
Fine-Grained Dynamic Resource Allocation for Big-Data Applications.
IEEE Trans. Software Eng., 2021

Harmonising and integrating the Digital Twins multiverse: A paradigm and a toolset proposal.
Comput. Ind., 2021

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Event-Based Control Enters the Real-Time World: Perspectives and Pitfalls.
Proceedings of the Second Workshop on Next Generation Real-Time Embedded Systems, 2021

On the criticality of the model parametrisation method in industrial autotuning controllers.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
TDMH: a communication stack for real-time wireless mesh networks.
CoRR, 2020

A Low Energy FPGA Platform for Real-Time Event-Based Control.
Proceedings of the Workshop on Next Generation Real-Time Embedded Systems, 2020

2019
PID control education for computer engineering students: A step to bridge a cultural gap.
IFAC J. Syst. Control., 2019

An Open-Hardware Platform for MPSoC Thermal Modeling.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

Towards a High-Performance Modelica Compiler.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

Modeling of energy consumption in GPS receivers for power aware localization systems.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Control-oriented modelling of proof-of-work blockchains.
Proceedings of the 17th European Control Conference, 2019

Teaching to design control applications with coordinated modulating and logic functions.
Proceedings of the 17th European Control Conference, 2019

Modelling and structure-tailored control of biogas plants fed on agro-food residues.
Proceedings of the 17th European Control Conference, 2019

Towards a benchmark suite for high-performance Modelica compilers.
Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019

2018
Event-Based Power/Performance-Aware Thermal Management for High-Density Microprocessors.
IEEE Trans. Control. Syst. Technol., 2018

Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis.
IEEE Trans. Autom. Control., 2018

TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Progress Rate Control for Computer Applications.
Proceedings of the 16th European Control Conference, 2018

Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017
FLOPSYNC-QACS: quantization-aware clock synchronization for wireless sensor networks.
SIGBED Rev., 2017

Switched control for quantized feedback systems: invariance and limit cycles analysis.
CoRR, 2017

An Introduction to Systems and Control Theory for Computer Scientists and Engineers.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Jitter-Compensated VHT and Its Application to WSN Clock Synchronization.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Simulation of Large Grids in OpenModelica: reflections and perspectives.
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Periodic event-based control with past measurements transmission.
Proceedings of the 3rd International Conference on Event-Based Control, 2017

2016
High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control.
IEEE Trans. Control. Syst. Technol., 2016

A discrete-time feedback controller for containerized cloud applications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Demo: A High-Performance, Energy-Efficient Node for a Wide Range of WSN Applications.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

A Library of Modeling Components for Adaptive Queuing Networks.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

Event-based control as an enabler for high power density processors.
Proceedings of the Second International Conference on Event-based Control, 2016

High-speed thermal management for power-dense microprocessors.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Applying simple PID tuning rules with extended frequency response knowledge.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Hard real-time guarantees in feedback-based resource reservations.
Real Time Syst., 2015

Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Control Theory for Model-based Performance-driven Software Adaptation.
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A switched control scheme to handle quantisation in the design of high-precision computing system components.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Event-based thermal control for high-density processors.
Proceedings of the International Conference on Event-based Control, 2015

Disturbance rejection in autotuners: An assessment method and a rule proposal.
Proceedings of the American Control Conference, 2015

A control-theoretical approach to thread scheduling for multicore processors.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014
Task scheduling: A control-theoretical viewpoint for a general and flexible solution.
ACM Trans. Embed. Comput. Syst., 2014

Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration.
Simul., 2014

Object-Oriented Modelling and Simulation of Air Flow in Data Centres Based on a Quasi-3D Approach for Energy Optimisation.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

FLOPSYNC-2: Efficient Monotonic Clock Synchronisation.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

2013
Power Optimization in Embedded Systems via Feedback Control of Resource Allocation.
IEEE Trans. Control. Syst. Technol., 2013

Laboratories Over the Network: From Remote to Mobile.
Proceedings of the 10th IFAC Symposium on Advances in Control Education, 2013

Teaching a Conscious Use of PI/PID Tuning Rules.
Proceedings of the 10th IFAC Symposium on Advances in Control Education, 2013

Feedback-based memory management with active swap-in.
Proceedings of the 12th European Control Conference, 2013

Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

A generalized software framework for accurate and efficient management of performance goals.
Proceedings of the International Conference on Embedded Software, 2013

Automatic partitioning and simulation of weakly coupled systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A general control-theoretical methodology for runtime resource allocation in computing systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Low power synchronisation in wireless sensor networks via simple feedback controllers: The FLOPSYNC scheme.
Proceedings of the American Control Conference, 2013

Object-oriented modelling for control synthesis and commissioning in power plants: A case study on flue gas path control.
Proceedings of the American Control Conference, 2013

Control-Based Operating System Design.
IET Control Engineering Series 89, Institution of Engineering and Technology IET, ISBN: 978-1-84919-609-3, 2013

2012
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems.
ACM Trans. Auton. Adapt. Syst., 2012

Object-oriented quasi-3D sub-zonal airflow models for energy-related system-level building simulation.
Simul. Model. Pract. Theory, 2012

Flexible logic-based Co-simulation of Modelica models.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Reliability-driven dynamic binding via feedback control.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Autotuning control structures for reliability-driven dynamic binding.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Performance analysis of operating systems schedulers realised as discrete-time controllers.
Proceedings of the IEEE International Conference on Control Applications, 2012

Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach.
Proceedings of the IEEE International Conference on Control Applications, 2012

Exploiting object-oriented modelling for scalable-detail studies on control for energy efficiency.
Proceedings of the IEEE International Conference on Control Applications, 2012

Object-oriented simulation for primary reserve scheduling in a combined cycle power plant.
Proceedings of the IEEE International Conference on Control Applications, 2012

2011
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Decision making in autonomic computing systems: comparison of approaches and techniques.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

2010
A control-theoretical methodology for the scheduling problem
CoRR, 2010

Toward a deeper use of feedback control in the design of critical computing system components.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Controlling software applications via resource allocation within the heartbeats framework.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A pseudo-multirate implementation of digital systems for improved performance.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On the use of models with delay in PI(D) autotuning.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
PI(D) tuning with contextual model identification.
Proceedings of the 10th European Control Conference, 2009

Extending PI tuning rules to 2-dof regulator structures.
Proceedings of the 10th European Control Conference, 2009

A multirate autotuning PI with improved static performance.
Proceedings of the American Control Conference, 2009

Adaptive temperature control of a household refrigerator.
Proceedings of the American Control Conference, 2009

Object-oriented modelling and simulation of starch mashing.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Multifunctional Remote Laboratory for Education in Automatic Control: The CrAutoLab Experience.
IEEE Trans. Ind. Electron., 2008

Closed- versus open-loop active vibration control in the presence of finite precision arithmetic.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

On some approaches to the autotuning of cascade controls.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

Autotuning of PI+p controllers.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

Nonparametric decoupling of MIMO systems.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

2007
Set point tracking optimisation by causal nonparametric modelling.
Autom., 2007

Finite-precision implementation issues in narrowband active control.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

On the parameterisation of simple process models for the autotuning of industrial regulators.
Proceedings of the American Control Conference, 2007

Model-based autotuning of industrial SISO regulators accommodating for free-structure process models.
Proceedings of the American Control Conference, 2007

Model-based PI(D) tuning with ad-hoc regulator expressions.
Proceedings of the American Control Conference, 2007

Comparative study of model-based PI(D) autotuning methods.
Proceedings of the American Control Conference, 2007

Simultaneous optimisation of set point tracking and decoupling in autotuning multivariable regulators.
Proceedings of the American Control Conference, 2007

2006
Performance and Robustness Improvement in the IMC-PID Tuning Method.
Eur. J. Control, 2006

Vibration control of a turbomolecular vacuum pump using piezoelectric actuators.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Model structure selection based on polygonal curve approximation techniques.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
Nonparametric identification for the causal optimization of set point tracking.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Causal design methodology for optimal tracking in 2-d.o.f. industrial controllers.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Turning a toy into a didactic industrial regulator.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Object-Oriented Modelling & Simulation of Power Plants with Modelica.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
Model-based PID autotuning enhanced by neural structural identification.
Proceedings of the 2004 American Control Conference, 2004

An experimental laboratory on control structures.
Proceedings of the 2004 American Control Conference, 2004

Autotuning process controller with enhanced load disturbance rejection.
Proceedings of the 2004 American Control Conference, 2004

2003
A hands-on experimental laboratory for undergraduate courses in automatic control.
IEEE Trans. Educ., 2003

2002
Pulse superposition: a technique for peak-to-average power ratio reduction in OFDM modulation.
Proceedings of the IEEE International Conference on Communications, 2002

2001
IMC-based synthesis of the feedback block of ISA-PID regulators.
Proceedings of the 6th European Control Conference, 2001

2000
Estimating model mismatch overbounds for the robust autotuning of industrial regulators.
Autom., 2000

1999
Analysis of two digital adaptive pre-correctors for nonlinearity in OFDM systems.
Proceedings of the 1999 IEEE International Conference on Communications: Global Convergence Through Communications, 1999

1998
A Process Simulation Environment Based on Visual Programming and Dynamic Decoupling.
Simul., 1998

1997
Automatic Tuning of PID Regulators in Presence of Model Perturbations near the Desired Closed-Loop Cutoff.
Eur. J. Control, 1997

1994
Self-tuning PI-PID regulators for stable systems with varying delay.
Autom., 1994


  Loading...