3   Artículos

High-Level Modeling and Analysis of the Traffic Alert and Collision Avoidance System (TCAS) (Invited Paper)

Revista: PROCEEDINGS OF THE IEEE    Formato: Impreso

Tabla de contenido: Vol: 88 Num: 7 Par: 0 Año: 2000

A Game Theoretic Approach to Controller Design for Hybrid Systems (Invited Paper)

Revista: PROCEEDINGS OF THE IEEE    Formato: Impreso

Tabla de contenido: Vol: 88 Num: 7 Par: 0 Año: 2000

An Interface Between Continuous and Discrete-Event Controllers for Vehicle Automation

Revista: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY    Formato: Impreso

Tabla de contenido: Vol: 46 Num: 1 Par: 0 Año: 1997