As autonomous systems become more prevalent, ensuring their safety will become more
and more important. However, deriving guarantees for these systems is becoming …

An increased focus on the development of autonomous safety-critical systems requires more
attention at ensuring safety of humans and the environment. The main objective of this thesis …

Advanced embedded system technology is one of the key driving forces behind the rapid
growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are …

Train positioning is crucial for safe operation of a train. In this paper, we propose a novel
safe vision method to achieve train positioning by recognizing wayside kilometer posts. The …

Safety is an important feature in automotive industry. Safety critical system such as
Advanced Driver Assistance System (ADAS) and Autonomous Driving (AD) follows certain …

Recent advances in cyber-physical systems (CPS) have allowed highly available and
approachable technologies with interconnected systems between the physical assets and …

We investigate the problem of detecting anomalous behaviors of deployed autonomous
vehicles that are not consistent with “typical” or “baseline” behaviors. Detecting anomalies …

Advanced embedded system technology is one of the key driving forces behind the rapid
growth of Cyber-Physical System (CPS) applications. CPS consists of multiple coordinating …