Abstract

Based on our investigations of a case study of controllers for train systems, we present a model of reactive systems which emphasizes dyanmic partitioning of system states into normal and abnormal, to respond to nondeterministic events due to environment factors. In this sense, reactive systems under consideration are non-strict that their behavior is not completely governed by past events; instead, unexpected future events must also be considered in the design of controllers for such systems.