Lund 22-23/05/02


PROGRAM


 

Wednesday 22/5

 

13.30-14.10

On Control with Bounded Computational Resources

O.Maler 

14:20-14:40 A Front-end and an Intermediate Format for Defining Hybrid Automata E. Asarin
14:40-15:00 M. Larsson

Voltage Control in power systems: preliminary results

T. Geyer
15:20-15:50

Description of the Case Study: "The Idle Speed Control"

M. Zoncu
15:50-16:20

Modeling and Verification of Idle Speed Control with d/dt

T. Dang

Thursday, 23/5

09:00-09:40 ? Årzen, Cervin
09:40-10:00 ? A. Rantzer
10:20-10:40 Relaxing Dynamic Programming B. Lincoln
10:40-11:00 ? Pranja
11:10-11:40

Design of Observers for Hybrid Systems

A. Balluchi
13:50-14:10 ? T. Olsson

14:10-14:30

Robust Contrained Optimal Control

F. Borrelli

14:30-15:10

Steam Generator Water level Control: A Benchmark for Hybrid Control Techniques

P. Bendotti, Falinower

PARTECIPANTS

ETH Zurich

Francesco Borrelli

University of Lund

Anders Rantzer, Bo Lincoln, Pranja (Lund/CALTECH), Tomas Olsson, Årzen, Cervin

PARADES

Marco Zoncu, Andrea Balluchi

ABB

Matts Larson

EDF

Pascale Bendotti, Falinower

VERIMAG

Oded Maler, Asarin, Dang