Very limited SpaceEx -> KeYmaera X converter
-
Updated
Apr 5, 2018 - Scala
Very limited SpaceEx -> KeYmaera X converter
Experimental studies on communication rates of an event-triggered network
This contains a project with sensor nodes and interface with server and manual commands can be send using telegram.
The virtual scene generation phase of GT-Craft
FMP (Flood Monitoring Platform)
An automated parallel simulation flow for ForSyDe models.
🎓💻University of Tehran Cyber Physical Systems Course Projects - Spring 2023
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
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.
Cyber Physical System (CPS) Metamodel
Cognitive radio optics (машинное зрение на принципах когнитивной радиооптики) #emonocle
🕸 OpenModelica connection editor in the browser
Cyber-physical System Solution for MINDs
This repo contains all the projects that have been carried out in the course of the cyber-physical systems offered at the University of Tehran
EMBRAVE: EMBedded Remote Attestation and Verification framEwork
Let ML steer a miniature car for you. :O
Add a description, image, and links to the cyber-physical-systems topic page so that developers can more easily learn about it.
To associate your repository with the cyber-physical-systems topic, visit your repo's landing page and select "manage topics."