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

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

Reads a state transition system and performs property checking

Dead reckoning navigation using a smartphone magnetometer.

An INS-EKF-ZUPT for Pedestrian Dead Reckoning

symbolic reachability checker

An Algorithm for Checking Large Design Spaces

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.

Simple implementation of PDR and CAR model checking algorithms

This is a PDR analyzer that works with MP4 files generated by Corvette C7/C8 PDRs.

Artifacts (PDR, ADR, TDD, TASK)-driven consulting agent

PDR with linear acceleration sensor and gyroscope of an Android smartphone

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"

A viral, SEO‑optimized full‑stack starter kit for AI‑driven content platforms – backend, frontend, and deployment ready out of the box.

Indoor navigation mobile application made for Bachelors thesis at HoGent

Systems Engineering Project - Glider