Battery Aware Analysis of Sensor Networks in Uppaal SMC

Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Hoedholt, Christian Ø. Laursen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Original languageEnglish
Title of host publication2021 10th Mediterranean Conference on Embedded Computing, MECO 2021
Number of pages6
PublisherIEEE
Publication date7 Jun 2021
Pages1-6
Article number9460152
ISBN (Print)978-1-6654-3911-4, 978-1-6654-2989-4
ISBN (Electronic)978-1-6654-3912-1
DOIs
Publication statusPublished - 7 Jun 2021
Event10th Mediterranean Conference on Embedded Computing, MECO 2021 - Budva, Montenegro
Duration: 7 Jun 202110 Jun 2021

Conference

Conference10th Mediterranean Conference on Embedded Computing, MECO 2021
Country/TerritoryMontenegro
CityBudva
Period07/06/202110/06/2021
SeriesMediterranean Conference on Embedded Computing (MECO) - Proceedings
ISSN2377-5475

Bibliographical note

Funding Information:
ACKNOWLEDGMENTS Research funded in part by the Danish Innovationsfonden agency (DoNUT project, grant nr. 7076-00123B), and it is part of the Validation WP of the ERC Advanced Grant LASSO (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems).

Publisher Copyright:
© 2021 IEEE.

Keywords

  • battery lifetime
  • Digital wireless sensors
  • IoT
  • LPWAN
  • model checking
  • Sigfox
  • Uppaal Smc

Fingerprint

Dive into the research topics of 'Battery Aware Analysis of Sensor Networks in Uppaal SMC'. Together they form a unique fingerprint.

Cite this