Hybrid controller synthesis for the IoT

Arthur Gatouillat, Youakim Badr, Bertrand Massot

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

1 Scopus citations


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
Number of pages8
ISBN (Electronic)9781450351911
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


Other33rd Annual ACM Symposium on Applied Computing, SAC 2018

All Science Journal Classification (ASJC) codes

  • Software


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

Cite this