Awesome Open Source

Programming Languages

Search results for cyber physical systems

cyber-physical-systems x

30 search results found

Luos_engine ⭐ 496

Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.

Modelicastandardlibrary ⭐ 440

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.

Can_reverse_engineering ⭐ 363

Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol

Reachabilityanalysis.jl ⭐ 184

Compute reachable states of dynamical systems

Apertusvr ⭐ 156

Virtual Reality Software Library

Minicps ⭐ 141

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

Neural Network Verification Software Tool

Cybersecurity ⭐ 73

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.

🏭 ↔️ 👥 Digital Twin as a Service

Keymaerax Release ⭐ 65

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Reachability.jl ⭐ 50

Reachability and Safety of Nondeterministic Dynamical Systems

Vsrl Framework ⭐ 37

The Verifiably Safe Reinforcement Learning Framework

Cps Twinning ⭐ 29

A Framework for Generating and Executing Digital Twins

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Automated Security Risk Identification Using AutomationML-based Engineering Data

C++ framework for rigorous computation on cyber-physical systems

Ml Quadrat ⭐ 21

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).

Maritime Cyber Security Testbed

Forsyde Shallow ⭐ 12

ForSyDe's Haskell-embedded Domain Specific Language

Projecttartarus ⭐ 12

Tartarus is a multi-agent emulator for Static as well as Mobile Agents.

Accessorframework ⭐ 11

A C++ SDK for building cyber-physical applications using the Accessor Model

Open Access ⭐ 8

Open-source framework for Edge-Computing of Cyber-Physical Production Systems

Automated Controller Synthesis

Fault Injection Block for Simulink models

ЭМИИА — машинное радиозрение. Распознавание образов, вычисление координат и скорости динамических объектов посредством радиоволн, в том числе и за радиопрозрачными преградами.

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'

Pfaces Omegathreads ⭐ 6

OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and

Triple Digital Twin ⭐ 5

TRIPLE: A Blockchain-based Digital Twin Framework for Cyber-Physical Systems Security

Dynamicattentionnetworks ⭐ 5

Dynamic Attention Networks For Time Series State Forecasting in Cyber Physical Systems

1-30 of 30 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.