54 citations · 213 across the 36 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
eess.SY2018
Critical Observability for Automata and Petri Nets
Tomáš Masopust
Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical applications, critical st…
eess.SY2018
Automatic Generation of Optimal Reductions of Distributions
Liyong Lin, Tomáš Masopust, W. Murray Wonham +1
A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of deco…
cs.LO2018★ 2 cited
Deciding Detectability for Labeled Petri Nets
Tomas Masopust, Xiang Yin
Detectability of discrete event systems (DESs) is a property to determine a priori whether the current and subsequent states can be determined based on observations. In this paper,…