On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.06.275
Abstract: Abstract Reactive synthesis (RS) and supervisory control theory (SCT) both provide a design methodology for digital systems. RS takes a computer science perspective and seeks to synthesise a system that interacts with its environment in… read more here.
Keywords: reactive synthesis; synthesis supervisory; supervisory control; synthesis ... See more keywords