cyber-physical-systems topic
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
minicps
MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
CAN_Reverse_Engineering
Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
ApertusVR
Virtual Reality Software Library
ModelicaStandardLibrary
Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functi...
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
cps-twinning
A Framework for Generating and Executing Digital Twins
amlsec
Automated Security Risk Identification Using AutomationML-based Engineering Data
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.