• DOI:10.1007/978-3-642-38088-4_25
Corpus ID: 16116918

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}
}

• Umair Siddique, Vincent Aravantinos, S. Tahar
• Published in NASA Formal Methods 2013
• Computer Science

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

View via Publisher

hvg.ece.concordia.ca

Save to Library

Create Alert

Cite

Launch Research Feed