{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:23:55Z","timestamp":1725881035284},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319542911"},{"type":"electronic","value":"9783319542928"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-54292-8_3","type":"book-chapter","created":{"date-parts":[[2017,2,16]],"date-time":"2017-02-16T02:12:49Z","timestamp":1487211169000},"page":"31-46","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory"],"prefix":"10.1007","author":[{"given":"Sidi Mohamed","family":"Beillahi","sequence":"first","affiliation":[]},{"given":"Umair","family":"Siddique","sequence":"additional","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,17]]},"reference":[{"issue":"12","key":"3_CR1","doi-asserted-by":"crossref","first-page":"2866","DOI":"10.1364\/AO.52.002866","volume":"52","author":"M Bahadoran","year":"2013","unstructured":"Bahadoran, M., Ali, J., Yupapin, P.P.: Ultrafast all-optical switching using signal flow graph for PANDA resonator. Appl. Opt. 52(12), 2866\u20132873 (2013)","journal-title":"Appl. Opt."},{"unstructured":"Beillahi, S.M., Siddique, U.: Formal analysis of engineering systems based on signal-flow-graph theory (2016). http:\/\/hvg.ece.concordia.ca\/projects\/control\/sfg.html","key":"3_CR2"},{"unstructured":"Beillahi, S.M., Siddique, U., Tahar, S.: Towards the application of formal methods in process engineering. In: Fun With Formal Methods, pp. 1\u201311 (2014)","key":"3_CR3"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-319-25423-4_17","volume-title":"Formal Methods and Software Engineering","author":"SM Beillahi","year":"2015","unstructured":"Beillahi, S.M., Siddique, U., Tahar, S.: Formal analysis of power electronic systems. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 270\u2013286. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_17"},{"key":"3_CR5","series-title":"Optical Science and Engineering","volume-title":"Photonic Signal Processing: Techniques and Applications","author":"LN Binh","year":"2010","unstructured":"Binh, L.N.: Photonic Signal Processing: Techniques and Applications. Optical Science and Engineering. Taylor & Francis, London (2010)"},{"key":"3_CR6","volume-title":"Formal Methods: State of the Art and New","author":"PP Boca","year":"2009","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J.I.: Formal Methods: State of the Art and New. Springer, London (2009)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.ic.2013.03.004","volume":"226","author":"\u00c7 \u00c7apar","year":"2013","unstructured":"\u00c7apar, \u00c7., Goeckel, D., Paterson, K.G., Quaglia, E.A., Towsley, D., Zafer, M.: Signal-flow-based analysis of wireless security protocols. Inf. Comput. 226, 37\u201356 (2013)","journal-title":"Inf. Comput."},{"issue":"6","key":"3_CR8","doi-asserted-by":"crossref","first-page":"2641","DOI":"10.1109\/TVT.2010.2048048","volume":"59","author":"SM Dehghan","year":"2010","unstructured":"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\u20132653 (2010)","journal-title":"IEEE Trans. Veh. Technol."},{"unstructured":"Signal Flow Graph Similification Program for MATLAB (2014). http:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/22-mason-m","key":"3_CR9"},{"issue":"3","key":"3_CR10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/LPEL.2005.859771","volume":"3","author":"CJ Gajanayake","year":"2005","unstructured":"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\u2013116 (2005)","journal-title":"IEEE Power Electron. Lett."},{"key":"3_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511576430","volume-title":"Handbook of Practical Logic and Automated Reasoning","author":"J Harrison","year":"2009","unstructured":"Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, New York (2009)"},{"issue":"10","key":"3_CR12","doi-asserted-by":"crossref","first-page":"2353","DOI":"10.1109\/TPEL.2009.2014132","volume":"24","author":"YV Hote","year":"2009","unstructured":"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\u20132356 (2009)","journal-title":"IEEE Trans. Power Electron."},{"doi-asserted-by":"crossref","unstructured":"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\u2013224 (2000)","key":"3_CR13","DOI":"10.1080\/095448200750020996"},{"doi-asserted-by":"crossref","unstructured":"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\u20132040 (2010)","key":"3_CR14","DOI":"10.1109\/PIMRC.2010.5671583"},{"doi-asserted-by":"crossref","unstructured":"Mason, S.J.: Feedback theory, further properties of signal flow graphs. In: Proceeding of Institute of Radio Engineers, vol. 44, pp. 920\u2013926 (1956)","key":"3_CR15","DOI":"10.1109\/JRPROC.1956.275147"},{"doi-asserted-by":"crossref","unstructured":"Mason, S.J.: Feedback theory, some properties of signal flow graphs. In: Proceeding of Institute of Radio Engineers, vol. 41, pp. 1144\u20131156 (1953)","key":"3_CR16","DOI":"10.1109\/JRPROC.1953.274449"},{"key":"3_CR17","volume-title":"Electronic Circuits, Signals, and Systems","author":"SJ Mason","year":"1960","unstructured":"Mason, S.J., Zimmermann, H.J.: Electronic Circuits, Signals, and Systems. Wiley, New York (1960)"},{"doi-asserted-by":"crossref","unstructured":"Peng, F.Z.: Z-Source inverter. In: IAS Annual Meeting. Conference Record of the Industry Applications Conference, vol. 2, pp. 775\u2013781 (2002)","key":"3_CR18","DOI":"10.1109\/IAS.2002.1042647"},{"doi-asserted-by":"crossref","unstructured":"Rajakaruna, S., Jayawickrama, Y.R.L.: Designing impedance network of Z-source inverters. In: International Power Engineering Conference, vol. 2, pp. 962\u2013967 (2005)","key":"3_CR19","DOI":"10.1109\/IPEC.2005.207047"},{"doi-asserted-by":"crossref","unstructured":"Schmid, H.: Circuit transposition using signal-flow graphs. In: IEEE International Symposium on Circuits and Systems, vol. 2, pp. II-25\u2013II-28 (2002)","key":"3_CR20","DOI":"10.1109\/ISCAS.2002.1010914"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-19458-5_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"U Siddique","year":"2015","unstructured":"Siddique, U., Beillahi, S.M., Tahar, S.: On the formal analysis of photonic signal processing systems. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 162\u2013177. Springer, Cham (2015). doi: 10.1007\/978-3-319-19458-5_11"},{"issue":"4","key":"3_CR22","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1109\/TNANO.2012.2191976","volume":"11","author":"C Sirawattananon","year":"2012","unstructured":"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\u2013712 (2012)","journal-title":"IEEE Trans. Nanotechnol."},{"issue":"2","key":"3_CR23","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"issue":"12","key":"3_CR24","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/362814.362819","volume":"13","author":"JC Tiernan","year":"1970","unstructured":"Tiernan, J.C.: An efficient search algorithm to find the elementary circuits of a graph. Commun. ACM 13(12), 722\u2013726 (1970)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Numerical Software Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54292-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T06:40:14Z","timestamp":1498372814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-54292-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319542911","9783319542928"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54292-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}