Abstraction-based control for not necessarily closed behaviours - Moor, Thomas; Schmidt, Klaus; Wittmann, Thomas Karl (18th IFAC World Congress, 2011)
Keywords: ω-languages; Abstraction-based synthesis; Discrete event systems; Supervisory control

Consistent abstractions for the purpose of supervisory control - Agethen, Christine; Moor, Thomas; Baier, Christine; Wittmann, Thomas Karl (52nd IEEE Conference on Decision and Control, CDC 2013, 2013)