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
My summer research project: applying ML to classify human-factor behaviors encountered obstacles
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).
My academic publications
Timed Pattern Matching in Log Files
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
In this repository you can find the code necessary for the required exercise on learning STL formulae.
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.
An automated parallel simulation flow for ForSyDe models.
🎓💻University of Tehran Cyber Physical Systems Course Projects - Spring 2023
GRAIC-22 Autonomous Racing Competition Benchmarks
SMT-Based CPS Parameter Synthesis and Repair
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
Master thesis. Cyber-physical microservices for the Dobot Magician and connected workbenches. Designed to be used for the GREGOR office assembly system.
PS0 - Ontological Framework For Physical Security and Insider Threat Detection
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."