Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS

Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS

This paper presents a new modeling method to abstract the collective behavior of Smart IoT Systems in CPS, based on process algebra and a lattice structure. In general, process algebra is known to be one of the best formal methods to model IoTs, since each IoT can be represented as a process; a latt...

Full description

Bibliographic Details
Main Authors: Junsup Song, Dimitris Karagiannis, Moonkun Lee
Format: Article
Language:English
Published: MDPI AG 2022-07-01
Series:Sensors
Subjects:
domain engineering
knowledge architecture
smart IoT
collective behavior
<i>n:2-Lattice</i>
dTP-Calculus
Online Access:https://www.mdpi.com/1424-8220/22/13/5057

Internet

https://www.mdpi.com/1424-8220/22/13/5057

Similar Items