13 results found Sort:

Luos-io
luos_engine Luos-io
51
501
mit
15
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 5 months ago
modelica
ModelicaStandardLibrary modelica
164
446
bsd-3-clause
55
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,238 commits to master branch, last one 4 days ago
brent-stone
CAN_Reverse_Engineering brent-stone
65
383
gpl-3.0
39
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
17
187
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,846 commits to master branch, last one 25 days ago
scy-phy
minicps scy-phy
68
158
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 11 months ago
MTASZTAKI
ApertusVR MTASZTAKI
47
155
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 4 months ago
paulveillard
cybersecurity paulveillard
37
124
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
130 commits to main branch, last one 3 months ago
verivital
nnv verivital
48
101
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,699 commits to master branch, last one 2 months ago
INTO-CPS-Association
DTaaS INTO-CPS-Association
51
99
other
9
: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
105 commits to feature/distributed-demo branch, last one 11 days ago
LS-Lab
KeYmaeraX-release LS-Lab
36
72
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,231 commits to master branch, last one 10 months ago
IBM
vsrl-framework IBM
13
53
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
Created 2020-07-07
35 commits to master branch, last one 2 years ago
sbaresearch
cps-twinning sbaresearch
18
51
mit
9
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