Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.

Victor L. Winter Deepak Kapur

Published in: Monterey Workshop (2005)

Keyphrases

case study
dynamic behavior
real time
real world
optimal control
dynamically changing
dynamic environments
business process
control strategy