Return to Article Details A hybrid automata and SysML-based model for controllers of autonomous surface vehicles Download Download PDF