Share Email Print

Proceedings Paper

A new approach for the verification of optical systems
Author(s): Umair Siddique; Vincent Aravantinos; Sofiène Tahar
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

Optical systems are increasingly used in microsystems, telecommunication, aerospace and laser industry. Due to the complexity and sensitivity of optical systems, their verification poses many challenges to engineers. Tra­ditionally, the analysis of such systems has been carried out by paper-and-pencil based proofs and numerical computations. However, these techniques cannot provide perfectly 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 them by taking into account all the details of mathematical reasoning) as an alternative to computational and numerical approaches to improve optical system analysis in a comprehensive framework. In particular, this paper provides a higher-order logic (a language used to express mathematical theories) formalization of ray optics in the HOL Light theorem prover. Based on the multivariate analysis library of HOL Light, we formalize the notion of light ray and optical system (by defining medium interfaces, mirrors, lenses, etc.), i.e., we express these notions mathematically in the software. This allows us to derive general theorems about the behavior of light in such optical systems. In order to demonstrate the practical effectiveness, we present the stability analysis of a Fabry-Perot resonator.

Paper Details

Date Published: 10 September 2013
PDF: 14 pages
Proc. SPIE 8844, Optical System Alignment, Tolerancing, and Verification VII, 88440G (10 September 2013); doi: 10.1117/12.2024860
Show Author Affiliations
Umair Siddique, Concordia Univ. (Canada)
Vincent Aravantinos, Concordia Univ. (Canada)
Sofiène Tahar, Concordia Univ. (Canada)

Published in SPIE Proceedings Vol. 8844:
Optical System Alignment, Tolerancing, and Verification VII
José Sasián; Richard N. Youngworth, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?