Embedded microcontroller implementation of a class of condition systems

Considers the problem of synthesizing systems modeled by condition systems into microcontrollers. A condition system, a discrete event system model, can be naturally programmed into microcontrollers. Directly using an incidence matrix and state equation to implement condition systems is not a good method for low-cost microcontrollers because of the lack of certain instructions and limited memory of the microcontrollers. An alternate logic algebra based method is presented and an example condition system is illustrated. By using this method, the corresponding assembly code will be easily created in a systematic way.