Paper Info
Title
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.
Abstract
Signal-flow-graph theory provides an efficient framework to model various engineering and physical systems at a higher-level of abstraction. In this paper, we present the formalization of the signal-flow-graph theory with an ultimate goal to conduct the formal analysis of engineering systems within a higher-order-logic theorem prover. In particular, our formalization can tackle system models which are based on undirected graphs. We also present the formalization of the system transfer function and associated properties such as stability and resonance. In order to demonstrate the effectiveness of our work, we present the formal analysis of two engineering systems namely the PANDA Vernier resonator and the z-source impedance network, which are commonly used in photonics and power electronics, respectively.
Year
DOI
Venue
2016
10.1007/978-3-319-54292-8_3
Lecture Notes in Computer Science
Field
DocType
Volume
Engineering mathematics,Systems engineering,Computer science,Systems design,Grammar systems theory,Theoretical computer science,Formal specification,Formal science,Formal methods,Signal-flow graph,Formal verification
Conference
10152
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Sidi Mohamed Beillahi111.03
Umair Siddique26312.26
Sofiène Tahar3915110.41