Formal analysis of discrete-time systems using z-transform

MaRDI QIDQ5869541zbMATH OpenFDO

Authors Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• On the Formalization of Z-Transform in HOL
• Formal analysis of continuous-time systems using Fourier transform
• scientific article; zbMATH DE number 1998790
• The formalization of discrete Fourier transform in HOL
• Time-varying z-transform for the analysis of discrete-time linear time periodic systems

Cited in

(3)

• Time-varying z-transform for the analysis of discrete-time linear time periodic systems
• On the Formalization of Z-Transform in HOL
• A new canonical expansion of z-transfer function for reduced-order modeling of discrete-time systems

This page was built for publication: Formal analysis of discrete-time systems using \(z\)-transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869541)