Now showing items 1-2 of 2
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 ...