cyber-physical-systems

There are 109 repositories under cyber-physical-systems topic.

  • luos_engine

    Luos-io/luos_engine

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

    Language:C5041517553
  • ModelicaStandardLibrary

    modelica/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 functions and functions for strings, files and streams are included.

    Language:Modelica451553k165

  • brent-stone/CAN_Reverse_Engineering

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

    Language:Python38539764

  • JuliaReach/ReachabilityAnalysis.jl

    Computing reachable states of dynamical systems in Julia

    Language:Julia1871025117

  • scy-phy/minicps

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

    Language:Python159151468

  • MTASZTAKI/ApertusVR

    Virtual Reality Software Library

    Language:C++157249747

  • paulveillard/cybersecurity

    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.

    Language:Python1329038

  • INTO-CPS-Association/DTaaS

    :factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service

    Language:TypeScript106911251

  • verivital/nnv

    Neural Network Verification Software Tool

    Language:MATLAB10274648

  • LS-Lab/KeYmaeraX-release

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

    Language:Scala721411036

  • IBM/vsrl-framework

    The Verifiably Safe Reinforcement Learning Framework

    Language:Python5410513

  • sbaresearch/cps-twinning

    A Framework for Generating and Executing Digital Twins

    Language:JavaScript539218

  • JuliaReach/Reachability.jl

    Reachability and Safety of Nondeterministic Dynamical Systems

    Language:Julia5073704

  • doganulus/reelay

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

    Language:C++313135

  • sbaresearch/amlsec

    Automated Security Risk Identification Using AutomationML-based Engineering Data

    Language:Scala28609

  • ariadne-cps/ariadne

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

    Language:C++2695729

  • arminmoin/ML-Quadrat

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

    Language:Java26215

  • CRACK-MCR/MaCySTe

    Maritime Cyber Security Testbed

    Language:Python24413

  • xuwkk/DDET-MTD

    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'

    Language:Jupyter Notebook21104

  • phillipstanleymarbell/Noisy-lang-compiler

    Noisy language compiler

    Language:C1724231

  • roboticslab-cseiitg/ProjectTartarus

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

    Language:Prolog15766

  • umangm/realsyn

    Automated Controller Synthesis

    Language:Python14405

  • xuwkk/Robust_MTD

    This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"

    Language:Python14104

  • r3glisss/SecPump

    A wireless infusion pump system workbench for security research

    Language:C133116

  • forsyde/forsyde-shallow

    ForSyDe's Haskell-embedded Domain Specific Language

    Language:Haskell124198

  • microsoft/AccessorFramework

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

    Language:C++127119

  • DIGI2-FEUP/dinasore

    Language:Python115811

  • jupiterbak/OPEN-ACCESS

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

    Language:C#11304

  • nmuralid1/DynamicAttentionNetworks

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

    Language:Python10216

  • LS-Lab/KeYmaera-release

    Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

    Language:Java8404

  • mkhaled87/pFaces-OmegaThreads

    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 a 2d simulator are provided.

    Language:C++8012

  • mubashar-iqbal/triple-digital-twin

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

    Language:C#8403

  • natchi92/BASBenchmarks

    Benchmarks for CPS: A modular model library for buildings automation

    Language:MATLAB7302

  • spp1914-cocpn/cocpn-sim

    Simulation and evaluation framework for cyber-physical systems

    Language:Shell7113
  • FIBlock

    Flatag/FIBlock

    Fault Injection Block for Simulink models

    Language:MATLAB6305

  • PoPGRI/GRAIC22-Benchmarks

    GRAIC-22 Autonomous Racing Competition Benchmarks

    Language:Jupyter Notebook6300