I found out that the AOV is 36.87°. Is this correct?
Not quite. The formula is fine; however the lens' FOV required for a rectilinear sensor is equal to the sensor diagonal. If the sensor is a square format with 200mm sides then the required FOV needs to cover 283mm. I.e. the sensor's longest dimension (diagonal) must be ≤ the FOV diameter. So the FOV required is ~ 51˚.
(you calculated the lens FOV diameter required to record 200mm short edge; except that the sensor's short edge/side won't be recorded from the FOV center (diameter)).
You can then use a lens FOV chart like this one (based on a 35mm sensor format).
And then use the sensor's crop factor to determine the required focal length ("crop factor" is also based on the 35mm format). E.g. a 4/3 sensor has a 2x crop factor, and therefore needs a lens with ~ 100˚ FOV to record 50˚ on the sensor... ~ 18mm.
But there are a lot of variables that can come into play... e.g a lot of times a lens' reported focal length is rounded somewhat, and it is often less when the lens is focused at distances short of infinity.
And focal length is sometimes reported as "35mm equivalent" which already accounts for the crop factor. I.e. for a sensor lens combination you would want one with ~ a "45mm equivalent" lens.
Then you can use the circle of confusion (CoC/airy disk size) requirement to determine the lens' aperture and sensor resolution for the plane of focus.
This chart is relevant:
However, that doesn't account for the required depth of field. That would depend on the required enlargement for viewing... i.e. if the sensor's physical size needs enlarged 100 times for viewing, then you need a CoC/airy disk 1/100 the size listed in the table, and a pixel size 1/2 of that (or 1/4 for maximum color resolution).