Alberto Leva
Orcid: 0000-0003-2165-2078Affiliations:
- Politecnico di Milano, Milan, Italy
According to our database1,
Alberto Leva
authored at least 120 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Scalable and efficient digital twins for model-based design of cyber-physical systems.
Int. J. Comput. Integr. Manuf., November, 2024
2023
Efficient Control Representation in Digital Twins: An Imperative Challenge for Declarative Languages.
IEEE Trans. Ind. Informatics, November, 2023
ACM Trans. Math. Softw., September, 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
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
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
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
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
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019
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
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
Proceedings of the 17th European Control Conference, 2019
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
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
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.
J. Syst. Archit., 2017
Switched control for quantized feedback systems: invariance and limit cycles analysis.
CoRR, 2017
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017
Proceedings of the 3rd International Conference on Event-Based Control, 2017
2016
IEEE Trans. Control. Syst. Technol., 2016
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
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016
Proceedings of the Second International Conference on Event-based Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
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
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
Proceedings of the International Conference on Event-based Control, 2015
Proceedings of the American Control Conference, 2015
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
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
2013
IEEE Trans. Control. Syst. Technol., 2013
Proceedings of the 10th IFAC Symposium on Advances in Control Education, 2013
Proceedings of the 10th IFAC Symposium on Advances in Control Education, 2013
Proceedings of the 12th European Control Conference, 2013
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
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
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
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012
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
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
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the 10th European Control Conference, 2009
Proceedings of the 10th European Control Conference, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
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
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008
2007
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
Proceedings of the American Control Conference, 2007
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
Eur. J. Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Proceedings of the 2004 American Control Conference, 2004
Proceedings of the 2004 American Control Conference, 2004
Proceedings of the 2004 American Control Conference, 2004
2003
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
Proceedings of the 6th European Control Conference, 2001
2000
Estimating model mismatch overbounds for the robust autotuning of industrial regulators.
Autom., 2000
1999
Proceedings of the 1999 IEEE International Conference on Communications: Global Convergence Through Communications, 1999
1998
Simul., 1998
1997
Automatic Tuning of PID Regulators in Presence of Model Perturbations near the Desired Closed-Loop Cutoff.
Eur. J. Control, 1997
1994