Transport Research International Documentation (TRID) https://trid.trb.org/ en-us Copyright © 2024. National Academy of Sciences. All rights reserved. http://blogs.law.harvard.edu/tech/rss tris-trb@nas.edu (Bill McLeod) tris-trb@nas.edu (Bill McLeod) Transport Research International Documentation (TRID) https://trid.trb.org/Images/PageHeader-wTitle.jpg https://trid.trb.org/ Research for Spatio-Temporal Modeling Approach of Railway Safety System Based on Hybrid Cellular Automata https://trid.trb.org/View/2281535 Fri, 23 Feb 2024 16:10:48 GMT https://trid.trb.org/View/2281535 Online hazard prediction of train operations with parametric hybrid automata based runtime verification https://trid.trb.org/View/2240844 Thu, 12 Oct 2023 11:45:56 GMT https://trid.trb.org/View/2240844 Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols https://trid.trb.org/View/2118643 Wed, 22 Feb 2023 17:16:36 GMT https://trid.trb.org/View/2118643 Limit Cycle Oscillations in Random Cellular Automata https://trid.trb.org/View/1806412 Fri, 30 Sep 2022 12:09:20 GMT https://trid.trb.org/View/1806412 Online quantitative safety monitoring approach for unattended train operation system considering stochastic factors https://trid.trb.org/View/1913107 Mon, 25 Apr 2022 15:51:05 GMT https://trid.trb.org/View/1913107 A practical identifier design of road variations for anti-lock brake system https://trid.trb.org/View/1575272 Fri, 25 Jan 2019 10:31:43 GMT https://trid.trb.org/View/1575272 Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller https://trid.trb.org/View/1554432 Tue, 30 Oct 2018 15:49:38 GMT https://trid.trb.org/View/1554432 Police-less multi-party traffic violation detection and reporting system with privacy preservation https://trid.trb.org/View/1510373 Tue, 19 Jun 2018 09:34:01 GMT https://trid.trb.org/View/1510373 Dynamic Graph Hybrid Automata: A Modeling Method for Traffic Network https://trid.trb.org/View/1405981 Tue, 28 Jun 2016 16:16:55 GMT https://trid.trb.org/View/1405981 Quantification of complexity of power electronics based systems https://trid.trb.org/View/1328624 Mon, 24 Nov 2014 15:13:40 GMT https://trid.trb.org/View/1328624 A stochastic automaton approach to discriminate intermittent from permanent faults https://trid.trb.org/View/1305199 Wed, 28 May 2014 15:24:10 GMT https://trid.trb.org/View/1305199 Formal Language Modeling and Simulations of Incident Management https://trid.trb.org/View/1218014 Wed, 25 Sep 2013 15:10:17 GMT https://trid.trb.org/View/1218014 Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques https://trid.trb.org/View/1217962 Fri, 16 Aug 2013 17:00:39 GMT https://trid.trb.org/View/1217962 Modelling driving behaviour using hybrid automata https://trid.trb.org/View/1256817 Mon, 12 Aug 2013 16:45:53 GMT https://trid.trb.org/View/1256817 Geosimulation, Automata, and Traffic Modeling https://trid.trb.org/View/760247 Thu, 15 Sep 2005 14:26:10 GMT https://trid.trb.org/View/760247