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...

Descripción completa

Detalles Bibliográficos
Autores principales: Song, Junsup, Karagiannis, Dimitris, Lee, Moonkun
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9269706/
https://www.ncbi.nlm.nih.gov/pubmed/35808556
http://dx.doi.org/10.3390/s22135057

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9269706/
https://www.ncbi.nlm.nih.gov/pubmed/35808556
http://dx.doi.org/10.3390/s22135057

Ejemplares similares