InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics.

Eun-Young Kang Pierre-Yves Schobbens

Published in: MECO (2020)

Keyphrases

formal analysis
cyber physical systems
cyber physical
energy consumption
physical world
agent model
cyber security
ban logic
formal methods
information systems
wireless sensor networks
critical infrastructure
real time
expert systems
embedded systems