activity
20182025
most citedProbabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]

5 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

math.OC2018

On detectability of labeled Petri nets and finite automata

Kuize Zhang, Alessandro Giua

We study detectability properties for labeled Petri nets and finite automata. We first study weak approximate detectability (WAD) that implies that there exists an infinite observe…