Hybrid controller synthesis for the IoT

Arthur Gatouillat, Youakim Badr, Bertrand Massot

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

1 Scopus citations

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

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Hybrid controller synthesis for the IoT'. Together they form a unique fingerprint.

Cite this