Moor, Thomas; Schmidt, Klaus Werner; Wittmann, Thomas
(IFAC Secretariat, 2011)
This paper addresses abstraction-based supervisory control for plant and specification behaviours that are not necessarily ω-closed, i.e. plant behaviours that exhibit eventuality properties and specifications that impose ...