Moor, Thomas; Schmidt, Klaus Werner
(Elsevier Science BV, 2017)
The controllability prefix is known as a useful concept for the discussion and solution of synthesis problems in supervisory control of cp-languages, i.e., formal languages of infinite-length words. There, the controllability ...