M. Sc. Theses
Design and verification by means of model checking of reCANdrv: a media redundancy management driver for the nodes of a ReCANcentrate network
Controller Area Network (CAN) is a fieldbus widely used in distributed control systems. However, despite its wide use, it is controversial that CAN can be used for systems that require a high level of reliability. This is due to a series of severe dependability...
Experimental Assessment of Different Image Descriptors for Topological Map-Building and Scene Recognition
An autonomous robot needs to perform some tasks in order to be independent. Some of these tasks require that the agent is able to locate itself in its environment. This process is known in mobile robotics as localization and it can be achieved by di fferent ways...