Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting
Sign Up to like & getrecommendations! Published in 2021 at "IEEE/CAA Journal of Automatica Sinica"
DOI: 10.1109/jas.2021.1003964
Abstract: The supervisory control problem for discrete event system (DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES, results in a system that conforms to the control specification.… read more here.
Keywords: calculus; control; non deterministic; specification ... See more keywords