DSpace Repository

Browsing Mühendislik Fakültesi by Author "Wittmann, Thomas"

Browsing Mühendislik Fakültesi by Author "Wittmann, Thomas"

Sort by: Order: Results:

  • 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 ...