Login / Signup
Formal Stability Analysis of Optical Resonators.
Umair Siddique
Vincent Aravantinos
Sofiène Tahar
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
stability analysis
nonlinear systems
gravitational search algorithm
sliding mode
stability margin
fault tolerant control
artificial neural networks