Symbolic Synthesis of a Class of Discrete-event Controllers for Process Systems

@inproceedings{Sanchez2004SymbolicSO,
  title={Symbolic Synthesis of a Class of Discrete-event Controllers for Process Systems},
  author={Angel Sanchez and Joaquina A Reza and J. G. Douriet and Roberto E. Gonz{\'a}lez and Depto},
  year={2004}
}
This paper presents a predicate-based symbolic synthesis framework for discrete-event controllers forcing at most one control action in each stage of the control pattern. Binary Decision Diagrams (BDD)-encoded algorithms carry out the calculations required to synthesize a controller of this nature. Numeric experiments show a better performance than other… CONTINUE READING