DSpace at KOASAS
Browsing DSpace

Browse by Subject safety verification

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

1
Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections

Ahn, Heejin; Colombo, Alessandro, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.65, no.10, pp.4061 - 4074, 2020-10

2
Robust Supervisors for Intersection Collision Avoidance in the Presence of Legacy Vehicles

Ahn, Heejin; Rizzi, Andrea; Colombo, Alessandro, INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, v.18, no.2, pp.384 - 393, 2020-02

3
Safety Verification and Control for Collision Avoidance at Road Intersections

Ahn, Heejin; Del Vecchio, Domitilla, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.63, no.3, pp.630 - 642, 2018-03

Discover

rss_1.0 rss_2.0 atom_1.0