Discrete supervisor synthesis for a class of continuous systems
Jean‐Marie Flaus · 2002
In this paper, we deal with the problem of discrete supervisor synthesis for continuous systems. We consider a special class of systems, namely those that can be modelled by a hybrid flow net. The main idea for the synthesis is based on the notion of invariants in hybrid flow nets. The proposed approach is illustrated on a batch process example.