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 Citation (Scopus)

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
Pages47-69
Number of pages23
StatePublished - Aug 27 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

Fingerprint

Reactive Systems
Partitioning
Controller
Controllers
Model

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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).

Towards dynamic partitioning of reactive system behavior : A train controller case study. / Winter, Victor; Kapur, Deepak.

Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers. 2007. p. 47-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4322 LNCS).

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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4322 LNCS, pp. 47-69, 12th Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms" 2005, Laguna Beach,CA, United States, 9/22/05.
Winter V, Kapur D. 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. 2007. p. 47-69. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Winter, Victor ; Kapur, Deepak. / Towards dynamic partitioning of reactive system behavior : A train controller case study. Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers. 2007. pp. 47-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a4883b4554ad4ad5bc06ca25561ea11b,
title = "Towards dynamic partitioning of reactive system behavior: A train controller case study",
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.",
author = "Victor Winter and Deepak Kapur",
year = "2007",
month = "8",
day = "27",
language = "English (US)",
isbn = "3540711554",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "47--69",
booktitle = "Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 Revised Selected Papers",

}

TY - GEN

T1 - Towards dynamic partitioning of reactive system behavior

T2 - A train controller case study

AU - Winter, Victor

AU - Kapur, Deepak

PY - 2007/8/27

Y1 - 2007/8/27

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

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

ER -