Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

A simulation tool to design and simulate cyber-physical attacks against sensor networks, and evaluate their effects.

FMP (Flood Monitoring Platform)

SMT-Based CPS Parameter Synthesis and Repair

How to use KeYmaera X as a library in a Scala code base.

Very limited SpaceEx -> KeYmaera X converter

Open Platform for Big Data and IoT based Java Hadoop Case Water Quality Monitoring

Automated Controller Synthesis

My academic publications

Possible Attacks, Exploits and Vulnerabilities of Autonomous vehicles. uploaded the presentation along with images

PS0 - Ontological Framework For Physical Security and Insider Threat Detection

Vikram Rao

Cognitive radio optics (машинное зрение на принципах когнитивной радиооптики) #emonocle

Replicating States of Cyber-physical Systems to Digital Twins

Benchmarks for CPS: A modular model library for buildings automation

Dynamic Attention Networks For Time Series State Forecasting in Cyber Physical Systems

Group Website Repository

An automated parallel simulation flow for ForSyDe models.

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).

A C++ SDK for building cyber-physical applications using the Accessor Model