Kajori Banerjee

Learn More
Model based frameworks like Simulink/Stateflow for developing software control algorithms advocate the analysis of an abstract discrete state model of the controller before developing the actual code for the implementation. Though some of the existing tools support automatic code generation from the model, in actual practice the code is developed manually(More)
  • 1