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