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"

Simple implementation of PDR and CAR model checking algorithms

Eloquent JS. Chapter 12 Project. A Programming Language

Web page to take picutures with coordinate + quaternion by PDR

PDR with linear acceleration sensor and gyroscope of an Android smartphone

This is a git repository for my course assignments.

Systems Engineering Project - Glider

Pedestrian Dead Reckoning(行人航位推算)。 利用加速度计、磁力计、陀螺仪等多种传感器数据,对行人的步数、步长、方向进行测量和统计，推算出步行者行走轨迹和位置等信息。

Master's Thesis: Dynamic Quality Estimation of Wireless Links with Autonomous Agents

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

symbolic reachability checker

An INS-EKF-ZUPT for Pedestrian Dead Reckoning

室内行人移动方位推算技术 (Pedestrian Dead Reckoning, PDR)

Dead reckoning navigation using a smartphone magnetometer.

Reads a state transition system and performs property checking

Analytical Models of the Performance of C-V2X Mode 4 Vehicular Communications