4 results found Sort:

aman-goel
avr aman-goel
19
76
gpl-3.0
4
Reads a state transition system and performs property checking
ic3 pdr verilog model-checking formal-verification
Created 2018-08-01
169 commits to master branch, last one a day ago
jhultman
dead-reckoning jhultman
15
72
mit
3
Dead reckoning navigation using a smartphone magnetometer.
gps imu pdr inertial odometry navigation magnetometer dead-reckoning path-integration pedestrian-dead-reckoning
Created 2018-04-16
15 commits to master branch, last one 3 years ago
nju-aml2022
Pedestrian-Dead-Reckoning-PDR nju-aml2022
12
52
unknown
0
室内行人移动方位推算技术 (Pedestrian Dead Reckoning, PDR)
pdr pdr-models pdr-algorithm
Created 2022-11-23
57 commits to main branch, last one about a year ago
pajaraca
IEZ pajaraca
10
38
unknown
1
An INS-EKF-ZUPT for Pedestrian Dead Reckoning
ekf ins pdr kalman navigation kalman-filter pdr-algorithm dead-reckoning
Created 2021-09-23
38 commits to main branch, last one 2 years ago