Formal verification of stability and chaos in periodic optical systems

DOI10.1016/J.JCSS.2017.05.004MaRDI QIDQ2361358zbMATH OpenOpenAlexFDO

Authors Umair Siddique, Sofiène Tahar

Publication date 30 June 2017

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2017.05.004

zbMATH Keywords

formal verificationhigher-order logicoptical systemsresonator stability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Composite media; random media in optics and electromagnetic theory (78A48)

Recommendations

• Formal analysis of optical systems
• On the formalization of cardinal points of optical systems
• On the Formal Analysis of Geometrical Optics in HOL
• Formal Analysis of Optical Waveguides in HOL
• On the formal analysis of Gaussian optical systems in HOL

Cites work

• Formal analysis of optical systems
• Formal proof
• HOL Light: An Overview
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• scientific article; zbMATH DE number 6775939 (Why is no real title available?)
• On the Formal Analysis of Geometrical Optics in HOL

Cited in

(4)

• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• Formal Analysis of Optical Waveguides in HOL
• Formal analysis of optical systems
• On the formalization of cardinal points of optical systems

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication: Formal verification of stability and chaos in periodic optical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2361358)