Skip to Main content Skip to Navigation
Conference papers

Hybrid Controller Synthesis for the IoT

Arthur Gatouillat 1 Youakim Badr 1 Bertrand Massot 2
1 SOC - Service Oriented Computing
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
2 INL - Capteurs - INL - Capteurs Biomédicaux
INL - Institut des Nanotechnologies de Lyon
Abstract : The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects, and IoT-based 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-based 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 subsystems enabling the hybrid control of IoT systems with formal guarantees of the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, then applied if to a critical medical Internet-of-Things use case, demonstrating its usability for critical IoT applications
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Youakim Badr <>
Submitted on : Friday, February 8, 2019 - 9:49:13 AM
Last modification on : Tuesday, November 19, 2019 - 2:43:15 AM
Document(s) archivé(s) le : Thursday, May 9, 2019 - 1:53:20 PM


Files produced by the author(s)



Arthur Gatouillat, Youakim Badr, Bertrand Massot. Hybrid Controller Synthesis for the IoT. The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2018, Pau, France. pp.778-785, ⟨10.1145/3167132.3167219⟩. ⟨hal-01644356⟩



Record views


Files downloads