logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorLeva Alberto
QualificationFull professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/04 - Systems And Control Engineering
Curriculum VitaeDownload CV (554.58Kb - 08/11/2018)
OrcIDhttps://orcid.org/0000-0003-2165-2078

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
Elettronica, Informazione e Bioingegneria--234ThursdayFrom 13:30
To 15:30
02.2399.3410----
E-mailalberto.leva@polimi.it
Professor's personal websitehome.deib.polimi.it/leva

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
PID control education for computer engineering students: A step to bridge a cultural gap (Show >>)
Fine-grained Dynamic Resource Allocation for Big-Data Applications (Show >>)
Contributions on scientific books
Event-Based Thermal Control for High Power Density Microprocessors (Show >>)
Conference proceedings
Towards a High-Performance Modelica Compiler (Show >>)
An Open-hardware Platform for MPSoC Thermal Modeling (Show >>)
Modelling and structure-tailored control of biogas plants fed on agro-food residues (Show >>)
Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems (Show >>)
Modelling and Control of Biogas Plants Fed on Agro-food Residues (Show >>)
Control-oriented modelling of proof-of-work blockchains (Show >>)
Teaching to design control applications with coordinated modulating and logic functions (Show >>)
An Event-based Multi-purpose Approach to Computational Sprinting (Show >>)
Towards a Benchmark Suite for High-Performance Modelica Compilers (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Event-Based Power/Performance-Aware Thermal Management for High-Density Microprocessors (Show >>)
Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis (Show >>)
Conference proceedings
Structure-specific analytical PID tuning for load disturbance rejection (Show >>)
PID-based controls in computing systems: a brief survey and some research directions (Show >>)
Teaching PID control to computer engineers: a step to fill a cultural gap (Show >>)
Progress Rate Control for Computer Applications (Show >>)
Event-based Thermal/power/performance Management at the Core Level in Multicore CPUs (Show >>)
TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC (Show >>)
Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks (Show >>)
Conference proceedings
An introduction to systems and control theory for computer scientists and engineers (Show >>)
Periodic Event-based Control with Past Measurements Transmission (Show >>)
Simulation of Large Grids in OpenModelica: Reflections and Perspectives (Show >>)
Jitter-Compensated VHT and Its Application to WSN Clock Synchronization (Show >>)
Modelling and Control of Big Data Frameworks (Show >>)
Equation-Based Object-Oriented modelling and simulation of large-scale Smart Grids with Modelica (Show >>)
Sporadic Model Predictive Control (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
CellularAutomataLib2: improving the support for cellular automata modelling in Modelica (Show >>)
Conference proceedings
A discrete-Time feedback controller for containerized cloud applications (Show >>)
Teaching Task Scheduling as Multivariable Cascade Control (Show >>)
Event-based control as an enabler for high power density processors (Show >>)
A library of modeling components for adaptive queuing networks (Show >>)
FLOPSYNC-QACS: Quantization- Aware Clock Synchronization for Wireless Sensor Networks (Show >>)
High-speed thermal management for power-dense microprocessors (Show >>)
Applying simple PID tuning rules with extended frequency response knowledge (Show >>)
Abstract in Atti di convegno
A High-Performance, Energy-Efficient Node for a Wide Range of WSN Applications (Show >>)
Patents
Dispositivo elettronico per il controllo di temperatura e prestazioni di calcolo di almeno una unità di elaborazione e relativo sistema e metodo di controllo (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A dynamic modelling framework for control-based computing system design (Show >>)
A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems (Show >>)
A generic and systematic procedure to derive a simplified model from the anaerobic digestion model No. 1 (ADM1) (Show >>)
Hard real-time guarantees in feedback-based resource reservations (Show >>)
High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control (Show >>)
Conference proceedings
Disturbance rejection in autotuners: An assessment method and a rule proposal (Show >>)
Control Theory for Model-based Performance-driven Software Adaptation (Show >>)
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (Show >>)
Event-based Thermal Control for High-density Processors (Show >>)
A Control-Theoretical Approach to Thread Scheduling for Multicore Processors (Show >>)
Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization (Show >>)
Poster
A switched control scheme to handle quantisation in the design of high-precision computing system components (Show >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
11/12/2019