Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes

Seungyeop Kang; Kyeong Soo Kim

doi:10.1109/FOAN59927.2023.10328129

Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes

Seungyeop Kang, Kyeong Soo Kim^*

^*Corresponding author for this work

Department of Communications and Networking

Imperial College London

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

Abstract

In this paper, we revisit our prior work on clock skew compensation immune to floating-point precision loss and provide practical as well as theoretical bounds on the initial value of the skew-compensated clock based on a systematic analysis of the errors of floating-point operations; by practical bounds, we mean the actual values of the theoretical bounds from the systematic analysis calculated at resource-constrained computing platforms like battery-powered, low-cost wireless sensor nodes equipped with the 32-bit single-precision floating-point format. The numerical examples demonstrate that the proposed practical bounds based on single-precision floating-point format do not violate the theoretical bounds and thereby can guarantee the correctness of the clock skew compensation even on resource-constrained computing platforms.

Original language	English
Title of host publication	2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	12-16
Number of pages	5
ISBN (Electronic)	9798350319361
DOIs	https://doi.org/10.1109/FOAN59927.2023.10328129
Publication status	Published - 2023
Event	2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023 - Gent, Belgium Duration: 30 Oct 2023 → 31 Oct 2023

Publication series

Name	2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023

Conference

Conference	2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023
Country/Territory	Belgium
City	Gent
Period	30/10/23 → 31/10/23

Keywords

Clock skew compensation
IEEE 754-2008
error bounds
floating-point arithmetic
wireless sensor networks

Access to Document

10.1109/FOAN59927.2023.10328129

Cite this

Kang, S., & Kim, K. S. (2023). Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes. In 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023 (pp. 12-16). (2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/FOAN59927.2023.10328129

Kang, Seungyeop ; Kim, Kyeong Soo. / Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes. 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023. Institute of Electrical and Electronics Engineers Inc., 2023. pp. 12-16 (2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023).

@inproceedings{0415f70a0f64468484fe02c9c2991ff1,

title = "Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes",

abstract = "In this paper, we revisit our prior work on clock skew compensation immune to floating-point precision loss and provide practical as well as theoretical bounds on the initial value of the skew-compensated clock based on a systematic analysis of the errors of floating-point operations; by practical bounds, we mean the actual values of the theoretical bounds from the systematic analysis calculated at resource-constrained computing platforms like battery-powered, low-cost wireless sensor nodes equipped with the 32-bit single-precision floating-point format. The numerical examples demonstrate that the proposed practical bounds based on single-precision floating-point format do not violate the theoretical bounds and thereby can guarantee the correctness of the clock skew compensation even on resource-constrained computing platforms.",

keywords = "Clock skew compensation, IEEE 754-2008, error bounds, floating-point arithmetic, wireless sensor networks",

author = "Seungyeop Kang and Kim, {Kyeong Soo}",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023 ; Conference date: 30-10-2023 Through 31-10-2023",

year = "2023",

doi = "10.1109/FOAN59927.2023.10328129",

language = "English",

series = "2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "12--16",

booktitle = "2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023",

}

Kang, S & Kim, KS 2023, Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes. in 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023. 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023, Institute of Electrical and Electronics Engineers Inc., pp. 12-16, 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023, Gent, Belgium, 30/10/23. https://doi.org/10.1109/FOAN59927.2023.10328129

Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes. / Kang, Seungyeop; Kim, Kyeong Soo.
2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023. Institute of Electrical and Electronics Engineers Inc., 2023. p. 12-16 (2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes

AU - Kang, Seungyeop

AU - Kim, Kyeong Soo

PY - 2023

Y1 - 2023

N2 - In this paper, we revisit our prior work on clock skew compensation immune to floating-point precision loss and provide practical as well as theoretical bounds on the initial value of the skew-compensated clock based on a systematic analysis of the errors of floating-point operations; by practical bounds, we mean the actual values of the theoretical bounds from the systematic analysis calculated at resource-constrained computing platforms like battery-powered, low-cost wireless sensor nodes equipped with the 32-bit single-precision floating-point format. The numerical examples demonstrate that the proposed practical bounds based on single-precision floating-point format do not violate the theoretical bounds and thereby can guarantee the correctness of the clock skew compensation even on resource-constrained computing platforms.

AB - In this paper, we revisit our prior work on clock skew compensation immune to floating-point precision loss and provide practical as well as theoretical bounds on the initial value of the skew-compensated clock based on a systematic analysis of the errors of floating-point operations; by practical bounds, we mean the actual values of the theoretical bounds from the systematic analysis calculated at resource-constrained computing platforms like battery-powered, low-cost wireless sensor nodes equipped with the 32-bit single-precision floating-point format. The numerical examples demonstrate that the proposed practical bounds based on single-precision floating-point format do not violate the theoretical bounds and thereby can guarantee the correctness of the clock skew compensation even on resource-constrained computing platforms.

KW - Clock skew compensation

KW - IEEE 754-2008

KW - error bounds

KW - floating-point arithmetic

KW - wireless sensor networks

UR - http://www.scopus.com/inward/record.url?scp=85180122742&partnerID=8YFLogxK

U2 - 10.1109/FOAN59927.2023.10328129

DO - 10.1109/FOAN59927.2023.10328129

M3 - Conference Proceeding

AN - SCOPUS:85180122742

T3 - 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023

SP - 12

EP - 16

BT - 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023

Y2 - 30 October 2023 through 31 October 2023

ER -

Kang S, Kim KS. Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes. In 2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023. Institute of Electrical and Electronics Engineers Inc. 2023. p. 12-16. (2023 International Workshop on Fiber Optics on Access Networks, FOAN 2023). doi: 10.1109/FOAN59927.2023.10328129

Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Theoretical and Practical Bounds on the Initial Value of Clock Skew Compensation Algorithm Immune to Floating-Point Precision Loss for Resource-Constrained Wireless Sensor Nodes

Cite this