Topic: cyber-physical-systems Goto Github
Some thing interesting about cyber-physical-systems
Some thing interesting about cyber-physical-systems
cyber-physical-systems,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).
User: anpar
Home Page: https://ieeexplore.ieee.org/document/8815499
cyber-physical-systems,C++ framework for rigorous computation on cyber-physical systems
Organization: ariadne-cps
Home Page: http://www.ariadne-cps.org
cyber-physical-systems,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).
User: arminmoin
cyber-physical-systems,Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
User: brent-stone
cyber-physical-systems,Maritime Cyber Security Testbed
Organization: crack-mcr
Home Page: https://crack-mcr.github.io/MaCySTe
cyber-physical-systems,Open Platform for Big Data and IoT based Java Hadoop Case Water Quality Monitoring
User: cyberstackover
cyber-physical-systems,
Organization: digi2-feup
cyber-physical-systems,Possible Attacks, Exploits and Vulnerabilities of Autonomous vehicles. uploaded the presentation along with images
User: dineshresearch
cyber-physical-systems,A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
User: doganulus
Home Page: https://doganulus.github.io/reelay/
cyber-physical-systems,ΠΠΠΠΠ β ΠΌΠ°ΡΠΈΠ½Π½ΠΎΠ΅ ΡΠ°Π΄ΠΈΠΎΠ·ΡΠ΅Π½ΠΈΠ΅. Π Π°ΡΠΏΠΎΠ·Π½Π°Π²Π°Π½ΠΈΠ΅ ΠΎΠ±ΡΠ°Π·ΠΎΠ², Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°Ρ ΠΈ ΡΠΊΠΎΡΠΎΡΡΠΈ Π΄ΠΈΠ½Π°ΠΌΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠ±ΡΠ΅ΠΊΡΠΎΠ² ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ ΡΠ°Π΄ΠΈΠΎΠ²ΠΎΠ»Π½, Π² ΡΠΎΠΌ ΡΠΈΡΠ»Π΅ ΠΈ Π·Π° ΡΠ°Π΄ΠΈΠΎΠΏΡΠΎΠ·ΡΠ°ΡΠ½ΡΠΌΠΈ ΠΏΡΠ΅Π³ΡΠ°Π΄Π°ΠΌΠΈ.
User: emiia
Home Page: https://www.emiia.ru
cyber-physical-systems,Fault Injection Block for Simulink models
User: flatag
Home Page: https://flatag.tech/fiblock.html
cyber-physical-systems,ForSyDe's Haskell-embedded Domain Specific Language
Organization: forsyde
Home Page: https://forsyde.github.io/forsyde-shallow/
cyber-physical-systems,The Verifiably Safe Reinforcement Learning Framework
Organization: ibm
cyber-physical-systems,:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
Organization: into-cps-association
Home Page: https://into-cps-association.github.io/DTaaS/
cyber-physical-systems,Reachability and Safety of Nondeterministic Dynamical Systems
Organization: juliareach
cyber-physical-systems,Computing reachable states of dynamical systems in Julia
Organization: juliareach
Home Page: https://juliareach.github.io/ReachabilityAnalysis.jl/
cyber-physical-systems,Open-source framework for Edge-Computing of Cyber-Physical Production Systems
User: jupiterbak
Home Page: https://www.faps.fau.de/
cyber-physical-systems,Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Organization: ls-lab
Home Page: http://symbolaris.com/info/KeYmaera.html
cyber-physical-systems,Projects, models, and proofs in KeYmaera X
Organization: ls-lab
Home Page: http://keymaeraX.org/
cyber-physical-systems,KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Organization: ls-lab
Home Page: http://keymaeraX.org/
cyber-physical-systems,Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
Organization: luos-io
Home Page: https://www.luos.io
cyber-physical-systems,A C++ SDK for building cyber-physical applications using the Accessor Model
Organization: microsoft
cyber-physical-systems,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.
User: mkhaled87
cyber-physical-systems,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.
Organization: modelica
Home Page: https://doc.modelica.org
cyber-physical-systems,Virtual Reality Software Library
Organization: mtasztaki
Home Page: http://apertusvr.org
cyber-physical-systems,TRIPLE: A Blockchain-based Digital Twin Framework for Cyber-Physical Systems Security
User: mubashar-iqbal
cyber-physical-systems,Benchmarks for CPS: A modular model library for buildings automation
User: natchi92
cyber-physical-systems,Dynamic Attention Networks For Time Series State Forecasting in Cyber Physical Systems
User: nmuralid1
cyber-physical-systems,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.
User: paulveillard
cyber-physical-systems,Noisy language compiler
User: phillipstanleymarbell
cyber-physical-systems,This is the official repository for the Applied Sciences paper "Mining Road Traffic Rules with Signal Temporal Logic and Grammatical Evolution".
User: pigozzif
cyber-physical-systems,GRAIC-22 Autonomous Racing Competition Benchmarks
Organization: popgri
cyber-physical-systems,A wireless infusion pump system workbench for security research
User: r3glisss
cyber-physical-systems,Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Organization: roboticslab-cseiitg
cyber-physical-systems,Automated Security Risk Identification Using AutomationML-based Engineering Data
Organization: sbaresearch
cyber-physical-systems,Replicating States of Cyber-physical Systems to Digital Twins
Organization: sbaresearch
cyber-physical-systems,A Framework for Generating and Executing Digital Twins
Organization: sbaresearch
cyber-physical-systems,PS0 - Ontological Framework For Physical Security and Insider Threat Detection
User: scripteam
Home Page: http://www.securitylab.no/ps0
cyber-physical-systems,MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
Organization: scy-phy
cyber-physical-systems,Simulation and evaluation framework for cyber-physical systems
Organization: spp1914-cocpn
Home Page: http://spp1914.de/projects/CoCPN/
cyber-physical-systems,This repository contains the code for paper, ''Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles,β in IEEE Transactions on Intelligent Transportation Systems (2023)
User: uamughal
Home Page: https://ieeexplore.ieee.org/document/10368002
cyber-physical-systems,This repository contains the dataset developed in paper, "Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles."
User: uamughal
Home Page: https://ieeexplore.ieee.org/abstract/document/10368002
cyber-physical-systems,Automated Controller Synthesis
User: umangm
cyber-physical-systems,A server implementation of the RIP protocol in LabVIEW
Organization: unedlabs
cyber-physical-systems,Specification of the Remote Interoperability Protocol
Organization: unedlabs
cyber-physical-systems,Neural Network Verification Software Tool
Organization: verivital
Home Page: http://www.verivital.com
cyber-physical-systems,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.
User: xjp99v5
cyber-physical-systems,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'
User: xuwkk
cyber-physical-systems,This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"
User: xuwkk
cyber-physical-systems,Real-time interaction between cyber-physical systems for applications requiring ultra-reliable low latency communication (uRLLC)
User: zenlab-tcps
Home Page: https://labs.dese.iisc.ac.in/zenlab/ongoing-projects/tsn/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.