Uppaal SMC tutorial

Søgeresultater

• Afsluttet

  CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

  Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)

  FP7 STREP

  01/04/2013 → 31/03/2016

  Projekter: Projekt › Forskning

  • Markov Chain 100%
  • Model Checking 50%
  • System Synthesis 40%
  • Numerical Minimization 40%
  • Zero-sum Game 40%

• SENSATION: Self Energy-Supporting Autonomous Computation

  Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)

  FP7 FET Proactive

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Markov Chain 100%
  • Model Checking 50%
  • Numerical Minimization 40%
  • Self-supporting 40%
  • Autonomous Computing 40%

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)

  Artemis JU

  01/11/2011 → 31/10/2014

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Statistical Model 50%
  • Embedded Systems 40%
  • Model-based Testing 40%
  • Model-based Analysis 40%

• IDEA4CPS: Foundations for Cyber-Physical Sytems

  Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Bulychev, P. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Poulsen, D. B. (Projektdeltager)

  01/04/2011 → 30/04/2015

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Markov Chain 88%
  • Statistical Model 55%
  • Axiomatization 55%
  • Weighted Logic 44%