Formal Analysis of Power Electronic Systems-Reference-Cited by-同舟云学术

Formal Analysis of Power Electronic Systems

Published:2015 Issue: Volume: Page:270-286
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Beillahi Sidi Mohamed,Siddique Umair,Tahar Sofiène

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-25423-4_17

Reference24 articles.

1. Beillahi, S.M., Siddique, U.: Formal Analysis of Power Electronic Systems (2015). http://hvg.ece.concordia.ca/projects/optics/pe.html

2. Beillahi, S.M., Siddique, U., Tahar, S.: On the Formalization of Signal-Flow-Graphs in HOL. Technical report, ECE Department, Concordia University, Montreal, QC, Canada, November 2014

3. Bernet, S.: Recent developments of high power converters for industry and traction applications. IEEE Trans. Power Electron. 15(6), 1102–1117 (2000)

4. Carrasco, J.M., Franquelo, L.G., Bialasiewicz, J.T., Galvan, E., Guisado, R.C.P., Prats, M.A.M., Leon, J.I., Moreno-Alfonso, N.: Power-electronic systems for the grid integration of renewable energy sources: a survey. IEEE Trans. Industr. Electron. 53(4), 1002–1016 (2006)

5. Dey, S., Mandal, S.: Modeling and analysis of quadruple optical ring resonator performance as optical filter using Vernier principle. Optics Commun. 285(4), 439–446 (2012)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of Cyber-Physical Systems Using Theorem Proving;Communications in Computer and Information Science;2020

2. Formal Analysis of Linear Control Systems Using Theorem Proving;Formal Methods and Software Engineering;2017

3. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory;Numerical Software Verification;2017