With complex systems, monolithic models become impractical and it becomes necessary to model them through subsystems and components. Unless these components and subsystems are structured, exploiting them in a methodical manner to develop a control logic for them also becomes complex. In the previous research, to characterize the input/output behavior of discrete state interacting, systems a condition language framework was defined and algorithms that can automatically generate a controller given the system model and the desired specification using this framework were presented. Though this framework and the control algorithms are ideally suited to simple systems, representation of components with large state spaces requires a more refined approach. In this thesis, we present the modelling framework namely Color condition systems, that compactly represent components with large state spaces. We also present algorithms that can automatically generate a controller that consists of a set of action type taskblocks, given the system model and the desired specification described using color condition systems. The modelling framework and the working of the algorithms are illustrated using figures and comments on the possible ways of optimizing the algorithms are also quoted. Finally, in the appendix, we also present the approach that can be taken to implement a few parts of the algorithm.