2 papers
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…