115 citations · 311 across the 31 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
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…
cs.LO2021
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…