Zobrazeno 1 - 10
of 5 072
pro vyhledávání: '"Nondeterministic algorithm"'
Publikováno v:
ACC
In this paper, we study detectability problem of Networked Discrete Event Systems (NDES) where the communication between the plant and the agent is carried out through a network that can have several channels, so that, communication delays can cause
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21011389ea0e2abf4358d99d2b430966
https://doi.org/10.1109/tase.2023.3265846
https://doi.org/10.1109/tase.2023.3265846
Publikováno v:
IEEE Transactions on Cybernetics. 52:9208-9218
In this article, the problem of intermittent fault (IF) detection is investigated for linear stochastic systems over sensor networks, where the appearing and disappearing times, and magnitude of IF are all nondeterministic. By utilizing the moving-ho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0c23bebdac7ac1d2e005c1ccdfd8701
https://doi.org/10.1109/tcyb.2021.3054123
https://doi.org/10.1109/tcyb.2021.3054123
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 19:3038-3047
In this paper, a theoretical model has been proposed for the first time to illustrate the living Tulsi (Holy Basil) leaf evolution in describing the branching systems in the intermediate range of frequencies. The proposed fitting function following t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f47ff9ed5130b678672742077a70918a
https://doi.org/10.1109/tcbb.2021.3107323
https://doi.org/10.1109/tcbb.2021.3107323
Publikováno v:
IEEE Transactions on Neural Networks and Learning Systems. 33:4699-4711
This article studies the state estimation for probabilistic Boolean networks via observing output sequences. Detectability describes the ability of an observer to uniquely estimate system states. By defining the probability of an observed output sequ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::882423d36242b33bb287c6da4dce7422
https://doi.org/10.1109/tnnls.2021.3059795
https://doi.org/10.1109/tnnls.2021.3059795
Publikováno v:
IEEE Internet of Things Journal. 9:14803-14817
With the advent of the Internet of Things (IoT), crowdsensing, as a new emerging application of the IoT that employs ubiquitous mobile users with smartphones for data collection and processing, has further deepened our knowledge. However, the problem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fcabf3cc928585cdc703fcf3fbfc612d
https://doi.org/10.1109/jiot.2021.3084937
https://doi.org/10.1109/jiot.2021.3084937
Publikováno v:
IEEE Systems Journal. 16:1558-1569
In this article, we study an energy-efficient nonorthogonal multiple access (NOMA) enabled multiaccess edge computing (MEC) system with strict latency requirements. We aim to minimize the energy consumption of all users by optimizing the resource all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7cb92a936563724b63cb2004afa54abe
https://doi.org/10.1109/jsyst.2021.3064919
https://doi.org/10.1109/jsyst.2021.3064919
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:238-251
Cyber-physical systems (CPS) integrate discrete computations with continuous physical processes and can be highly nonlinear and nondeterministic. Unlike the verification of CPS, which is difficult to handle, the falsification of CPS fulfills certain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88eb5e3793b960e4c888c2470e1133e2
https://doi.org/10.1109/tcad.2021.3056360
https://doi.org/10.1109/tcad.2021.3056360
Autor:
Yuxi Fu, Qizhe Yang
Publikováno v:
Theoretical Computer Science. 897:49-63
The structure of nondeterministic computations is extremely complicated. C-graphs are abstract representations of the branching structure of nondeterministic computations. The paper investigates the structure of finite state nondeterministic computat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9939d169806b3fd55cc645339599395
https://doi.org/10.1016/j.tcs.2021.08.022
https://doi.org/10.1016/j.tcs.2021.08.022
Autor:
Jinglun Li, Shigemasa Takai
Publikováno v:
IEEE Control Systems Letters. 6:1358-1363
This letter handles a similarity control problem for nondeterministic discrete event systems. In this problem, the system and the modular specification are modeled as nondeterministic automata, where the modular specification is the synchronous compo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08cb81213047f57366bdf8ab15b14a78
https://doi.org/10.1109/lcsys.2021.3093834
https://doi.org/10.1109/lcsys.2021.3093834
Publikováno v:
IEEE Control Systems Letters. 6:464-469
In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general and combines feedforward and output feedback schemes. The proposed controller allo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e47186fadcf01f771c489f80d61e0bf
https://doi.org/10.1109/lcsys.2021.3080627
https://doi.org/10.1109/lcsys.2021.3080627