Verifying Cyber-Physical Interactions in Safety-Critical Systems.

Sayan Mitra Tichakorn Wongpiromsarn Richard M. Murray

Published in: IEEE Secur. Priv. (2013)

Keyphrases

safety critical
cyber physical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
management system
virtual environment
model checking
artificial intelligence
low cost
distributed systems
decision support system
support systems
cyber physical systems