GitHub topics: cyber-physical-systems

Repositories

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: Modelica - Size: 270 MB - Last synced at: about 15 hours ago - Pushed at: about 17 hours ago - Stars: 513 - Forks: 173

j-ehrhardt/hai-cps-benchmark

This repository contains the simulation models and links to the datasets for the Hamburg AI Benchmark for anomaly detection, diagnosis, reconfiguration, and planning.

Language: Modelica - Size: 22.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5 - Forks: 1

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: C - Size: 22.3 MB - Last synced at: about 16 hours ago - Pushed at: 3 months ago - Stars: 530 - Forks: 57

Ethanlinyf/464-CyberMesh

To building an integrated networking environment for cyber physical systems as a localised workstation.

Language: Python - Size: 4.72 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 0

shuyang-dong/stlu_quantitative_predictative_monitor

Quantitative predicative monitoring and adaptive control based on Signal Temporal Logic with uncertainty in Cyber-Physical-System

Language: Python - Size: 264 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

karlvbiron/MATRIX

Modbus Attack Tool for Remote Industrial eXploitation (M.A.T.R.I.X) is a comprehensive security testing tool for Modbus TCP protocol implementations.

Language: Python - Size: 332 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 0

scy-phy/minicps

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

Language: Python - Size: 13.8 MB - Last synced at: about 9 hours ago - Pushed at: almost 2 years ago - Stars: 173 - Forks: 74

brent-stone/CAN_Reverse_Engineering

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

Language: Python - Size: 27.7 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 412 - Forks: 67

PreCyseGroup/data-driven-tracking-supervisor

This repository provides the codes for designing a data-driven control architecture for preserving the safety and tracking performance of constrained cyber-physical systems under networked attacks. (coming soon!)

Language: MATLAB - Size: 4.35 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 3 - Forks: 1

SUmidcyber/Cyber-Security-Toolset

PowerShell ile geliştirilmiş kapsamlı log analiz ve siber güvenlik tarama aracı. Bu araç, Windows sistemlerde güvenlik olaylarını analiz etmek, şüpheli aktiviteleri tespit etmek ve sistem güvenliğini artırmak için tasarlanmıştır.

Language: PowerShell - Size: 10.7 KB - Last synced at: about 18 hours ago - Pushed at: 16 days ago - Stars: 3 - Forks: 2

INTO-CPS-Association/DTaaS

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

Language: TypeScript - Size: 124 MB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 128 - Forks: 62

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 12.9 MB - Last synced at: 2 days ago - Pushed at: 27 days ago - Stars: 200 - Forks: 17

ariadne-cps/ariadne

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

Language: C++ - Size: 20 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 29 - Forks: 9

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: Python - Size: 115 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 190 - Forks: 44

verivital/nnv

Neural Network Verification Software Tool

Language: MATLAB - Size: 2.77 GB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 122 - Forks: 51

pedroteixeiraw/Bridge_and_Lantern_Riddle

This project focus on solving 'The Bridge and Lantern Riddle', while leveraging the use of Cyber-Physical concepts and monads. The programming language of choice was Haskell.

Language: Haskell - Size: 1.81 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

vasilisp/pub

My academic publications

Size: 3.32 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

doganulus/reelay

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

Language: C++ - Size: 2.98 MB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 6

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++ - Size: 70.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 2

LENSS/ERIC-BuildSys2024

[BuildSys 2024] Best Paper Award

Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

MTASZTAKI/ApertusVR

Virtual Reality Software Library

Language: C++ - Size: 2.96 GB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 166 - Forks: 48

Abolfazl-Younesi/MoTiCPS

Scheduling tasks using Osprey Optimization Algorithm (OOA) in iFogSim Simulator

Language: Java - Size: 63.5 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

msaf9/cyber-physical-systems-framework

Our project focuses on developing a simulation framework for evaluating Cyber-Physical Systems (CPS) under real-time constraints.

Language: Python - Size: 495 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

mubashar-iqbal/triple-digital-twin

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

Language: C# - Size: 1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 8 - Forks: 3

paulveillard/cybersecurity-cyberinsurance

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 about Cyber Insurance in Cybersecurity.

Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

G-R-Dual-Mind-Lab/PowerSync_System

This project proposes an optimized power delivery solution for EV charging stations using leader election and distributed computing algorithms. By applying cyber-physical systems (CPS) concepts, it enhances charging infrastructure efficiency, supporting sustainable and intelligent energy management.

Language: MATLAB - Size: 8.56 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

QAMCAS/FMU-Simulation-Environment

AI4DI - Artificial Intelligence of Digitising Industry: This project builds a docker environment with a running server to trigger a simulation, based on an FMU model. The FMU model can be controlled by a client using a implemented REST API on the server (docker).

Language: Python - Size: 120 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

francescovitale/pm_based_modeling_simulation

Unsupervised process mining-based modeling and simulation of cyber-physical systems' low-level sensor data

Language: Python - Size: 22.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ewdlop/MedicalVirus

Language: Python - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ebel-frank/foc_ids_api

A set of apis for the Fiber-Optic Intrusion detection system

Language: JavaScript - Size: 46.9 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

PRAHALYAA2004/SMART-ENERGY-METER

STM32F401 PROJECT

Language: C - Size: 347 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

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: Java - Size: 45.6 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 26 - Forks: 5

olehxch/ai

🧠 Welcome to the AI and ML resources repository! This curated collection offers books, papers, videos, and practical examples to enhance your AI knowledge. Explore inspiring materials on AI, robotics, cyber-physical systems, cloud computing, microservices, and software design.

Size: 297 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

KRahim859/CPS_HIDS

This repository contains a Gcode (NIST RS-274/ISO 6983-1:2009) based dataset for signature and anomaly based intrusion detection for 3D printers and CNC machines through supervised and semi supervised learning.

Language: Jupyter Notebook - Size: 154 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

IBM/vsrl-framework 📦

The Verifiably Safe Reinforcement Learning Framework

Language: Python - Size: 1.92 MB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 56 - Forks: 12

Simula-COMPLEX/nirvana

RBF SVM based wrong prediction estimator in deep learning models employed for CPS data

Language: Jupyter Notebook - Size: 64.3 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

uttambodara/rootme-solution-

Welcome to the vibrant world of Root me Daily Problem of the Day solutions! Code written while solving challenges and CTFs on root-me. Root Me is a platform for everyone to test and improve knowledge in computer security, hacking and CTFs.

Size: 75.2 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

PreCyseGroup/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS Fork of attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS

This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.

Language: MATLAB - Size: 12.5 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

zhang-zengjie/net-scs-acr

Experimental studies on communication rates of an event-triggered network

Language: MATLAB - Size: 168 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

LS-Lab/KeYmaeraX-projects

Projects, models, and proofs in KeYmaera X

Language: Shell - Size: 1000 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 8

LS-Lab/KeYmaeraX-release

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

Language: Scala - Size: 260 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 75 - Forks: 37

sbaresearch/amlsec

Automated Security Risk Identification Using AutomationML-based Engineering Data

Language: Scala - Size: 2.05 MB - Last synced at: 6 months ago - Pushed at: almost 3 years ago - Stars: 27 - Forks: 9

microsoft/AccessorFramework 📦

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

Language: C++ - Size: 68.4 KB - Last synced at: about 9 hours ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 6

Spiros-Dimitriou/Dobot-Gregor-Chair

Master thesis. Cyber-physical microservices for the Dobot Magician and connected workbenches. Designed to be used for the GREGOR office assembly system.

Language: Python - Size: 6.36 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

phillipstanleymarbell/Noisy-lang-compiler

Noisy language compiler

Language: C - Size: 152 MB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 17 - Forks: 1

pooyaaf/CPS_CA2_ASN

Motion-based Authenticatio

Language: QML - Size: 9.06 MB - Last synced at: 5 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

pooyaaf/CPS_IOT_HW

Language: Makefile - Size: 37.8 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

GabrielPereira146/RA4Self-CPS

Language: Java - Size: 75.6 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

spp1914-cocpn/cocpn-sim

Simulation and evaluation framework for cyber-physical systems

Language: Shell - Size: 77.1 KB - Last synced at: 8 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 3

INTO-CPS-Association/DTaaS-examples

Examples to demonstrate the features of DTaaS software

Language: Python - Size: 291 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 8

herwinz/cyber-physical-systems

Open Platform for Big Data and IoT based Java Hadoop Case Water Quality Monitoring

Language: Java - Size: 36.6 MB - Last synced at: 6 months ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 2

ARGF0RCE/acps-project

Dashboard to visualize results from dynamometer in lathe machine

Language: JavaScript - Size: 1.63 MB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

hriener/parsyn-cegis

SMT-Based CPS Parameter Synthesis and Repair

Language: Python - Size: 7.53 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

michalspano/MiniCarSteer

Let ML steer a miniature car for you. :O

Language: Python - Size: 32.4 MB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 2

jmscslgroup/FollowerStopperAnalysis

An Analysis of FollowerStopper Controller

Language: TeX - Size: 339 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

ieee-ies/icps2024.ieee-ies.org

IEEE ICPS 2024 Conference

Language: HTML - Size: 155 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

philipempl/DT4SEC

A systematic literature review on digital twins in cybersecurity domain

Language: TeX - Size: 24.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

forsyde/forsyde-shallow

ForSyDe's Haskell-embedded Domain Specific Language

Language: Haskell - Size: 3.44 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 8

enfff/cps-project

Modelling and Control of a group of Cyber-Physical Systems, where one is the leader who sets the trajectory, and the rest follows it as reference signal through two different implementations of feedback loop.

Language: MATLAB - Size: 16.9 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 2

forsyde/ForSyDe-Parallel-Simulation

An automated parallel simulation flow for ForSyDe models.

Language: Python - Size: 54.7 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

UNEDLabs/rip-python-server Fork of jcsombria/py-ripserver

A server implementation of the RIP protocol in Python

Language: Python - Size: 97.9 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

sarpreetsingh3131/4dv50e

master-thesis

Language: Java - Size: 36 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

CRACK-MCR/MaCySTe

Maritime Cyber Security Testbed

Language: Python - Size: 65.1 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 3

sbaresearch/cps-twinning

A Framework for Generating and Executing Digital Twins

Language: JavaScript - Size: 749 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 49 - Forks: 18

pigozzif/BUSTLESTLLearningFromData

This is the official repository for the Evolutionary Computation paper "BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data".

Language: Java - Size: 59.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

uamughal/Cyber-Physical-Intrusion-Detection-System-for-Unmanned-Aerial-Vehicles

This repository contains the code for paper, ''Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles,” in IEEE Transactions on Intelligent Transportation Systems (2023)

Language: Python - Size: 33.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

xjp99v5/Threat-Analysis-for-Smart-Cities

A Cyber-Physical System (CPS) is a mixed system integrated with computation, communication, and physical processes, which takes an important position in the smart city, and there are many challenges in its security issues. In this project, we established a testbed and a mini UI system to verify our CPS threat analysis method and auto anomaly detection algorithm.

Language: Python - Size: 198 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 3