Abstraction-based control for not necessarily closed behaviours


Moor T., Schmidt K. V., Wittmann T.

IFAC Proceedings Volumes (IFAC-PapersOnline), cilt.44, ss.6988-6993, 2011 (Scopus) identifier identifier