A region-based approach for state estimation of timed automata under no event observation.

Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua

Browse the full ETFA paper archive.