Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
-
Updated
Aug 14, 2024 - C
Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.
Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
Computing reachable states of dynamical systems in Julia
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 Repositories, technical guidelines and important resources in Cybersecurity.
MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
Virtual Reality Software Library
🏭
Neural Network Verification Software Tool
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
A Framework for Generating and Executing Digital Twins
The Verifiably Safe Reinforcement Learning Framework
Reachability and Safety of Nondeterministic Dynamical Systems
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
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'
C++ framework for rigorous computation on cyber-physical systems
Automated Security Risk Identification Using AutomationML-based Engineering Data
Maritime Cyber Security Testbed
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 Internet of Things (IoT) and Cyber-Physical Systems (CPS).
This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"
Add a description, image, and links to the cyber-physical-systems topic page so that developers can more easily learn about it.
To associate your repository with the cyber-physical-systems topic, visit your repo's landing page and select "manage topics."