A Comparative Study of Synthesis Methods for Discrete Event Controllers

• 1 January 1999
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 15  (2) , 123-167
• https://doi.org/10.1023/a:1008740917111

Abstract

Keywords

• MODEL
• SYNTHESIS METHODS
• HANDLING
• PROCEDURE
• DISCRETE EVENT CONTROLLERS
• METHODS FOR DISCRETE
• ILLUSTRATE