Pinned Repositories
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.
chatgpt-uml
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.
lintra
llm-evaluator-backend
llm-evaluator-frontend
msc-use
uncertainty-datatypes-python
Uncertainty Datatypes Python Library
uncertainty-mitigation-dts
Companion repository for "Quantifying and combining uncertainty for improving the behavior of Digital Twins"
atenearesearchgroup's Repositories
atenearesearchgroup/chatgpt-uml
atenearesearchgroup/digitalTwinModelingFramework
A Digital Twin framework that allows connecting UML models to physical devices to perform analysis and validation tasks.
atenearesearchgroup/uncertainty-datatypes-python
Uncertainty Datatypes Python Library
atenearesearchgroup/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.
atenearesearchgroup/llm-evaluator-backend
atenearesearchgroup/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.
atenearesearchgroup/llm-evaluator-frontend
atenearesearchgroup/uncertainty-aware-adaptive-systems
Software and artifacts related to the paper "Uncertainty-aware simulation of adaptive systems"
atenearesearchgroup/uncertainty-mitigation-dts
Companion repository for "Quantifying and combining uncertainty for improving the behavior of Digital Twins"
atenearesearchgroup/mbt4cps-dofbotarm
Automated model-based testing of a robotic arm
atenearesearchgroup/routine-modeling
atenearesearchgroup/subjectiveKGs
atenearesearchgroup/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.
atenearesearchgroup/uncertainty
atenearesearchgroup/Automated-Planning-for-Adaptive-CPS
atenearesearchgroup/Automated-Planning-Under-Interacting-Sources-of-Uncertainty
atenearesearchgroup/cosca
atenearesearchgroup/fidelity-measure-for-dts
Algorithm to measure the level of fidelity of a Digital Twin System by aligning behavioral traces.
atenearesearchgroup/fms-subjectivelogic
atenearesearchgroup/global-decision-making
atenearesearchgroup/human-behavior-exploration
atenearesearchgroup/malaga-bus-dt
atenearesearchgroup/MBTUsingPrePostconditions
atenearesearchgroup/property-crime-classification
Companion repository for the paper "Ontology-based Automated Reasoning About Property Crimes"
atenearesearchgroup/public-transport-system-dt
Repository for Urban Digital Twins over the Cloud-to-Thing Continuum
atenearesearchgroup/umuv
atenearesearchgroup/web-based-modeling-tool-base-project
atenearesearchgroup/web-model-based-verification-tool
atenearesearchgroup/Wildfire-Simulator-DQN-PCD
atenearesearchgroup/Wildfire-UAVSim