Cargando…

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

Ejemplares similares

System Interdependency Modeling in the Design of Prognostic and Health Management Systems in Smart Manufacturing
por: Malinowski, M.L., et al.
Publicado: (2015)

Adaptive Multi-scale PHM for Robotic Assembly Processes
por: Choo, Benjamin Y., et al.
Publicado: (2015)

Adaptive Multi-scale Prognostics and Health Management for Smart Manufacturing Systems
por: Choo, Benjamin Y., et al.
Publicado: (2016)

From LTL to rLTL monitoring: improved monitorability through robust semantics
por: Mascle, Corto, et al.
Publicado: (2022)

Counts of mechanical, external configurations compared to computational, internal configurations in natural and artificial systems
por: LaViers, Amy
Publicado: (2019)

Controls and art: inquiries at the intersection of the subjective and the objective
por: LaViers, Amy, et al.
Publicado: (2014)

Babyface: Performance and Installation Art Exploring the Feminine Ideal in Gendered Machines
por: Ladenheim, Kate, et al.
Publicado: (2021)

“Most of” leads to undecidability: Failure of adding frequencies to LTL
por: Bednarczyk, Bartosz, et al.
Publicado: (2021)

Backdoors for Linear Temporal Logic
por: Meier, Arne, et al.
Publicado: (2018)

Decreased Leukocyte Telomere Length (LTL) Is Associated with Stroke but Unlikely to Be Causative
por: Jiang, Xin, et al.
Publicado: (2013)

Effect of Extra-Framework Cations of LTL Nanozeolites to Inhibit Oil Oxidation
por: Tan, Kok-Hou, et al.
Publicado: (2015)

Specification for trombone line 874-LTL drawing no. 404.001LM4
por: Mann, P
Publicado: (1976)

Boundaries of eliminated heterochromatin of Tetrahymena are positioned by the DNA-binding protein Ltl1
por: Jaspan, Vita N, et al.
Publicado: (2019)

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
por: Finkbeiner, Bernd, et al.
Publicado: (2020)

The Conforming Brain and Deontological Resolve
por: Pincus, Melanie, et al.
Publicado: (2014)

Photoactive Nanomaterials Inspired by Nature: LTL Zeolite Doped with Laser Dyes as Artificial Light Harvesting Systems
por: Gartzia-Rivero, Leire, et al.
Publicado: (2017)

Identification and characterization of a novel L-type lectin (MjLTL2) from kuruma shrimp (Marsupenaeus japonicus)
por: Xu, Sen, et al.
Publicado: (2020)

The Effect of Rearing Conditions on Carcass Traits, Meat Quality and the Compositions of Fatty Acid and Amino Acid of LTL in Heigai Pigs
por: Li, Jie, et al.
Publicado: (2021)

Micro/mesoporous LTL derived materials for catalytic transfer hydrogenation and acid reactions of bio-based levulinic acid and furanics
por: Antunes, Margarida M., et al.
Publicado: (2022)

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Advances in temporal logic
por: Barringer, Howard, et al.
Publicado: (2000)

Additively manufacturable micro-mechanical logic gates
por: Song, Yuanping, et al.
Publicado: (2019)

Smart Sensorization Using Propositional Dynamic Logic
por: Merino, Salvador, et al.
Publicado: (2022)

Logics in computer science: a study on extensions of temporal and strategic logics
por: Mogavero, Fabio
Publicado: (2013)

Smart Prognostics and Health Management (SPHM) in Smart Manufacturing: An Interoperable Framework
por: Sundaram, Sarvesh, et al.
Publicado: (2021)

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition
por: Zhao, Wei, et al.
Publicado: (2022)

Feasible logic Bell-state analysis with linear optics
por: Zhou, Lan, et al.
Publicado: (2016)

Generalized Bounded Linear Logic and its Categorical Semantics
por: Fukihara, Yōji, et al.
Publicado: (2021)

Vision-Based Apple Classification for Smart Manufacturing
por: Ismail, Ahsiah, et al.
Publicado: (2018)

Towards Digital Manufacturing of Smart Multimaterial Fibers
por: Faccini de Lima, Camila, et al.
Publicado: (2019)

Ubiquitous Robotic Technology for Smart Manufacturing System
por: Wang, Wenshan, et al.
Publicado: (2016)

Towards Smart Manufacturing with Dynamic Dataspace Alignment
por: Firmani, Donatella, et al.
Publicado: (2020)

Artificial Intelligence for Smart Manufacturing: Methods and Applications
por: Tran, Kim Phuc
Publicado: (2021)

Smart and resilient manufacturing in the wake of COVID-19
por: Xu, Xun, et al.
Publicado: (2021)

An informal logic of feedback-based temporal control
por: Tilsen, Sam
Publicado: (2022)

DNA Strand-Displacement Temporal Logic Circuits
por: Lapteva, Anna P., et al.
Publicado: (2022)

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
por: Czepa, Christoph, et al.
Publicado: (2019)

Smart readout of silicon drift detector using ON-LINE fuzzy logic
por: Russo, G V, et al.
Publicado: (2000)

Smart Build-Plate for Metal Additive Manufacturing Processes
por: Hehr, Adam, et al.
Publicado: (2020)

Frugal manufacturing in smart factories for widespread sustainable development
por: Rao, Balkrishna C.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_9agn8cvq4flio5tbuemtqb7dfv