Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Formal Analysis of Optical Systems

Formal Analysis of Optical Systems Optical systems are becoming increasingly important by resolving many bottlenecks in today’s communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome these limitations, we propose to employ higher-order-logic theorem proving as a complement to computational and numerical approaches to improve optical model analysis in a comprehensive framework. The proposed framework allows formal analysis of optical systems at four abstraction levels, i.e., ray, wave, electromagnetic, and quantum. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics in Computer Science Springer Journals

Loading next page...
 
/lp/springer-journals/formal-analysis-of-optical-systems-ag05OmpyWF

References (70)

Publisher
Springer Journals
Copyright
Copyright © 2014 by Springer Basel
Subject
Mathematics; Mathematics, general; Computer Science, general
ISSN
1661-8270
eISSN
1661-8289
DOI
10.1007/s11786-014-0175-z
Publisher site
See Article on Publisher Site

Abstract

Optical systems are becoming increasingly important by resolving many bottlenecks in today’s communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome these limitations, we propose to employ higher-order-logic theorem proving as a complement to computational and numerical approaches to improve optical model analysis in a comprehensive framework. The proposed framework allows formal analysis of optical systems at four abstraction levels, i.e., ray, wave, electromagnetic, and quantum.

Journal

Mathematics in Computer ScienceSpringer Journals

Published: May 1, 2014

There are no references for this article.