A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
Proceedings of the 2010 American Control Conference
The paper introduces a new area of application of the supervisory control (SC) methods and a project dealing with this research topic. Based on the observation that various constraints on the operation and synchronization of concurrent processes can be expressed in terms of SC specifications, the paper proposes the application of SC to the automation of concurrent program synthesis. Specifically, the paper proposes a three-stage approach allowing to generate automatically the part of thedoi:10.1109/acc.2010.5530904 fatcat:7g5dm7golbe4zjjp5wixm3atnm