Now showing items 1-3 of 3
Dynamic Assertion-Based Verification for SystemC
SystemC has emerged as a de facto standard modeling language for hardware and embedded systems. However, the current standard does not provide support for temporal specifications. Specifically, SystemC lacks a mechanism ...
Multi-robot behaviors with bearing-only sensors and scale-free coordinates
This thesis presents a low-cost multi-robot system for large populations of robots, a new coordinate system for the robot based on angles between robots and a series of experiments validating robot performance. The new ...
Compressive Sensing for 3D Data Processing Tasks: Applications, Models and Algorithms
Compressive sensing (CS) is a novel sampling methodology representing a paradigm shift from conventional data acquisition schemes. The theory of compressive sensing ensures that under suitable conditions compressible signals ...