Knowledge-Aware Cyber-Physical Systems
pdf
This poster showcases progress on the NSF Knowledge-Aware Cyber-Physical Systems project. We have identified a case study to be used as a stepping stone in the study of Air France Flight 447, and have started using it to understand and show-case the features of the logic under development. It highlights the important distinction between observable and unobservable events, and has led to a better representation of pilot intuition while flying.
Submitted by Andre Platzer
on
pdf
This poster showcases progress on the NSF Knowledge-Aware Cyber-Physical Systems project. We have identified a case study to be used as a stepping stone in the study of Air France Flight 447, and have started using it to understand and show-case the features of the logic under development. It highlights the important distinction between observable and unobservable events, and has led to a better representation of pilot intuition while flying.
Submitted by Andre Platzer
on