5 citations · 5 across the 2 of their papers we have counts for
2 papers
eess.SY2025★ 5 cited
Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
Omar Amri, Carla Seatzu, Alessandro Giua +1
This paper is about the state estimation of timed probabilistic discrete event systems. The main contribution is to propose general procedures for developing state estimation appro…
cs.FL2024
State estimation of timed automata under partial observation [Draft version]
Chao Gao, Dimitri Lefebvre, Carla Seatzu +2
In this paper, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it m…