Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems

The vision of Smart Manufacturing Systems (SMS) includes collaborative robots that can adapt to a range of scenarios. This vision requires a classification of multiple system behaviors, or sequences of movement, that can achieve the same high-level tasks. Likewise, this vision presents unique challe...

Descripción completa

Detalles Bibliográficos
Autores principales: Heddy, Gerald, Huzaifa, Umer, Beling, Peter, Haimes, Yacov, Marvel, Jeremy, Weiss, Brian, LaViers, Amy
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2015
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5514608/
https://www.ncbi.nlm.nih.gov/pubmed/28730154

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5514608/
https://www.ncbi.nlm.nih.gov/pubmed/28730154

Ejemplares similares