Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
Name
MIT-LCS-TM-545.pdf
Size
810.38 KB
Format
Adobe PDF
Checksum (MD5)
c979e75d46bbdc139056750079fcdf63
Author(s)
Lynch, Nancy A.
Date Issued
December 1995
Series/Report no.
MIT-LCS-TM-545
Abstract
This paper contains an overview of recent and current work in the M.I.T. Theory of Distributed Systems research group on modelling, verifying and analyzing problems arising in automated transit systems. The problems we consider are inspired by design work in Personal Rapid Transit (PRT) project at Raytheon (as described to us by Toy Johnson, Steve Spielman and Norm Delisle), and in the California PATH project (as described to us by Shankar Sastry, Datta Godbole and John Lygeros) [7, 6,13, 3].
Persistent DSpace Link
