ControlH [#!Vestal2:1994!#] intended to be used to describe guidance, navigation, and control algorithms in a concise and rigorous manner. ConrolH is tailored for this domain.
