STOCHASTIC INTERFACES
Reachability anaysis in continuous-time Markov decision processes
Logics towards POMDP with and/or without rewards
Energy consumption in Ad-Hoc and Sensor Networks
Stochastic Interfaces
An eclipse environment for Modest (finished)
Analysis of an Airbag Control Unit (finished)

Title

Stochastic Interfaces


Content

This project explores the interface theories developed by Henzinger and coworkers [DEA02]. These theories have been designed to address composability issues for timed and untimed systems. The project explores principal ways to extend them to stochastic-timed systems, as occurring in various distributed networking applications. The focus is not on bare theoretical results, but insteads strives for a usable theory of composition of stochastic interfaces.


Status

Available


Contact

Prof. Dr.-Ing. Holger Hermanns


References

[DEA02] de Alfaro, Henzinger, Stoelinga. Timed Interfaces. EMSOFT 2002, LNCS 2491.