M. V. Iordache and P. J. Antsaklis
In the Proceedings of the 51st International Conference on Decision and Control, pp. 7238--7243, December 2012.
Abstract -- In recent work we have developed software implementing a supervisory control approach to concurrent programming. Starting with a specification describing the concurrency constraints, the software generates automatically the concurrency control code implementing the specification. The paper describes the approach with an emphasis on the supervisory control aspects. Included are also results pertaining to limitations and future extensions of the supervisory control approach.
Slides available: [pdf, 68k]