32 citations · 72 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…
cs.FL2024
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
Kuize Zhang, Xiaoguang Han, Alessandro Giua +1
In this paper, we consider labeled finite-state automata (LFSAs), extend some state estimation-based properties from a single agent to a finite ordered set of agents. We also exten…