Formal analysis of electromagnetic optics

Sanaz Khan-Afshar; Osman Hasan; Sofiène Tahar

doi:10.1117/12.2062965

12 September 2014 Formal analysis of electromagnetic optics

Sanaz Khan-Afshar, Osman Hasan, Sofiène Tahar

Proceedings Volume 9193, Novel Optical Systems Design and Optimization XVII; 91930A (2014) https://doi.org/10.1117/12.2062965
Event: SPIE Optical Engineering + Applications, 2014, San Diego, California, United States

Abstract

Optical systems are increasingly being used in safety-critical applications. Due to the complexity and sensitivity of optical systems, their verification raises many challenges for engineers. Traditionally, the analysis of such systems has been carried out by paper-and-pencil based proofs and numerical computations. However, these techniques cannot provide accurate results due to the risk of human error and inherent approximations of numerical algorithms. In order to overcome these limitations, we propose to use theorem proving (i.e., a computer-based technique that allows to express mathematical expressions and reason about their correctness by taking into account all the details of mathematical reasoning) as a complementary approach to improve optical system analysis. This paper provides a higher-order logic (a language used to express mathematical theories) formalization of electromagnetic optics in the HOL Light theorem prover. In order to demonstrate the practical effectiveness of our approach, we present the analysis of resonant cavity enhanced photonic devices.

Citation Download Citation

Sanaz Khan-Afshar, Osman Hasan, and Sofiène Tahar "Formal analysis of electromagnetic optics", Proc. SPIE 9193, Novel Optical Systems Design and Optimization XVII, 91930A (12 September 2014); https://doi.org/10.1117/12.2062965

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available