Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers

Dimitri Lefebvre, Christoforos N. Hadjicostis. Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. Discrete Event Dynamic Systems, 30(3):413-440, 2020. [doi]

Abstract

Abstract is missing.