TABOR: A graphical model-based approach for anomaly detection in industrial control systems

Q Lin, S Adepu, S Verwer, A Mathur - Proceedings of the 2018 on asia …, 2018 - dl.acm.org
Industrial Control Systems (ICS) such as water and power are critical to any society. Process
anomaly detection mechanisms have been proposed to protect such systems to minimize …

Review on car-following sensor based and data-generation map** for safety and traffic management and road map toward ITS

M Talal, KN Ramli, AA Zaidan, BB Zaidan… - Vehicular …, 2020 - Elsevier
As the number of technologies implemented in our daily life and rapidly deployed in the
transportation system continuously increases, the car-following model is crucial in the …

MOHA: A multi-mode hybrid automaton model for learning car-following behaviors

Q Lin, Y Zhang, S Verwer… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
This paper proposes a novel hybrid model for learning discrete and continuous dynamics of
car-following behaviors. Multiple modes representing driving patterns are identified by …

Modeling and stability analysis of car-following behavior for connected vehicles by considering driver characteristic

W Wang, M Ma, S Liang, J **ao… - Proceedings of the …, 2024 - journals.sagepub.com
Research of car-following behavior is very important to alleviate traffic congestion and
ensure traffic safety. To describe the car-following behavior of connected vehicles and …

[BOOK][B] Syntactic pattern recognition

M Flasiński - 2019 - World Scientific
Recognition is considered to be a basic human mental ability in psychology [Myers and
DeWall (2018); Reisberg (2013)]. It consists of identifying the objects (systems, processes …

Continuous behavioral prediction in lane-change for autonomous driving cars in dynamic environments

C Dong, JM Dolan - 2018 21st International Conference on …, 2018 - ieeexplore.ieee.org
It is essential for autonomous driving cars to understand and predict other surrounding cars'
behaviors, especially in urban environments, due to the high traffic volumes and complex …

Safety verification of a data-driven adaptive cruise controller

Q Lin, S Verwer, J Dolan - 2020 IEEE Intelligent Vehicles …, 2020 - ieeexplore.ieee.org
Imitation learning provides a way to automatically construct a controller by mimicking human
behavior from data. For safety-critical systems such as autonomous vehicles, it can be …

A game-theoretical approach to driving decision making in highway scenarios

Z Yan, J Wang, Y Zhang - 2018 IEEE Intelligent Vehicles …, 2018 - ieeexplore.ieee.org
With the development of self-driving technology, the fundamental behaviors like car-
following, lane change have been validated and tested in various kinds of scenarios …

Automata-based explainable representation for a complex system of multivariate times series

IC Kaadoud, L Fahed, T Tian… - IC3K 2022: 14th …, 2022 - imt-atlantique.hal.science
Complex systems represented by multivariate time series are ubiquitous in many
applications, especially in industry. Understanding a complex system, its states and their …

Generation and verification of learned stochastic automata using k-NN and statistical model checking

A Baouya, S Chehida, S Ouchani, S Bensalem… - Applied …, 2022 - Springer
Deriving an accurate behavior model from historical data of a black box for verification and
feature forecasting is seen by industry as a challenging issue especially for a large featured …