Diego Sousa

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Level Shifters (LS) are essential components of integrated circuits with multiple power supply. They work as voltage scaling interfaces between different power domains. In this paper, we present an energy-efficient level shifter with low area topology. It requires only one power rail and can operate nearby the threshold voltage. We validated the proposed(More)
The purpose of this study is to adapt and embed a navigation system and control mobile robots, based on nonlinear model predictive formation control (NMPFC), in a low-cost commercially available board. The system must provide sufficient computational resources so that the robot is able to converge, without losing performance, using the same prediction and(More)
This paper presents a case study regarding the use of the ThreadControl Testing Framework to test asynchronous information systems. This framework is intended to help test developers to avoid false positives in the execution of their automatic tests for asynchronous systems. Some of these false positives occur because the tests fail in some executions due(More)
  • 1