Design of switched observer using Timed Differential Petri Nets: A dwell time approach | IEEE Conference Publication | IEEE Xplore