Loading [a11y]/accessibility-menu.js
Towards ray optics formalization of optical imaging systems | IEEE Conference Publication | IEEE Xplore

Towards ray optics formalization of optical imaging systems


Abstract:

The verification of optical systems is an important issue due to their safety and financial critical nature (e.g., laser surgeries and space telescopes). Theorem proving ...Show More

Abstract:

The verification of optical systems is an important issue due to their safety and financial critical nature (e.g., laser surgeries and space telescopes). Theorem proving offers an attractive solution to overcome the accuracy and soundness problems of traditional approaches like paper-and-pencil based proofs and computer simulation. However, existing formalizations of optics theories do not provide the facility to analyze optical imaging systems which describe the behavior of light ray within the system. In this paper, we present the ray optics formalization of cardinal points which are the most fundamental requirement to model imaging properties of optical systems. We also present the verification of cardinal points for a general system consisting of any number of optical components. For illustration purposes, we present the formal analysis of a thick lens.
Date of Conference: 13-15 August 2014
Date Added to IEEE Xplore: 02 March 2015
Electronic ISBN:978-1-4799-5880-1
Conference Location: Redwood City, CA, USA

References

References is not available for this document.