State construction in discrete event and continuous systems | IEEE Conference Publication | IEEE Xplore