Suchergebnisse - "Dependable Communication and Computation Systems"

Efficient and Predictable Context Switching for Mixed-Criticality and Real-Time Systems

Autoren: Nurmi, Antti Kalache, Abdesattar Lunnikivi, Henri et al.

Quelle: IEEE Transactions on Very Large Scale Integration (vlsi) Systems. 33(11):2907-2915

Schlagwörter: Context switch, interrupt latency, mixed criticality, predictable computing, real-time systems, RISC-V, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-115111
https://doi.org/10.1109/TVLSI.2025.3612433

Modular RTIC: Lightweight Real Time for Customized Architectures

Autoren: Lunnikivi, Henri Madaoui, Zakaria Dzialo, Pawel et al.

Quelle: IEEE Transactions on Very Large Scale Integration (vlsi) Systems. 33(11):2952-2960

Schlagwörter: Heterogeneous systems, real time interruptdriven concurrency (RTIC), real time (RT) systems, Rust, Cyber Security, Cybersäkerhet, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-114475
https://doi.org/10.1109/TVLSI.2025.3595712

Implementing Holographic Reduced Representations for Spiking Neural Networks

Autoren: Sumanasena, Vidura de Silva, Daswin Osipov, Evgeny et al.

Quelle: IEEE Access. 13:116606-116620

Schlagwörter: Spiking neural networks (SNN), vector symbolic architecture (VSA), holographic reduced representations, neuromorphic computing, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-114170
https://doi.org/10.1109/ACCESS.2025.3580582

Structured temporal representation in time series classification with ROCKETs and hyperdimensional computing

Autoren: Schlegel, Kenny Rachkovskij, Dmitri A. Kleyko, Denis et al.

Quelle: Data mining and knowledge discovery. 39(6)

Schlagwörter: Hyperdimensional Computing, Time Series Classification, ROCKET, MiniROCKET, MultiROCKET, HYDRA, Position Encoding, Compositional Representation, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-115423
https://doi.org/10.1007/s10618-025-01162-y

Margin-Based Training of HDC Classifiers

Autoren: Smets, Laura Rachkovskij, Dmitri Osipov, Evgeny et al.

Quelle: Big Data and Cognitive Computing. 9(3)

Schlagwörter: hyperdimensional computing, HDC classifier, compositional representation, hypervector, margin classifier, confidence, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-112274
https://doi.org/10.3390/bdcc9030068

Hypervector Approximation of Complex Manifolds for Artificial Intelligence Digital Twins in Smart Cities

Autoren: Kahawala, Sachin Madhusanka, Nuwan De Silva, Daswin et al.

Quelle: Smart Cities. 7(6):3371-3387

Schlagwörter: artificial intelligence, hypervectors, digital twin, complex manifold, hyperseed, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-111212
https://doi.org/10.3390/smartcities7060131

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

Autoren: Ovsiannikova, Polina Pakonen, Antti Muromsky, Dmitry et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 5:616-631

Schlagwörter: Function block diagrams (FBDs), instrumentation and control (I&C) architecture, logical programming, nonfunctional requirements, ontology, safety-critical systems, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-108369
https://doi.org/10.1109/OJIES.2024.3413568

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Autoren: Xavier, Midhun Dubinin, Victor Patil, Sandeep et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 5:517-534

Schlagwörter: Formal Verification, IEC 61499, Plant Model Generation, Process mining, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-107515
https://doi.org/10.1109/OJIES.2024.3406059

Shift-Equivariant Similarity-Preserving Hypervector Representations of Sequences

Autoren: Rachkovskij, Dmitri A.

Quelle: Cognitive Computation. 16:909-923

Schlagwörter: Brain-like distributed representations, Hyperdimensional computing, Hypervector permutation, Sequence representation, Similarity preserving transformation, Vector symbolic architectures, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-104883
https://doi.org/10.1007/s12559-024-10258-4

Investigating Rules and Parameters of Reservoir Computing with Elementary Cellular Automata, with a Criticism of Rule 90 and the Five-Bit Memory Benchmark

Autoren: Glover, Tom Eivind Lind, Pedro Yazidi, Anis et al.

Quelle: Complex Systems. 32(3):309-351

Schlagwörter: Cellular Automata, Edge of Chaos, Reservoir Computing, Reservoir Computing with Cellular Automata (ReCAs), Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-103857
https://doi.org/10.25088/ComplexSystems.32.3.309

Green transport and renewable power: an integrated analysis for India's future

Autoren: Sobha, Parvathy Muthusamypillai, Akshayan Xavier, Midhun

Quelle: International Journal of Sustainable Energy. 42(1):1520-1540

Schlagwörter: Sustainable mobility, sustainable power, renewable energy, EV integration, Energiteknik, Energy Engineering, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-103054
https://doi.org/10.1080/14786451.2023.2285170

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

Autoren: Lilli, Giordano Xavier, Midhun Le Priol, Etienne et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 4:417-431

Schlagwörter: Formal verification, IEC 61499, isotope separation online (ISOL), model checking, NuSMV, radioactive ion beams (RIBs), remote handling, Selective Production of Exotic Species (SPES), simulation, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-102308
https://doi.org/10.1109/OJIES.2023.3321084

Offline reinforcement learning for industrial process control: A case study from steel industry

Autoren: Deng, Jifei Sierla, Seppo Sun, Jie et al.

Quelle: Information Sciences. 632:221-231

Schlagwörter: Offline reinforcement learning, Deep ensemble, Industrial process control, Steel industry, Strip rolling, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-96458
https://doi.org/10.1016/j.ins.2023.03.019

Automatic Generation of Charging Point's Digital Twin for Virtual Commissioning of Their Automation Systems

Autoren: Galkin, Nikolai Yang, Chen-Wei Vyatkin, Valeriy

Quelle: IEEE Open Journal of the Industrial Electronics Society. 4:14-26

Schlagwörter: Charging point’s automation, digital twin, IEC 61850, MATLAB, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-95177
https://doi.org/10.1109/ojies.2022.3230214

Automatic Generation of Data centre Digital Twins for Virtual Commissioning of their Automation Systems

Autoren: Galkin, Nikolai Ruchkin, Michail Vyatkin, Valeriy et al.

Quelle: IEEE Access. 11:4633-4644

Schlagwörter: Digital Twin, Data Centre, Automation, IEC 61850, IEC 61499, MATLAB, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-95178
https://doi.org/10.1109/access.2023.3234804

Decentralized Control of Crop Growth Conditions in Vertical Farms under Dynamic Energy Markets

Autoren: Zhukovskii, Kirill Scarabaggio, Paolo Ovsiannikova, Polina et al.

Quelle: IEEE Transactions on Automation Science and Engineering. 22:21498-21511

Schlagwörter: Vertical farms, crop growth control, energy optimization, multi-agent systems, decentralized predictive control, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-115052

Classification Performance of Confidence-Driven Centroids

Autoren: Smets, L. Rachkovskij, Dmitri Osipov, Evgeny et al.

Quelle: Cybernetics and Systems Analysis. 61(2):289-304

Schlagwörter: centroid, linear classifier, non-linear data transformation, hyperdimensional computing, vector symbolic architecture, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-112622

Primary Frequency Control with an Air Handling Unit

Autoren: Karhula, Niko Sierla, Seppo Ihasalo, Heikki et al.

Quelle: Energies. 17(15)

Schlagwörter: air handling unit, frequency containment reserve, primary frequency control, variable-frequency drive, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-108628
https://doi.org/10.3390/en17153777

Evaluation of visual property specification languages based on practical model-checking experience

Autoren: Pakonen, Antti Buzhinsky, Igor Vyatkin, Valeriy

Quelle: Journal of Systems and Software. 216

Schlagwörter: Formal specifications, Formal verification, Instrumentation and control, Model checking, Requirements engineering, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-108427
https://doi.org/10.1016/j.jss.2024.112153

A Two-Layer Self-Organizing Map with Vector Symbolic Architecture for Spatiotemporal Sequence Learning and Prediction

Autoren: Kempitiya, Thimal Alahakoon, Damminda Osipov, Evgeny et al.

Quelle: Biomimetics. 9(3)

Schlagwörter: hierarchical temporal memory, self-organizing maps, spatiotemporal sequence learning, vector symbolic architectures, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-104938
https://doi.org/10.3390/biomimetics9030175