An Algorithm for Checking Large Design Spaces
-
Updated
Jul 16, 2017 - C++
An Algorithm for Checking Large Design Spaces
In this Project, we proposed an integrated PDR/Zigbee indoor positioning system to provide reliable, continuous and accurate solution.
Analytical Models of the Performance of C-V2X Mode 4 Vehicular Communications
Eloquent JS. Chapter 12 Project. A Programming Language
Dead reckoning navigation using a smartphone magnetometer.
symbolic reachability checker
An INS-EKF-ZUPT for Pedestrian Dead Reckoning
This is a git repository for my course assignments.
室内行人移动方位推算技术 (Pedestrian Dead Reckoning, PDR)
Master's Thesis: Dynamic Quality Estimation of Wireless Links with Autonomous Agents
One of the experiments from "Simulation Models and Framework to Support Connection point selection in HWNs to improve QoS/QoE, reduce cost and increase profits", PhD Thesis, Chapter 5.2 and ACM SAC 2015 paper "Performance evaluation of heterogeneous wireless networks considering competing objectives and viewpoints"
Reads a state transition system and performs property checking
Systems Engineering Project - Glider
Add a description, image, and links to the pdr topic page so that developers can more easily learn about it.
To associate your repository with the pdr topic, visit your repo's landing page and select "manage topics."