Observer‐based adaptive neural networks optimal control for spacecraft proximity maneuver with state constraints | Synapse