My summer research project: applying ML to classify human-factor behaviors encountered obstacles
-
Updated
Oct 3, 2023 - Jupyter Notebook
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).
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
Very limited SpaceEx -> KeYmaera X converter
Experimental studies on communication rates of an event-triggered network
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.
My academic publications
Timed Pattern Matching in Log Files
An automated parallel simulation flow for ForSyDe models.
🎓💻University of Tehran Cyber Physical Systems Course Projects - Spring 2023
A fully functional Skill Orchestration Tool written in javascript and nodejs.
SMT-Based CPS Parameter Synthesis and Repair
GRAIC-22 Autonomous Racing Competition Benchmarks
🕸 OpenModelica connection editor in the browser
Cyber-physical System Solution for MINDs
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."