14 results found Sort:

Luos-io
luos_engine Luos-io
54
516
mit
16
Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
iot ros cicd edge luos arduino embedded freertos realtime micro-ros real-time platformio digitaltwins microservice raspberry-pi digital-twins embedded-systems cyberphysical-systems communication-protocol cyber-physical-systems
Created 2018-07-20
1,488 commits to main branch, last one 11 months ago
modelica
ModelicaStandardLibrary modelica
169
481
bsd-3-clause
56
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...
map-lib modelica hacktoberfest system-modeling modelica-library system-modelling system-simulation standard-conforming cyber-physical-systems
Created 2013-04-02
8,280 commits to master branch, last one 2 days ago
brent-stone
CAN_Reverse_Engineering brent-stone
66
399
gpl-3.0
40
Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
can-bus machine-learning protocol-analyser reverse-engineering cyber-physical-systems empirical-data-modeling
Created 2019-03-08
40 commits to master branch, last one 2 years ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
16
192
mit
10
Computing reachable states of dynamical systems in Julia
ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations
Created 2019-12-03
1,916 commits to master branch, last one 2 days ago
paulveillard
cybersecurity paulveillard
41
173
apache-2.0
9
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...
security cryptography cybersecurity security-audit security-tools security-testing computer-security cybersecurity-blog defensive-security security-hardening security-automation computer-architecture cyber-physical-systems security-vulnerability cybersecurity-awareness cybersecurity-education cybersecurity-incidents cybersecurity-career-path
Created 2021-12-04
141 commits to main branch, last one about a month ago
scy-phy
minicps scy-phy
70
165
mit
15
MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
python mininet security containers cyber-security simulation-framework cyber-physical-systems
Created 2015-04-10
745 commits to master branch, last one about a year ago
MTASZTAKI
ApertusVR MTASZTAKI
47
163
mit
24
Virtual Reality Software Library
cave gear-vr medical virtual htc-vive industry research game-engine epson-moverio mixed-reality multiplatform multithreaded visualization virtual-reality augmented-reality collective-knowledge platform-independent cyber-physical-systems
Created 2016-11-14
1,804 commits to 0.9.1 branch, last one 10 months ago
INTO-CPS-Association
DTaaS INTO-CPS-Association
57
116
other
8
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
industry40 dt-platform dt-services digital-twin digitaltwins digital-twins digital-shadow model-based-design cyberphysical-systems cyber-physical-systems
Created 2022-08-18
141 commits to feature/distributed-demo branch, last one 5 days ago
verivital
nnv verivital
49
114
unknown
7
Neural Network Verification Software Tool
safe-ai autonomy reachability verification safe-autonomy cyber-physical formal-methods hybrid-systems neural-network trustworthy-ai assured-autonomy formal-verification reachability-analysis cyber-physical-systems robustness-verification neural-network-verification neural-network-certification trustworthy-machine-learning
Created 2018-08-20
1,821 commits to master branch, last one about a month ago
LS-Lab
KeYmaeraX-release LS-Lab
39
77
gpl-2.0
14
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
axiom proof scala tactics keymaera mathematica hybrid-games dynamic-logics hybrid-systems theorem-prover dynamical-systems cyber-physical-systems differential-equations differential-dynamic-logic
Created 2015-08-26
16,739 commits to master branch, last one about a month ago
IBM
vsrl-framework IBM
12
56
mit
10
The Verifiably Safe Reinforcement Learning Framework
pytorch keymaera keymaerax safe-control formal-methods safety-critical formal-verification cyber-physical-systems reinforcement-learning differential-dynamic-logic safe-reinforcement-learning reinforcement-learning-algorithms reinforcement-learning-environments
This repository has been archived (exclude archived)
Created 2020-07-07
35 commits to master branch, last one 3 years ago
sbaresearch
cps-twinning sbaresearch
19
55
mit
10
A Framework for Generating and Executing Digital Twins
research security automationml digital-twin industrial-automation cyber-physical-systems simulation-environment
Created 2018-01-27
29 commits to master branch, last one 2 years ago
JuliaReach
Reachability.jl JuliaReach
4
50
mit
7
Reachability and Safety of Nondeterministic Dynamical Systems
ode julia engineering simulations verification control-theory hybrid-systems control-systems automatic-control dynamical-systems formal-verification reachability-analysis cyber-physical-systems
Created 2017-10-12
1,287 commits to master branch, last one 3 years ago
CRACK-MCR
MaCySTe CRACK-MCR
3
28
agpl-3.0
4
Maritime Cyber Security Testbed
testbed cyber-range digital-twin cybersecurity-testing cyber-physical-systems cybersecurity-training maritime-cyber-security
Created 2023-01-14
16 commits to main branch, last one 7 months ago