1 citations · 1 across the 13 of their papers we have counts for
16 papers
ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
Adnan Rashid
Large Language Models (LLMs) have transformed artificial intelligence from primarily generative systems into increasingly capable reasoning agents. Recent advances in theorem provi…
Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
Adnan Rashid, Sa'ed Abed, Osman Hasan
The control of Biomedical Systems in Physical Human-Robot Interaction (pHRI) plays a pivotal role in achieving the desired behavior by ensuring the intended transfer function and s…
On the Formalization of the Heat Conduction Problem in HOL
Elif Deniz, Adnan Rashid, Osman Hasan +1
Partial Differential Equations (PDEs) are widely used for modeling the physical phenomena and analyzing the dynamical behavior of many engineering and physical systems. The heat eq…
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid +1
Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (sys…
Formalization of Bond Graph using Higher-order-logic Theorem Proving
Ujala Qasim, Adnan Rashid, Osman Hasan
Bond graph is a unified graphical approach for describing the dynamics of complex engineering and physical systems and is widely adopted in a variety of domains, such as, electrica…
Formalization of Transform Methods in Higher-order Logic: A Survey
Muhammad Ahmed, Adnan Rashid
Most of the engineering and physical systems are generally characterized by differential and difference equations based on their continuous-time and discrete-time dynamics, respect…
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…
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid, Ayesha Gauhar, Osman Hasan
Simulink is a graphical environment that is widely adapted for the modeling and the Laplace transform based analysis of linear analog circuits used in signal processing architectur…
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
Sa'ed Abed, Adnan Rashid, Osman Hasan
Synthetic Biology is an interdisciplinary field that utilizes well-established engineering principles, ranging from electrical, control and computer systems, for analyzing the biol…
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid, Osman Hasan
Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cel…
Formalization of Lerch's Theorem using HOL Light
Adnan Rashid, Osman Hasan
The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluatin…
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Adnan Rashid, Osman Hasan
Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm…
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…
Formal Analysis of Continuous-time Systems using Fourier Transform
Adnan Rashid, Osman Hasan
To study the dynamical behaviour of the engineering and physical systems, we often need to capture their continuous behaviour, which is modeled using differential equations, and pe…
Formal Analysis of Linear Control Systems using Theorem Proving
Adnan Rashid, Osman Hasan
Control systems are an integral part of almost every engineering and physical system and thus their accurate analysis is of utmost importance. Traditionally, control systems are an…
Formalization of Transform Methods using HOL Light
Adnan Rashid, Osman Hasan
Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and fr…