MoVeS

Modeling, verification and control of complex systems: From foundations to power network applications

 Coordinatore EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH 

 Organization address address: ETH Zurich, Physikstrasse 3
city: Zurich
postcode: CH-8092

contact info
Titolo: Prof.
Nome: John
Cognome: Lygeros
Email: send email
Telefono: +41 44 632 89 70
Fax: +41 44 632 12 11

 Nazionalità Coordinatore Switzerland [CH]
 Totale costo 2˙220˙852 €
 EC contributo 1˙648˙682 €
 Programma FP7-ICT
Specific Programme "Cooperation": Information and communication technologies
 Code Call FP7-ICT-2009-5
 Funding Scheme CP
 Anno di inizio 2010
 Periodo (anno-mese-giorno) 2010-10-01   -   2013-09-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH

 Organization address address: ETH Zurich, Physikstrasse 3
city: Zurich
postcode: CH-8092

contact info
Titolo: Prof.
Nome: John
Cognome: Lygeros
Email: send email
Telefono: +41 44 632 89 70
Fax: +41 44 632 12 11

CH (Zurich) coordinator 0.00
2    HONEYWELL, SPOL. S.R.O

 Organization address address: V Parku
city: PRAHA 4
postcode: 14800

contact info
Titolo: Dr.
Nome: Petr
Cognome: Stluka
Email: send email
Telefono: +420 234 625 934
Fax: +420 234 625 900

CZ (PRAHA 4) participant 0.00
3    OFFIS EV

 Organization address address: Escherweg
city: OLDENBURG
postcode: 26121

contact info
Titolo: Prof.
Nome: Bernhard
Cognome: Josko
Email: send email
Telefono: +49 441 9722 520
Fax: +49 441 9722 502

DE (OLDENBURG) participant 0.00
4    POLITECNICO DI MILANO

 Organization address address: PIAZZA LEONARDO DA VINCI
city: MILANO
postcode: 20133

contact info
Titolo: Mr.
Nome: Fabio
Cognome: Conti
Email: send email
Telefono: +39 02 23993431
Fax: +39 02 23993437

IT (MILANO) participant 0.00
5    RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

 Organization address address: Templergraben
city: AACHEN
postcode: 52062

contact info
Titolo: Prof.
Nome: Ernst
Cognome: Schmachtenberg
Email: send email
Telefono: +49 241 8090490
Fax: +49 241 8090490

DE (AACHEN) participant 0.00
6    TECHNISCHE UNIVERSITEIT DELFT

 Organization address address: Stevinweg
city: DELFT
postcode: 2628 CN

contact info
Titolo: Dr.
Nome: Alessandro
Cognome: Abate
Email: send email
Telefono: +31 15 27 85606
Fax: +31 15 27 85679

NL (DELFT) participant 0.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

framework    optimal    checking    randomized    model    motivated    theorem    proving    dynamics    shs    power    networks    continuous    giving    synergies    uncertainty    fundamental    discrete   

 Obiettivo del progetto (Objective)

We propose novel methods for modelling, analysis and control of complex, large scale systems. Fundamental research is motivated by applied problems in power networks. We adopt the framework of stochastic hybrid systems (SHS), which allows one to capture the interaction between continuous dynamics, discrete dynamics and probabilistic uncertainty. In the context of power networks, SHS arise naturally: continuous dynamics model the evolution of voltages, frequencies, etc. discrete dynamics changes in network topology, and probability the uncertainty about power demand and (with the advent of renewables) power supply. More generally, because of their versatility, SHS are recognized as an ideal framework for capturing the intricacies of complex, large scale systems. Motivated by this, considerable research effort has been devoted to the development of modelling, analysis and control methods for SHS, in computer science (giving rise to theorem proving and model checking methods) and in control engineering (giving rise to optimal control and randomized methods). Despite several success stories, however, none of the methods currently available are powerful enough to deal with real life large scale applications. We feel that a key reason for this is that the methods have been developed by different communities in relative isolation, motivated by different applications. As a consequence synergies between them have never been fully explored. We propose to systematically exploit such synergies. Our multi-disciplinary team, which brings together experts on all the state of the art SHS methods, will establish links between model checking, theorem proving, optimal control and randomized methods. Leveraging on their complementary strengths we will develop combined strategies and tools to enable novel applications to complex, large scale systems. Common power networks case studies will provide a testing ground for the fundamental developments, motivate them, and keep them focused.

Altri progetti dello stesso programma (FP7-ICT)

MOVESMART (2013)

Renewable Mobility Services in Smart Cities

Read More  

EPIWORK (2009)

Developing the Framework for an Epidemic Forecast Infrastructure

Read More  

CARDIOPROOF (2013)

Proof of Concept of Model-based Cardiovascular Prediction

Read More