Formal Stability Analysis of Optical Resonators

@inproceedings{Siddique2013FormalSA,
  title={Formal Stability Analysis of Optical Resonators},
  author={Umair Siddique and Vincent Aravantinos and S. Tahar},
  booktitle={NASA Formal Methods},
  year={2013}
}
An optical resonator usually consists of mirrors or lenses which are configured in such a way that the beam of light is confined in a closed path. Resonators are fundamental components used in many safety-critical optical and laser applications such as laser surgery, aerospace industry and nuclear reactors. Due to the complexity and sensitivity of optical resonators, their verification poses many challenges to optical engineers. Traditionally, the stability analysis of such resonators, which is… Expand
20 Citations
Towards the formal analysis of microresonators based photonic systems
  • Umair Siddique, S. Tahar
  • Computer Science
  • 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE)
  • 2014
  • 7
  • PDF
Formal verification of stability and chaos in periodic optical systems
  • 2
  • PDF
A new approach for the verification of optical systems
  • 6
  • PDF
Towards ray optics formalization of optical imaging systems
  • Umair Siddique, S. Tahar
  • Computer Science
  • Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)
  • 2014
  • 3
  • PDF
On the Formalization of Cardinal Points of Optical Systems
  • 2
  • PDF
Formal modeling and verification of integrated photonic systems
  • 6
  • PDF
On the formal analysis of Gaussian optical systems in HOL
  • 4
  • PDF
On the Formal Analysis of Photonic Signal Processing Systems
  • 3
  • PDF
Formal Analysis of Optical Systems
  • 15
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 25 REFERENCES
Potential applications of ring resonators for astronomical instrumentation
  • S. Ellis, A. Crouzier, J. Bland-Hawthorn, J. Lawrence
  • Physics
  • 2011 International Quantum Electronics Conference (IQEC) and Conference on Lasers and Electro-Optics (CLEO) Pacific Rim incorporating the Australasian Conference on Optics, Lasers and Spectroscopy and the Australian Conference on Optical Fibre Technology
  • 2011
  • 7
Design and modeling of stable, high Q-factor curved Fabry-Pérot cavities
  • 2
Free-Space Tunable and Drop Optical Filters Using Vertical Bragg Mirrors on Silicon
  • 73
Formal analysis of fractional order systems in HOL
  • 13
  • PDF
A HOL Theory of Euclidean Space
  • 116
  • PDF
...
1
2
3
...