Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10152)


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.


Transfer Function Sink Node Formal Verification Power Converter Forward Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bahadoran, M., Ali, J., Yupapin, P.P.: Ultrafast all-optical switching using signal flow graph for PANDA resonator. Appl. Opt. 52(12), 2866–2873 (2013)CrossRefGoogle Scholar
  2. 2.
    Beillahi, S.M., Siddique, U.: Formal analysis of engineering systems based on signal-flow-graph theory (2016).
  3. 3.
    Beillahi, S.M., Siddique, U., Tahar, S.: Towards the application of formal methods in process engineering. In: Fun With Formal Methods, pp. 1–11 (2014)Google Scholar
  4. 4.
    Beillahi, S.M., Siddique, U., Tahar, S.: Formal analysis of power electronic systems. In: Butler, M., Conchon, S., Zaïdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 270–286. Springer, Cham (2015). doi: 10.1007/978-3-319-25423-4_17 CrossRefGoogle Scholar
  5. 5.
    Binh, L.N.: Photonic Signal Processing: Techniques and Applications. Optical Science and Engineering. Taylor & Francis, London (2010)Google Scholar
  6. 6.
    Boca, P.P., Bowen, J.P., Siddiqi, J.I.: Formal Methods: State of the Art and New. Springer, London (2009)Google Scholar
  7. 7.
    Çapar, Ç., Goeckel, D., Paterson, K.G., Quaglia, E.A., Towsley, D., Zafer, M.: Signal-flow-based analysis of wireless security protocols. Inf. Comput. 226, 37–56 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Dehghan, S.M., Mohamadian, M., Yazdian, A.: Hybrid electric vehicle based on bidirectional Z-source nine-switch inverter. IEEE Trans. Veh. Technol. 59(6), 2641–2653 (2010)CrossRefGoogle Scholar
  9. 9.
    Signal Flow Graph Similification Program for MATLAB (2014).
  10. 10.
    Gajanayake, C.J., Vilathgamuwa, D.M., Loh, P.C.: Small-signal and signal-flow-graph modeling of switched Z-source impedance network. IEEE Power Electron. Lett. 3(3), 111–116 (2005)CrossRefGoogle Scholar
  11. 11.
    Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, New York (2009)CrossRefzbMATHGoogle Scholar
  12. 12.
    Hote, Y.V., Choudhury, D.R., Gupta, J.R.P.: Robust stability analysis of the PWM push-pull DC-DC converter. IEEE Trans. Power Electron. 24(10), 2353–2356 (2009)CrossRefGoogle Scholar
  13. 13.
    Isaksson, O., Keski-Seppala, S., Eppinger, S.D.: Evaluation of design process alternatives using signal flow graphs. In: ASME Design Engineering Technical Conferences, vol. 11(3), pp. 211–224 (2000)Google Scholar
  14. 14.
    Jennen, R., Max, S., Walke, B.: Frame delay distribution analysis of IEEE 802.11 networks using signal flow graphs. In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 2035–2040 (2010)Google Scholar
  15. 15.
    Mason, S.J.: Feedback theory, further properties of signal flow graphs. In: Proceeding of Institute of Radio Engineers, vol. 44, pp. 920–926 (1956)Google Scholar
  16. 16.
    Mason, S.J.: Feedback theory, some properties of signal flow graphs. In: Proceeding of Institute of Radio Engineers, vol. 41, pp. 1144–1156 (1953)Google Scholar
  17. 17.
    Mason, S.J., Zimmermann, H.J.: Electronic Circuits, Signals, and Systems. Wiley, New York (1960)Google Scholar
  18. 18.
    Peng, F.Z.: Z-Source inverter. In: IAS Annual Meeting. Conference Record of the Industry Applications Conference, vol. 2, pp. 775–781 (2002)Google Scholar
  19. 19.
    Rajakaruna, S., Jayawickrama, Y.R.L.: Designing impedance network of Z-source inverters. In: International Power Engineering Conference, vol. 2, pp. 962–967 (2005)Google Scholar
  20. 20.
    Schmid, H.: Circuit transposition using signal-flow graphs. In: IEEE International Symposium on Circuits and Systems, vol. 2, pp. II-25–II-28 (2002)Google Scholar
  21. 21.
    Siddique, U., Beillahi, S.M., Tahar, S.: On the formal analysis of photonic signal processing systems. In: Núñez, M., Güdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 162–177. Springer, Cham (2015). doi: 10.1007/978-3-319-19458-5_11 CrossRefGoogle Scholar
  22. 22.
    Sirawattananon, C., Bahadoran, M., Ali, J., Mitatha, S., Yupapin, P.P.: Analytical vernier effects of a PANDA ring resonator for microforce sensing application. IEEE Trans. Nanotechnol. 11(4), 707–712 (2012)CrossRefGoogle Scholar
  23. 23.
    Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Tiernan, J.C.: An efficient search algorithm to find the elementary circuits of a graph. Commun. ACM 13(12), 722–726 (1970)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Electrical and Computer EngineeringConcordia UniversityMontrealCanada

Personalised recommendations