Formal interpretation of cyber-physical system performance with temporal logic
Formal interpretation of cyber-physical system performance with temporal logic is a scholarly work, published in 2018 in ''Cyber-Physical Systems''. The main subjects of the publication include interpretation, automation, artificial intelligence, automotive industry, cyber-physical system, biological robustness, gene expression, theoretical computer science, process, glossary of archaeology, formal methods, machine learning, mechatronics, Gaussian process, inference, and computer science. The paper presents a new methodology of enabling (i) a human to interrogate a CPS by inquiring with questions written in formal logic and (ii) the CPS to interpret its performance precisely in the context of the inquiry.