Slide 52
Slide 52 text
(Banno, Kyoto U.)
Monitoring of Blood Glucose Levels (BG)
Monitor BG of simulated type 1 diabetes patients
● Use 6 LTL formulae (ψ
1
, ψ
2
, ψ
4
, φ
1
, φ
4
, φ
5
)
○ Originally presented by [Cameron+, RV’15] and [Young+, IoTDI’18]
○ Use discrete sampling to convert original STL formulae to LTL ones
● Record BG every 1 minute
● Encode each BG in 9 bits
52
Experimental environment:
● CPU: Intel Xeon Silver 4216
(32C64T @ 3.2 GHz)
● RAM: 128 GiB