Hybrid controller synthesis for the IoT

Arthur Gatouillat, Youakim Badr, Bertrand Massot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects. IoT systems and devices must operate with a deterministic behavior and respect user-defined system goals in any situation. We thus defined hybrid controller synthesis for decentralized and critical IoT systems relying on a set of rules to handle situations with asynchronous and synchronous event processing. This framework defines a declarative rule-driven governance mechanism of locally synchronous sub-systems enabling the hybrid control of IoT systems with formal guarantees over the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, it was applied to a critical medical Internet-of-Things use case, demonstrating its usability for safety-critical IoT applications.

Original languageEnglish (US)
Title of host publicationProceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018
PublisherAssociation for Computing Machinery
Pages783-790
Number of pages8
ISBN (Electronic)9781450351911
DOIs
StatePublished - Apr 9 2018
Event33rd Annual ACM Symposium on Applied Computing, SAC 2018 - Pau, France
Duration: Apr 9 2018Apr 13 2018

Publication series

NameProceedings of the ACM Symposium on Applied Computing

Other

Other33rd Annual ACM Symposium on Applied Computing, SAC 2018
CountryFrance
CityPau
Period4/9/184/13/18

Fingerprint

Controllers
Internet of things
Quality of service
Communication
Processing

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Gatouillat, A., Badr, Y., & Massot, B. (2018). Hybrid controller synthesis for the IoT. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018 (pp. 783-790). (Proceedings of the ACM Symposium on Applied Computing). Association for Computing Machinery. https://doi.org/10.1145/3167132.3167219
Gatouillat, Arthur ; Badr, Youakim ; Massot, Bertrand. / Hybrid controller synthesis for the IoT. Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, 2018. pp. 783-790 (Proceedings of the ACM Symposium on Applied Computing).
@inproceedings{0739222806b341f29ee033bacb3285d3,
title = "Hybrid controller synthesis for the IoT",
abstract = "The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects. IoT systems and devices must operate with a deterministic behavior and respect user-defined system goals in any situation. We thus defined hybrid controller synthesis for decentralized and critical IoT systems relying on a set of rules to handle situations with asynchronous and synchronous event processing. This framework defines a declarative rule-driven governance mechanism of locally synchronous sub-systems enabling the hybrid control of IoT systems with formal guarantees over the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, it was applied to a critical medical Internet-of-Things use case, demonstrating its usability for safety-critical IoT applications.",
author = "Arthur Gatouillat and Youakim Badr and Bertrand Massot",
year = "2018",
month = "4",
day = "9",
doi = "10.1145/3167132.3167219",
language = "English (US)",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "783--790",
booktitle = "Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018",

}

Gatouillat, A, Badr, Y & Massot, B 2018, Hybrid controller synthesis for the IoT. in Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, pp. 783-790, 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, 4/9/18. https://doi.org/10.1145/3167132.3167219

Hybrid controller synthesis for the IoT. / Gatouillat, Arthur; Badr, Youakim; Massot, Bertrand.

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, 2018. p. 783-790 (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Hybrid controller synthesis for the IoT

AU - Gatouillat, Arthur

AU - Badr, Youakim

AU - Massot, Bertrand

PY - 2018/4/9

Y1 - 2018/4/9

N2 - The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects. IoT systems and devices must operate with a deterministic behavior and respect user-defined system goals in any situation. We thus defined hybrid controller synthesis for decentralized and critical IoT systems relying on a set of rules to handle situations with asynchronous and synchronous event processing. This framework defines a declarative rule-driven governance mechanism of locally synchronous sub-systems enabling the hybrid control of IoT systems with formal guarantees over the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, it was applied to a critical medical Internet-of-Things use case, demonstrating its usability for safety-critical IoT applications.

AB - The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects. IoT systems and devices must operate with a deterministic behavior and respect user-defined system goals in any situation. We thus defined hybrid controller synthesis for decentralized and critical IoT systems relying on a set of rules to handle situations with asynchronous and synchronous event processing. This framework defines a declarative rule-driven governance mechanism of locally synchronous sub-systems enabling the hybrid control of IoT systems with formal guarantees over the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, it was applied to a critical medical Internet-of-Things use case, demonstrating its usability for safety-critical IoT applications.

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

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

U2 - 10.1145/3167132.3167219

DO - 10.1145/3167132.3167219

M3 - Conference contribution

AN - SCOPUS:85050555477

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 783

EP - 790

BT - Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018

PB - Association for Computing Machinery

ER -

Gatouillat A, Badr Y, Massot B. Hybrid controller synthesis for the IoT. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery. 2018. p. 783-790. (Proceedings of the ACM Symposium on Applied Computing). https://doi.org/10.1145/3167132.3167219