SE

S. Esmaeil Zadeh Soudjani

Authored

14 records found

FAUST2

Formal Abstractions of Uncountable-STate STochastic processes

This paper presents a stochastic model predictive control problem for a class of discrete event systems, namely stochastic max-plus linear systems, which are of wide practical interest as they appear in many application domains for timing and synchronization studies. The objectiv ...