Simple implementation of PDR and CAR model checking algorithms
-
Updated
Oct 17, 2024 - C++
Simple implementation of PDR and CAR model checking algorithms
Reads a state transition system and performs property checking
Pedestrian Dead Reckoning(行人航位推算)。 利用加速度计、磁力计、陀螺仪等多种传感器数据,对行人的步数、步长、方向进行测量和统计,推算出步行者行走轨迹和位置等信息。
Systems Engineering Project - Glider
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"
Master's Thesis: Dynamic Quality Estimation of Wireless Links with Autonomous Agents
室内行人移动方位推算技术 (Pedestrian Dead Reckoning, PDR)
This is a git repository for my course assignments.
An INS-EKF-ZUPT for Pedestrian Dead Reckoning
symbolic reachability checker
Dead reckoning navigation using a smartphone magnetometer.
Eloquent JS. Chapter 12 Project. A Programming Language
Analytical Models of the Performance of C-V2X Mode 4 Vehicular Communications
In this Project, we proposed an integrated PDR/Zigbee indoor positioning system to provide reliable, continuous and accurate solution.
An Algorithm for Checking Large Design Spaces
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."