🏭
-
Updated
Jun 5, 2024 - TypeScript
🏭
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.
Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
Computing reachable states of dynamical systems in Julia
C++ framework for rigorous computation on cyber-physical systems
Let ML steer a miniature car for you. :O
Let ML steer a miniature car for you. :O
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
Examples to demonstrate the features of DTaaS software
Timed Pattern Matching in Log Files
EMBRAVE: EMBedded Remote Attestation and Verification framEwork
A systematic literature review on digital twins in cybersecurity domain
Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
Neural Network Verification Software Tool
Maritime Cyber Security Testbed
ForSyDe's Haskell-embedded Domain Specific Language
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Experimental studies on communication rates of an event-triggered network
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
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."