Abstract: The paper concerns the problem of some inconsistencies between controller and controlled object in control system. These inconsistencies are a results of incorrectly built predicates where state of the controller does not conforms state of the object. In the paper two solutions removing this flaw has been presented: with concurrent transition and with local variables