Control of hybrid systems based on net state models | IEEE Conference Publication | IEEE Xplore