Zobrazeno 1 - 10
of 1 492
pro vyhledávání: '"Decentralized monitoring"'
Publikováno v:
In Journal of Process Control March 2024 135
Publikováno v:
IEEE Access, Vol 11, Pp 26611-26623 (2023)
Decentralized monitoring methods, which divide the process variables into several blocks and perform local monitoring for each sub-block, have been gaining increasing attention in large-scale plant-wide monitoring due to the complexity of their proce
Externí odkaz:
https://doaj.org/article/b53ce1d9192e4eb79efd1e0e8c8dac93
This paper presents a new technique for optimizing formal analysis of propositional logic formulas and Linear Temporal Logic (LTL) formulas, namely the formula simplification table. A formula simplification table is a mathematical table that shows al
Externí odkaz:
http://arxiv.org/abs/1810.13129
Autor:
Junior, Rosvando Marques Gonzaga1 (AUTHOR) jbalj@sc.usp.br, Márquez-Sánchez, Sergio2,3 (AUTHOR) smarquez@usal.es, Santos, Jorge Herrera2 (AUTHOR) jorgehsmp@usal.es, de Almeida, Rodrigo Maximiano Antunes4 (AUTHOR) rodrigomax@unifei.edu.br, London Junior, João Bosco Augusto1 (AUTHOR), Rodríguez, Juan Manuel Corchado2,3 (AUTHOR) corchado@usal.es
Publikováno v:
Sensors (14248220). Mar2022, Vol. 22 Issue 6, p2104. 16p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cornebize, Tom, Falcone, Yliès
The main contribution of this paper is an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of any regular specification by local monitors alone in a system without central observation point. Ou
Externí odkaz:
http://arxiv.org/abs/1402.3821
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Energy Reports, Vol 6, Iss , Pp 856-861 (2020)
Inefficient use of water represents a major source of direct cost of water production, but especially of excessive energy use to purify it. Greater efficiency could be achieved if management were supported by objective data in addition to the rules o
Externí odkaz:
https://doaj.org/article/3ab3cbcdb3af44039effe3b521bfd713
Autor:
Bartocci, Ezio
Publikováno v:
EPTCS 124, 2013, pp. 85-99
Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied. Our work is inspired by the theoretical results presented by Baurer and Falco
Externí odkaz:
http://arxiv.org/abs/1308.5337