Hybrid observer design for switched linear systems using Differential Petri Net | IEEE Conference Publication | IEEE Xplore