Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua. A region-based approach for state estimation of timed automata under no event observation. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. pages 799-804, IEEE, 2020. [doi]
Abstract is missing.