TY - GEN
T1 - Towards dynamic partitioning of reactive system behavior
T2 - 12th Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms" 2005
AU - Winter, Victor
AU - Kapur, Deepak
PY - 2007
Y1 - 2007
N2 - Based on our investigations of a case study of controllers for train systems [6,7,13,14], we present a model of reactive systems which emphasizes dynamic partitioning of system behavior into normal and abnormal. The class of reactive systems considered are non-strict in the sense that their behavior is not entirely governed by past events; instead, future events must also be considered in the design of controllers for such systems.
AB - Based on our investigations of a case study of controllers for train systems [6,7,13,14], we present a model of reactive systems which emphasizes dynamic partitioning of system behavior into normal and abnormal. The class of reactive systems considered are non-strict in the sense that their behavior is not entirely governed by past events; instead, future events must also be considered in the design of controllers for such systems.
UR - http://www.scopus.com/inward/record.url?scp=34548061334&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34548061334&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-71156-8_3
DO - 10.1007/978-3-540-71156-8_3
M3 - Conference contribution
AN - SCOPUS:34548061334
SN - 3540711554
SN - 9783540711551
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 47
EP - 69
BT - Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers
PB - Springer Verlag
Y2 - 22 September 2005 through 24 September 2005
ER -