Explore projects

DPO-SYNT is a C++ based software toolbox for solving a class of property-enforcement synthesis problems for partially-observed Discrete Event Systems.

ROOT-based analysis of Fission Experiment

JOE files for my (Niloy) Great Lakes installation. None of the external libraries/packages are installed. Contains modifications that I have made myself.

Code development for the AT90CAN128

Microcontroller code for the Brake System Plausibility Device

code for monitoring the safety loop with a microcontroller

Simulink project containing both FCU and RCU supervisory applications

MER19 Steering Wheel Processor Code

Graphics on mobile

Publicly available code base for the Vulcan Project