Mardi 24 Mars
Heure: 
12:30  13:30 
Lieu: 
Salle B107, bâtiment B, Université de Villetaneuse 
Résumé: 
Unit Commitment problems: approaches and solution algorithms 
Description: 
Claudio Gentile The Unit Commitment is a the problem to manage a set of power generating units of different types over a short time horizon. Unit Commitment is formulated as a Mixed Integer Nonlinear Programming problem. It requires special techniques to handle both the large size of the instances to be solved and the nonlinearity of the objective function. Two main approaches have been used in its solution: the Lagrangian Relaxation coupled with primal heuristics and MILP approximations. We discuss some new advancements for both approaches. 
Heure: 
14:00  17:00 
Lieu: 
Salle B107, bâtiment B, Université de Villetaneuse 
Résumé: 
Automates d'arbres 
Description: 
Gwendal Collet 
Mercredi 25 Mars
Heure: 
14:00  15:00 
Lieu: 
Amphi A 
Résumé: 
Extending Petri Nets with ObjectOrientation 
Description: 
Charles Lakos This seminar will introduce the formalism of Petri Nets and their use in modelling and analysing concurrent systems. It will briefly mention some of the extensions of Petri Nets to achieve greater descriptive comfort. It will then report on work over a number of years to extend Petri Nets with ObjectOriented features, thereby making it easier to define polymorphic modules and to capture incremental development. The seminar will also describe the properties of such nets and the analysis possibilities. 

