Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.020
Abstract: Abstract This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers. Distinguishers are special components responsible to select an enabled event from a group of related refined events. They are a… read more here.
Keywords: nonblocking supervisors; restrictive controllable; synthesis; least restrictive ... See more keywords