A mission control system for an autonomous underwater vehicle 

    Palomeras Rovira, Narcís (Date of defense: 2011-12-19)

    The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design ...