The MIT Libraries is completing a major upgrade to DSpace@MIT.
Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material.
We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur.
Please email dspace-lib@mit.edu with any questions.
Thank you for your patience as we implement this important upgrade.
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.date.accessioned | 2023-03-29T14:39:47Z | |
| dc.date.available | 2023-03-29T14:39:47Z | |
| dc.date.issued | 1995-12 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149256 | |
| dc.description.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]. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-545 | |
| dc.title | Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations | en_US |
