Browsing by Subject "Kinematic model"
Now showing items 1-2 of 2
-
Article
Coverage analysis of mobile agent trajectory via state-based opacity formulations
(2011)This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing state-based notions of opacity. Non-deterministic finite automata with partial observation on their ...
-
Article
Personalized Driver/Vehicle Lane Change Models for ADAS
(2015)Lane changes are stressful maneuvers for drivers, particularly during high-speed traffic flows. Advanced driver-assistance systems (ADASs) aim to assist drivers during lane change maneuvers. A system that is developed for ...