Synthesis of distributed safety controllers with incomplete state observation (original) (raw)

2009

Abstract

This work proposes a methodology to enhance the distributed safety controller synthesis with application of backward search. The method is extended to deal with incomplete state observation. A new structural property analysis for safe Net Condition/Event Systems is introduced. It improves the performance and range of application of the supposed synthesis method. The application is illustrated by means of an

Dirk Missal hasn't uploaded this paper.

Let Dirk know you want this paper to be uploaded.

Ask for this paper to be uploaded.