Sign in
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Kyungmin Bae
Joshua Krisiloff
José Meseguer
Peter Csaba Ölveczky
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
cyber physical systems
control system
case study
critical infrastructure
pedagogical agents
cyber physical
distributed systems
cyber security
distributed environment
real world
fuzzy logic
real time
learning environment
data mining
data processing
high speed
real environment