Beyazit Yalcinkaya
Papers
1
Total Citations
5
H-Index
1
About
Beyazit Yalcinkaya is a rising researcher in the field of safe cyber-physical systems (CPS), with a focus on runtime assurance and formal methods for dependable autonomous systems. His most notable contribution is the development of **ULGEN**, a runtime assurance framework introduced in his 2023 paper, which has already garnered 5 citations. This work generalizes the Simplex architecture to enable the safe programming of CPS through asynchronous processes executing runtime assurance modules. By providing a structured approach to integrating high-performance but potentially unsafe controllers with verified safety mechanisms, Yalcinkaya addresses a critical challenge in deploying autonomous systems in real-world environments. His research bridges the gap between theoretical safety guarantees and practical implementation, offering tools that allow developers to build more resilient and trustworthy CPS. With a growing citation impact and a focus on foundational safety architectures, Yalcinkaya is establishing himself as a key contributor to the next generation of safe autonomous systems, making his work essential reading for students and researchers interested in runtime verification and cyber-physical system design.
Research Focus
Key Achievements
Top Papers
- 1