DISI - Università di Bologna
Viale Risorgimento, 2 - 40136 - Bologna (ITALY)
Tel +39 051 2093790
Michela Milano is full professor at DISI, the Department Computer Science and Engineering of the University of Bologna. She received her Ph.D. in Computer Science in 1998 with a thesis on Constraint Programming.
Her research interests cover the area of hybrid optimization, a multi-disciplinary field at the cross-road of computer science and applied mathematics, optimization for embedded system design and computational sustainability.
She is Editor in Chief of the Constraint Journal, Area Editor of Constraint Programming Letters and Area Editor of INFORMS Journal on Computing. She has been Associate Editor for INFORMS Journal on Computing and member of the Editorial Board of the Constraint Journal, She has been guest editor for a number of special issues in international journals.
She is author of more than 120 papers on peer reviewed international conferences and journals, editor of four books on hybrid optimizan and guest editor of a three special issues. She is one of the founders of the Constraint Programming and Operations Reseach community, organizer of the first International CPAIOR workshop in Ferrara in 1999 and program chair of CPAIOR 2005 (Prague, Czech Republique) and CPAIOR 2010 (Bologna, Italy). She has been program chair of CP2012 (Quebec City, Canada).
Michela Milano is the recipient of the Google Faculty Research Award on DeepOpt: Embedding deep networks in Combinatorial Optimization. She has been the coordinator of the EU FP7 project e-POLICY - Engineering the POlicy making LIfe CYcle (2011-2014), aimed at integrating optimization and decision support techniques with social simulation and game theory to help policy makers in their decision process. The project also exploits opinion mining and visual analitics techniques. She is partner of the EU-FP7 project COLOMBO - Cooperative Self-Organizing System for low Carbon Mobility at low penetration rates (2012 -2015) and of the EU-FP7-Smartcity project DAREED - Decision Support Advidor for innovative business and user engagement for smart energy efficient districts. She has been Italian coordinator for an exchange programme Italy Quebec: Algorithms and systems for the operational planning in industry and services (2007-2009).
Program Committee member
Twenty-eighth AAAI Conference on Artificial Intelligence, Senior PC member AAAI 2014Twenty-Seventh AAAI Conference on Artificial Intelligence, Senior PC member AAAI 2013
Hybrid optimization is a set of multi-disciplinary approaches for solving decision and optimization problems that merge constraint reasoning, applied mathematics, computational logics, metaheuristics and statistics. The motivations for using hybrid optimization is that real problems present a very complex structure, with side constraints and uncertain data and are composed by distinct, yet tightly connected subproblems. Thus, a single approach is in general ineffective and hybrid solvers are more effective.
CPAIOR Conference Series: CPAIOR started as a Workshop in Ferrara in 1999 and became a conference in 2004. Now it is the major forum for researchers interested in combining operations research and artificial intelligence methods in Constraint Programming.
Constraint Programming global constraints are very effective tools enabling concise modeling. From an operational perspective they can be seen as software components embedding powerful filtering algorithms able to remove provably infeasible portions of the search space.
In optimization problems, beside feasibility reasoning global constraints can perform optimality reasoning and prune the search space by removing provably sub-optimal parts.
Optimization global constraints embed, beside the traditional filtering algorithm, an optimization component modeling a relaxation of the constraint itself and providing three pieces of information:
These pieces of information can be used to filter the domain of variables involved in the constraint.
The optimization component can be either a linear relaxation possibly tighted with cutting planes or a combinatorial relaxation.
The classical Benders Decomposition method decomposes a problem into two loosely connected subproblems. It enumerates values for the connecting variables. For each set of values enumerated, it solves the subproblem that results from fixing the connecting variables to these values. The solution of the subproblem generates a Benders cut that the connecting variables must satisfy in all subsequent solutions enumerated.
The process continues until the master problem and subproblem converge providing the same value. The classical Benders approach, however, requires that the subproblem is a continuous linear or nonlinear programming problem.
Logic-Based Benders Decomposition LBBD is an extension of the tranditional scheme that enables generic solvers to be used as subproblem solvers.
We have applied LBDD to scheduling problems with alternative resources in the field of embedded system design. The structure of a solver exploits problem decomposition, where task to resource assignments influence the objective function and are performed via an Integer Linear Programming (ILP) solver. The scheduling part (with fixed resources), instead, is better dealt with Constraint Programming (CP).
The figure depicts the overall process. Resource allocation is computed by optimizing the objective function. The valid allocation is passed to the scheduling component. If a schedule exist for such allocation, the process converges to the optimal solution. Otherwise a no good is generated (as a linear constraint) and passed to the resource allocation component.
Two aspects influence the overall process: (1) to avoid the generation of trivially infeasible solutions in the allocation part, the ILP model should embed a scheduling problem relaxation; (2) tight no-goods can heavily reduce the number of iterations of the overall solution process.
We have faced different problems with this structure: those where the objective function depends only on the resource allocation variables, and those where also scheduling decision impact the objective function. We have deeply investigated tight relaxation and tight cuts to speed up the solution process.
The e-POLICY project is a FP7 STREP project funded under the Information and Communication Technologies (ICT) theme, Objective 5.6 ICT solutions for Governance and Policy Modeling.
Its main aim is to support policy makers in their decision process across a multi-disciplinary effort aimed at engineering the policy making life-cycle. For the first time, global and individual perspectives on the decision process are merged and integrated. The project focuses on regional planning and promotes the assessment of economic, social and environmental impacts during the policy making process (at both the global and individual levels). For the individual aspects, e-POLICY aims at deriving social impacts through opinion mining on e-participation data extracted from the web. To aid policy makers, citizens and stakeholders, e-POLICY heavily relies on visualization tools providing an easy access to data, impacts and political choices.
The COLOMBO project is a FP7 STREP project funded under the Information and Communication Technologies (ICT) theme, Objective ICT-2011.6.7 Cooperative Systems for energy efficient and sustainable mobility.
Its main aim is to deliver a set of modern, self-organizing traffic management algorithms designed for being applicable even at low penetration rates, asserting their usability from the very first deployment days on. COLOMBO will focus on two traffic management topics: traffic surveillance and advanced traffic light control algorithms. Herein, cost-efficiency and the reduction of vehicular emissions will be the project’s key objectives. Both results are assumed to be more than a pure technology step. Rather than that, they lay the foundations for new, cost- effective and comprehensive way to measure and handle traffic. Additional results will include prototypes for incident and emission monitoring at intersections, going far beyond current state of the art.
DAREED is a FP7-Smartcity project framed within energy efficiency for Smart Cities. European Comission fosters projects focused in objectives of 2020 low carbon economy through the integration and validation of ICT technologies and services in neighbourhoods. DAREED's goal is to reduce energy consumption in buildings by using ICT, anticipating savings between 7% and 10%. To achieve this, DAREED will create a system capable of receiving information from various sources, analyzing energy consumption profiles, and providing information and advice to citizens, utilities and public institutions, involving all stakeholders in the process of improving energy efficiency. These tools will be used to help energy companies to define and validate their business models and pricing schemes, policy makers to pomote energy efficiency through political actions and instruments and citizens to save money and energy through awareness tools.
Our group has pursued a research line aiming to provide a methodology to connect and integrate decision making and optimization technology with com- plex systems. In this project we plan to investigate an integration method based on the use of a hybrid combinatorial/machine-learning model. In detail, we will use learning techniques to extract (part of) the optimization model from sim- ulation or from direct system observation. As a practical case study, we will consider thermal aware workload dispatching on many core chips (Scenario A) and on HPC centers (Scenario B). The developed methodology will provide ac- curate, adaptive, easy to deploy thermal models for optimization methods, and hence the opportunity to achieve power savings and performance improvements beyond the current state of the art.
Corso su Global System Science e Smart Cities
La prof. Milano svolge gli esami di Fondamenti di Informatica LA vecchio ordinamento per Ing. Elettronica, Ing. delle Telecomunicazioni e Ing. Automatica. Gli studenti possono trovare il programma e il materiale per sostenere l'esame al seguente link