Concurrent program synthesis based on supervisory control

Marian V. Iordache, Panos J. Antsaklis. Concurrent program synthesis based on supervisory control. In American Control Conference, ACC 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010. pages 3378-3383, IEEE, 2010. [doi]

Abstract

Abstract is missing.