Alloy Community

User login

Railway Safety

alloy's picture
Date: 
Oct 1 2002
author: 
Daniel Jackson

A policy for controlling the motion of trains in a railway system is analyzed.
Gates are placed on track segments to prevent trains for colliding.
What criteria should be used to determine when gates should be closed?



Attachment


Size
railway.pdf186.84 KB
railway.als1.18 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte