Caricamento...

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...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Pubblicato in:Proc Annu Conf Progn Health Manag Soc
Autori principali: Heddy, Gerald, Huzaifa, Umer, Beling, Peter, Haimes, Yacov, Marvel, Jeremy, Weiss, Brian, LaViers, Amy
Natura: Artigo
Lingua:Inglês
Pubblicazione: 2015
Soggetti:
Accesso online:https://ncbi.nlm.nih.gov/pmc/articles/PMC5514608/
https://ncbi.nlm.nih.gov/pubmed/28730154
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !