Uncertainty Modeling in Cyber-Physical Systems

A tutorial affiliated with ETAPS 2010

21^st March 2010, Paphos, Cyprus

Thank you to all participants for contributing to the success of the tutorial!

Lecturers

Manuela Bujorianu, University of Manchester, UK Organizer

Anne Remke University of Twente, The Netherlands

Tino Teige Oldenburg University, Germany
Prof. Brian White, Cranfield University, UK

Lectures

• Autonomous behaviour verification for mobile robotic sensor platforms!

(Brian White)

• Cyber-physical systems: Quo vadis?

(M. Bujorianu)

• Controlling uncertainty in renewable energy systems

(M. Bujorianu)

• Modelling physics/computation interaction by the hybrid discrete/continuous paradigm

(M. Bujorianu)

• Modelling a water cleaning facility using Hybrid Petri nets with general transitions

(A. Remke)

Abstract

• Parametric reachability analysis of Hybrid Petri nets with general transitions

(A. Remke)

Abstract

• Modelling networked automation systems using probabilistic hybrid automata

(T. Teige)

Abstract

· Bounded model checking of probabilistic hybrid automata

(T. Teige)

Abstract

Key topics

· Autonomous systems and robotics

· Energy informatics

· Networked control systems

· Stochastic hybrid systems

· Hybrid Petri nets

· Bounded model checking

· Stochastic and parametric reachability analysis