cyber-physical-systems topic
luos_engine
Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
nnv
Neural Network Verification Software Tool
ML-Quadrat
ML-Quadrat (ML2) is a Model-Driven Software Engineering (MDSE) tool with full code generation and out-of-the-box Machine Learning (ML) support at the modeling layer for creating smart services for the...
cybersecurity
Welcome Cybersecurity's World. An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites, blog posts, links to github Re...
Noisy-lang-compiler
Noisy language compiler
vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
ariadne
C++ framework for rigorous computation on cyber-physical systems
MaCySTe
Maritime Cyber Security Testbed
DTaaS
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
DDET-MTD
This repo contains all the codes and data for 'Blending Data and Physics Against False Data Injection Attack: An Event-Triggered Moving Target Defence Approach'