Towards dynamic partitioning of reactive system behavior: A train controller case study

Victor Winter, Deepak Kapur

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationReliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers
PublisherSpringer Verlag
Pages47-69
Number of pages23
ISBN (Print)3540711554, 9783540711551
DOIs
StatePublished - Jan 1 2007
Event12th Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms" 2005 - Laguna Beach,CA, United States
Duration: Sep 22 2005Sep 24 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4322 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms" 2005
CountryUnited States
CityLaguna Beach,CA
Period9/22/059/24/05

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Towards dynamic partitioning of reactive system behavior: A train controller case study'. Together they form a unique fingerprint.

  • Cite this

    Winter, V., & Kapur, D. (2007). Towards dynamic partitioning of reactive system behavior: A train controller case study. In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers (pp. 47-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4322 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-71156-8_3