Topic: "cyber-physical-systems"
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: 5 days ago - Pushed at: 4 months ago - Stars: 530 - Forks: 57
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: 269 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 514 - Forks: 173
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: 25 days ago - Pushed at: about 1 year ago - Stars: 412 - Forks: 67
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Language: Julia - Size: 13.8 MB - Last synced at: 10 days ago - Pushed at: 19 days ago - Stars: 201 - Forks: 17
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: 9 days ago - Pushed at: 4 months ago - Stars: 194 - Forks: 44
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: 19 days ago - Pushed at: almost 2 years ago - Stars: 173 - Forks: 74
MTASZTAKI/ApertusVR
Virtual Reality Software Library
Language: C++ - Size: 2.96 GB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 166 - Forks: 48
INTO-CPS-Association/DTaaS
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
Language: TypeScript - Size: 124 MB - Last synced at: 25 days ago - Pushed at: 29 days ago - Stars: 128 - Forks: 62
verivital/nnv
Neural Network Verification Software Tool
Language: MATLAB - Size: 2.77 GB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 122 - Forks: 51
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language: Scala - Size: 260 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 75 - Forks: 37
IBM/vsrl-framework π¦
The Verifiably Safe Reinforcement Learning Framework
Language: Python - Size: 1.92 MB - Last synced at: 26 days ago - Pushed at: almost 4 years ago - Stars: 56 - Forks: 12
JuliaReach/Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
Language: Julia - Size: 1.77 MB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 50 - Forks: 4
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
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: 27 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 6
ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
Language: C++ - Size: 20 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 29 - Forks: 9
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
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: 7 months ago - Pushed at: 7 months ago - Stars: 26 - Forks: 5
CRACK-MCR/MaCySTe
Maritime Cyber Security Testbed
Language: Python - Size: 65.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 3
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 Notebook - Size: 9.38 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 4
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
roboticslab-cseiitg/ProjectTartarus
Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Language: Prolog - Size: 5.38 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 6
microsoft/AccessorFramework π¦
A C++ SDK for building cyber-physical applications using the Accessor Model
Language: C++ - Size: 68.4 KB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 6
umangm/realsyn
Automated Controller Synthesis
Language: Python - Size: 1.55 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 5
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
DIGI2-FEUP/dinasore
Language: Python - Size: 17.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 11
r3glisss/SecPump
A wireless infusion pump system workbench for security research
Language: C - Size: 70.2 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 11 - Forks: 15
jupiterbak/OPEN-ACCESS
Open-source framework for Edge-Computing of Cyber-Physical Production Systems
Language: C# - Size: 17.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 3
xuwkk/Robust_MTD
This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"
Language: Python - Size: 426 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 4
nmuralid1/DynamicAttentionNetworks
Dynamic Attention Networks For Time Series State Forecasting in Cyber Physical Systems
Language: Python - Size: 213 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 10 - 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: 3 months ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2
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: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 3
spp1914-cocpn/cocpn-sim
Simulation and evaluation framework for cyber-physical systems
Language: Shell - Size: 77.1 KB - Last synced at: 9 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 3
LS-Lab/KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Language: Java - Size: 19.5 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 8 - Forks: 4
LS-Lab/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language: Shell - Size: 955 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 7 - Forks: 8
anpar/EE-WCC-MapReduce
Source code of the numerical experiments presented in "Energy-Efficient Edge-Facilitated Wireless Collaborative Computing using Map-Reduce" by Antoine Paris, Hamed Mirghasemi, Ivan Stupia and Luc Vandendorpe (presented at SPAWC19).
Language: Python - Size: 36.1 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0
natchi92/BASBenchmarks
Benchmarks for CPS: A modular model library for buildings automation
Language: MATLAB - Size: 43 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 2
Flatag/FIBlock
Fault Injection Block for Simulink models
Language: MATLAB - Size: 119 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 4
EMIIA/EMIIA
ΠΠΠΠΠ β ΠΌΠ°ΡΠΈΠ½Π½ΠΎΠ΅ ΡΠ°Π΄ΠΈΠΎΠ·ΡΠ΅Π½ΠΈΠ΅. Π Π°ΡΠΏΠΎΠ·Π½Π°Π²Π°Π½ΠΈΠ΅ ΠΎΠ±ΡΠ°Π·ΠΎΠ², Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°Ρ ΠΈ ΡΠΊΠΎΡΠΎΡΡΠΈ Π΄ΠΈΠ½Π°ΠΌΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠ±ΡΠ΅ΠΊΡΠΎΠ² ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ ΡΠ°Π΄ΠΈΠΎΠ²ΠΎΠ»Π½, Π² ΡΠΎΠΌ ΡΠΈΡΠ»Π΅ ΠΈ Π·Π° ΡΠ°Π΄ΠΈΠΎΠΏΡΠΎΠ·ΡΠ°ΡΠ½ΡΠΌΠΈ ΠΏΡΠ΅Π³ΡΠ°Π΄Π°ΠΌΠΈ.
Language: JavaScript - Size: 4.53 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 12
Ethanlinyf/464-CyberMesh
To building an integrated networking environment for cyber physical systems as a localised workstation.
Language: Python - Size: 4.73 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 5 - Forks: 0
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: 7 days ago - Pushed at: 19 days ago - Stars: 5 - Forks: 1
PoPGRI/GRAIC22-Benchmarks
GRAIC-22 Autonomous Racing Competition Benchmarks
Language: Jupyter Notebook - Size: 196 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0
sbaresearch/cps-state-replication
Replicating States of Cyber-physical Systems to Digital Twins
Language: Scala - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 2
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: 7 months ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 2
UNEDLabs/rip-spec
Specification of the Remote Interoperability Protocol
Language: TeX - Size: 4.6 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
zenlab-tcps/Tactile-Cyber-Physical-Systems
Real-time interaction between cyber-physical systems for applications requiring ultra-reliable low latency communication (uRLLC)
Size: 1.67 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
UNEDLabs/rip-labview-server
A server implementation of the RIP protocol in LabVIEW
Language: LabVIEW - Size: 7.49 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 3
dineshresearch/Talk_on_Vehicle_Security
Possible Attacks, Exploits and Vulnerabilities of Autonomous vehicles. uploaded the presentation along with images
Size: 10.1 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
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: about 1 month ago - Pushed at: about 1 month 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: 19 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 2
forsyde/forsyde-atom
A shallow-embedded DSL for modeling cyber-physical systems
Language: Haskell - Size: 11.5 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 2
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: 14 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 1
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
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
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: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
jupiterbak/Siemens_Skill_Invokation_Client
A fully functional Skill Orchestration Tool written in javascript and nodejs.
Language: JavaScript - Size: 206 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
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: 2 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
hriener/parsyn-cegis
SMT-Based CPS Parameter Synthesis and Repair
Language: Python - Size: 7.53 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 3 - 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: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
LENSS/ERIC-BuildSys2024
[BuildSys 2024] Best Paper Award
Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 2 - 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: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0
INTO-CPS-Association/DTaaS-examples
Examples to demonstrate the features of DTaaS software
Language: Python - Size: 291 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 8
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: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
ciselab/CPS_repo_mining
Repository mining for searching Performance Antipatterns in Cyber-Physical System Projects.
Language: Python - Size: 15.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
NitheshNayak/AnomalyDetectionCyberPhysicalSystems
Language: Jupyter Notebook - Size: 897 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2
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: 26 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0
Abolfazl-Younesi/MoTiCPS
Scheduling tasks using Osprey Optimization Algorithm (OOA) in iFogSim Simulator
Language: Java - Size: 63.5 KB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
PRAHALYAA2004/SMART-ENERGY-METER
STM32F401 PROJECT
Language: C - Size: 347 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - 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
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: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
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: 10 months ago - Pushed at: 10 months ago - Stars: 1 - 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
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
QuanHNguyen232/NSF_CPS_SIRI_2022
My summer research project: applying ML to classify human-factor behaviors encountered obstacles
Language: Jupyter Notebook - Size: 15.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
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: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 2
eggebee6/PiDigitalTwin
A Cyber-Physical Digital Twin for the Raspberry Pi Sense HAT
Language: C# - Size: 53.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
marciacr/WSSL_Library
WSSL source code
Language: Makefile - Size: 830 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
RaheelJ/CyberControl
Research on Control of Cyber-Physical Systems
Language: MATLAB - Size: 3.96 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
SELAB-AA/stgem
Requirement Falsification for Cyber Physical Systems using Generative Models
Language: Python - Size: 60.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
pigozzif/ExerciseLearningSTLFormulae
In this repository you can find the code necessary for the required exercise on learning STL formulae.
Language: Java - Size: 3.37 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
zhpinkman/realtime-propeller-led-display
This is an online propeller display we built for our Real-Time Embedded Systems course project.
Language: C - Size: 28 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
ginevracoal/adversarialGAN Fork of ffranchina/master_thesis_2020
Code for paper "Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems"
Language: Python - Size: 14.5 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
coordinated-systems-lab/pipeline-cps
Oil & Gas Pipeline Cyber Physical System
Size: 9.09 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
m-meidani/ECE553
A simulation of an Active Aerodynamic System for a car
Language: HTML - Size: 3.93 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
nrfulton/scuba-release
Formal verification of a SCUBA ascent protocol.
Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
vasilisp/pub
My academic publications
Size: 3.32 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
nrfulton/kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
Language: Scala - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - 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: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
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 2 months ago - Pushed at: 2 months ago - Stars: 0 - 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: 17 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1
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
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: 5 days ago - Pushed at: 6 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: 7 months ago - Pushed at: 7 months ago - Stars: 0 - 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: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
michalspano/MiniCarSteer
Let ML steer a miniature car for you. :O
Language: Python - Size: 32.4 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 2
pooyaaf/CPS_CA2_ASN
Motion-based Authenticatio
Language: QML - Size: 9.06 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
pooyaaf/CPS_IOT_HW
Language: Makefile - Size: 37.8 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - 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: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
uamughal/UAVs-Dataset-Under-Normal-and-Cyberattacks
This repository contains the dataset developed in paper, "Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles."
Size: 1.08 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0