Deliverables

Key Deliverables

Modeling and abstraction

1.1

Report on modeling framework, model composition, and bisimulation notions (729KB PDF)

1.2

Final report on bisimulation notions and related computational techniques (721KB PDF)

1.3

Report on hierarchical abstraction framework (748KB PDF)

 

System analysis and design

2.1

Report on Model-checking algorithms, SSMT techniques, and randomized methods for SHS (507KB PDF)

2.2

Report on parametric model checking of stochastic models (832KB PDF)

2.3

Final report on Stochastic Satisfiability Modulo Theory (SSMT) techniques for stochastic hybrid systems (2.2MB PDF)

2.4

Final report on randomized methods for test sample generation, filtering and systems identification (1.3MB PDF)

 

Online decision-making and control

3.0

Report on approximate dynamic programming and model predictive control for stochastic hybrid systems (1.38MB PDF)

3.1

Final report on approximate dynamic programming for stochastic hybrid systems (3.21B PDF)

3.2

Final report on model predictive control for stochastic hybrid systems (1.12MB PDF)

3.3

Report on algorithms for the optimal control of continuous-time MDPs (781KB PDF)

 

Integration and power network applications

4.0

Interim report on the integration between methods 300KB PDF)

4.1

Report on selection of case studies (725KB PDF)

4.2

Interim report on SHS models, modeling and analysis results (4.86MB PDF)

4.3

Final report on modeling, analysis, impact and potential exploitation (2.41MB PDF)

4.4

Final consolidated report and list of publications

 

Dissemination and exploitation

  MoVeS Fiche (361KB PDF)

5.0

Conference and journal publications

5.1

Organization of a MoVeS workshop

5.2

Organization of a MoVeS summer school

5.3

Teaching material for advanced courses

5.4

Interim plan for the use and dissemination of foreground (339KB PDF)

5.5

Final plan for the use and dissemination of foreground

5.6

Final report on ‘Awareness and Wider Societal Implications’

 

 

announcements

VeriSiMPL Toolbox
Verification via biSimulations of Max-Plus-Linear models. This toolbox is used to generate finite abstractions of autonomous and nonautonomous Max-Plus-Linear (MPL) models over R^n. Alessandro Abate & Dieky Adzkiya (TU Delft).