Linear Temporal Logic (LTL) based monitoring of smart manufacturing systems

Gerald Heddy, Umer Huzaifa, Peter Beling, Yacov Haimes, Jeremy Marvel, Brian Weiss, Amy LaViers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Linear Temporal Logic (LTL) based monitoring of smart manufacturing systems'. Together they form a unique fingerprint.

Engineering & Materials Science

Medicine & Life Sciences