Modeling and Simulation of Lane Keeping Support System using Hybrid Petri Nets PadillaCarmela Angeline Cruz 2019 In the past decades, the rapid innovation on technology has greatly affected the automotive industry. However, every innovation has always been paired with safety risks that needs to be quickly addressed. This is where Petri nets (PNs) have come into the picture and have been used to model complex systems for different purposes, such as production management, traffic flow estimation and the introduction of new car features collectively known as, Adaptive Driver Assistance Systems (ADAS). Since most of these systems include both discrete and continuous dynamics, the Hybrid Petri net (HPN) model is an essential tool to model these. The objective of this thesis is to develop, analyze and simulate a lane keeping support system using an HPN model. Chapter 1 includes a brief summary of the specific ADAS used, lane departure warning and lane keeping assist systems and then related work on PNs is mentioned. Chapter 2 provides a background on Petri nets. In chapter 3, we develop a discrete PN model first, then we integrate continuous dynamics to extend it to a HPN model that combines the functionalities of the two independent ADAS systems. Several scenarios are introduced to explain the expected model behavior. Chapter 4 presents the analysis and simulation results obtained on the final model. Chapter 5 provides a summary for the work done and discusses future work.