4 papers
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Adnan Rashid, Umair Siddique, Sofiene Tahar
Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transporta…
Formal Verification of Platoon Control Strategies
Adnan Rashid, Umair Siddique, Osman Hasan
Recent developments in autonomous driving, vehicle-to-vehicle communication and smart traffic controllers have provided a hope to realize platoon formation of vehicles. The main be…
Towards the Formalization of Fractional Calculus in Higher-Order Logic
Umair Siddique, Osman Hasan, Sofiène Tahar
Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this n…
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud +4
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous natur…