Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Synthesis of Concurrent Programs Based on Supervisory Control Marian V. Iordache Panos J. Antsaklis

Summary: Synthesis of Concurrent Programs Based on Supervisory Control
Marian V. Iordache Panos J. Antsaklis
School of Engineering and Eng. Tech. Department of Electrical Engineering
LeTourneau University University of Notre Dame
Longview, TX 75607, USA Notre Dame, IN 46556, USA
E-mail: MarianIordache@letu.edu E-mail: Antsaklis.1@nd.edu
Technical Report
September 2009
Abstract­This document describes an application of the supervisory control (SC) methods to
the synthesis of concurrent programs and presents current work on this topic of research. In
particular, special attention is given to the development of software that applies SC to program
synthesis. This work is motivated by the difficulties encountered in writing correct programs in
the context of concurrency. Writing correct programs is essential for the development of software
applications as well as for all other engineering applications in which formal languages are used
for system design. In the context of concurrency, SC can be help by addressing issues such as
mutual exclusion, liveness, and fairness. In the approach proposed here, SC is applied to Petri
net (PN) models of concurrent processes. Then, the resulting control logic is converted to code.
PNs are formal models developed in Computer Science for the modeling of concurrent systems.
In Control Systems, PNs have been used in the context of the SC of discrete event systems
and powerful theoretical results have been developed. However, these results have not yet been


Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame


Collections: Engineering