LTH-image


Abstract

On Under-Determined Dynamical Systems

Oded Maler

Abstract:  

Under-determined dynamical systems are those that need additional information in order to produce simulation traces. This information may correspond to unknown initial conditions, parameter values or dynamic external influences. I will discuss this issue and survey some common approaches (verification, testing) to reconcile this fact with the practice of simulation.

Presentation Slides