Abstract | ||
---|---|---|
The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ICCPS.2012.51 | ICCPS |
Keywords | Field | DocType |
poster abstract,safety property,intelligent transportation systems problem,safety verification,adaptive cruise control,traffic intersection signal,variable timing,hybrid system,adaptive control,vehicle dynamics,adaptive systems,intelligent transportation systems,hybrid systems,acceleration,formal verification,adaptive system,verification | Adaptive system,Cruise control,Computer science,Real-time computing,Control engineering,Software,Vehicle dynamics,Adaptive control,Intelligent transportation system,Hybrid system,Reliability engineering,Formal verification | Conference |
ISSN | Citations | PageRank |
2375-8317 | 0 | 0.34 |
References | Authors | |
1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Theodore P. Pavlic | 1 | 42 | 10.50 |
Sai Prathyusha Peddi | 2 | 0 | 0.68 |
Paolo A. G. Sivilotti | 3 | 141 | 14.91 |
Bruce W. Weide | 4 | 575 | 182.57 |