Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
On the Formalization of Network Topology Matrices in HOL
Kubra Aksoy, Adnan Rashid, Osman Hasan +1
Network topology matrices are algebraic representations of graphs that are widely used in modeling and analysis of various applications including electrical circuits, communication…
cs.LO2024
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…
cs.LO2018
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…