Denotational and Algebraic Semantics for Cyber-physical Systems.

Ran Li Huibiao Zhu Richard Banach

Published in: ICECCS (2022)

Keyphrases

cyber physical systems
operational semantics
cyber physical
physical world
formal semantics
embedded systems
artificial intelligence
decision making
data model