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

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]

Authors

Chao Gao

This author has not been identified. Look up 'Chao Gao' in Google

Dimitri Lefebvre

This author has not been identified. Look up 'Dimitri Lefebvre' in Google

Carla Seatzu

This author has not been identified. Look up 'Carla Seatzu' in Google

Zhiwu Li

This author has not been identified. Look up 'Zhiwu Li' in Google

Alessandro Giua

This author has not been identified. Look up 'Alessandro Giua' in Google