Abstract
The design of output feedback controllers that eliminate uncertainties caused by critical races in asynchronous sequential machines is considered. The objective is to build controllers that drive a race-afflicted machine so as to match a prescribed deterministic model. Necessary and sufficient conditions for the existence of such controllers are presented in terms of a numerical matrix derived from the given machine. When controllers exist, an algorithm for their construction is also provided. The discussion depends on the novel notion of ‘generalised state’, which helps represent the uncertainty created by critical races and facilitates the construction of controllers.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
