atenearesearchgroup Goto Github PK

approximatetransformation

automated-planning-for-adaptive-cps

belief-fusion-plugin

belief-fusion-plugin is a MagicDraw plugin which allows the fusion of opinions in UML diagrams, using Subjective Logic and a UML Profile defined for this purpose.

cep-preprocessing

Complex event processing for data stream preprocessing

chatgpt-uml

cosca

digitaltwinmodelingframework

A Digital Twin framework that allows connecting UML models to physical devices to perform analysis and validation tasks.

dt-graph-database

In this repository, we include a basic example of setting up a graph database for storing Digital Twins' execution traces. Additionally, we compare this approach with one using Redis, a key-value database. We are using a Braccio robotic arm and a Lego Mindstorms NXJ as examples.

fidelity-measure-for-dts

Algorithm to measure the level of fidelity of a Digital Twin System by aligning behavioral traces.

fms-subjectivelogic

global-decision-making

graphcep

iscc2021

lintra

malaga-bus-dt

mbt4cps-dofbotarm

Automated model-based testing of a robotic arm

mbtusingprepostconditions

msc-use

property-crime-classification

Companion repository for the paper "Ontology-based Automated Reasoning About Property Crimes"

public-transport-system-dt

Repository for Urban Digital Twins over the Cloud-to-Thing Continuum

routine-modeling

sdralgorithm

subjectivekgs

trace-alignment-for-dts

This repository includes a set of algorithms and auxiliary methods to assess the fidelity of a Digital Twin against its physical counterpart.

treasurehunt

umuv

uncertainbehavior

uncertaincep

uncertainty

uncertainty-aware-adaptive-systems

Software and artifacts related to the paper "Uncertainty-aware simulation of adaptive systems"