I'm co-writing a paper in which I have written the following sentence:
Many applications of control theory require that the underlying system is controllable.
However, upon rereading, I think that the following might be the "more correct version".
Many applications of control theory require that the underlying system be controllable.
Now that I look at both of these, neither seems correct and I'm not quite sure what the rule is here. Is either of these options correct? Is either one better than the other? Is there a way to rewrite this sentence so that it is less awkward?
Any feedback is appreciated.