Verification of automated vehicle protection systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1066, Issue , 1996, Pages 101-113

  Weinberg, H B ^a   Lynch, Nancy ^b   Delisle, Norman ^c  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b Raytheon Company ^*

^c RAYTHEON COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; HYBRID SYSTEMS; LIGHT RAIL TRANSIT; VEHICLES;

AUTOMATED VEHICLES; CONTROL ARCHITECTURE; DECISIVE ACTIONS; HIGH-LEVEL TREATMENT; PERSONAL RAPID TRANSIT SYSTEM; PROTECTION SUB SYSTEMS; PROTECTION SYSTEMS; SPECIFICATION AND VERIFICATION;

RAPID TRANSIT;

EID: 21344471670     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020938     Document Type: Conference Paper

References (3)

1. Nancy Lynch and Frits Vaandrager. Forward and backward simulations - Part II: Timing-based systems. Technical Memo MIT/LCS/TM-487.c, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA 02139, April 1995. To appear in Information and Computation.
2. Nancy Lynch. Modelling and verification of automated transit systems, using timed automata, invariants and simulations. This volume.
3. Nancy Lynch, Roberto Segala, Frits Vaandrager, and H.B. Weinberg. Hybrid I/O automata. This volume.