A Distributed Logic for Networked Cyber-Physical Systems.

Minyoung Kim Mark-Oliver Stehr Carolyn L. Talcott

Published in: FSEN (2011)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
distributed systems
social networks
embedded systems
real time
mobile agents
distributed environment
critical infrastructure
decision makers
artificial intelligence
information systems
unsupervised learning
situation awareness