详情

当前位置：首页> 国外交通科技报告数据库 >详情

原文传递 Modelling and Verification of Advanced Vehicle Control Systems Using Timing-Based Computing Techniques; Final research rept. 1 Sep 95-28 Feb 98

题名：	Modelling and Verification of Advanced Vehicle Control Systems Using Timing-Based Computing Techniques; Final research rept. 1 Sep 95-28 Feb 98
作者：	Lynch, N.
关键词：	Computerized simulation; Automatic highways; Traffic safety; Control systems; Distributed data processing; Acceleration; Hybrid systems; Transportation; Collision avoidance; Automatic highways; Rail transportation; Vehicular traffic control; Algorithms
摘要：	The authors have been working on hybrid system modelling, with automated transportation systems as their target application. They have developed a hybrid automation model that we call the hybrid I/O automation (HIOA) model (1), and have developed decomposition and proof methods for this model. HIOAs allows description of both discrete and continuous system components--using discrete mathematics notation for the discrete parts and continuous mathematics notation for the continuous parts of the system. The proof methods for HIOAs are based on techniques used previously for distributed computer systems: parallel composition, invariant assertions, and levels of abstraction. The authors have applied their model and methods to many automated transportation system settings, including controlled deceleration and acceleration maneuvers, platoon maneuvers (as in the California PATH project), vehicle protection systems (Raytheon), and aircraft collision avoidance (TCAS, CTAS). In each case, the authors have modelled both the discrete and continous system components, at least at a high level of abstraction. The authors have obtained results giving proofs of safety properties. These results are typically conditional results, saying things like: 'under certain assumptions about the behavior of the vehicles, safety is guaranteed'.
总页数：	116p
报告类型：	科技报告