Who am I?
I am a research engineer and a PhD student at laboratory Verimag under the supervision of Goran Frehse and Oded Maler, in the TEMPORISE group.
I am working in the development team of the SpaceEx tool platform, designed to integrate different techniques, strategies and approaches to formal verification of continuous and hybrid systems. A first version is available for .
I am interested in the "Reachability Analysis" of continuous and hybrid systems. I intend to put up some scribes here from time to time hoping that new students and beginners will find it useful.
I am also participating in a EU project named MULTIFORM.
I have recently developed interest in the Theory of Polytopes and Linear Programming. Feel free to discuss or write to me for leisurely or serious discussions.
Publications
Flowpipe-Guard Intersection for Reachability Computations with Support Functions. Goran Frehse, Rajarshi Ray. {To appear in the proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands}[pdf]
SpaceEx: Scalable Verification of Hybrid Systems. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler. {23rd International Conference on Computer Aided Verification (CAV,11), Utah, USA}[pdf]
Design Principles for an Extendable Verification Tool for Hybrid Systems. Goran Frehse, Rajarshi Ray. {IFAC int. Conference on Analysis and Design of Hybrid Systems (ADHS,09), Spain} [pdf]
Automated Translation of MATLAB Simulink/Stateflow Models to an Intermediate Format in HyVisual. {Masters Thesis at Chennai Mathematical Institute/GM India Science Lab, 07}[pdf]
Technical Reports
An Approach to Direct Minimization of Convex Piecewise Linear Functions. [pdf]
Miscellaneous
- Programming enthusiasts may find this question/answer site highly interesting, useful and addictive.
I will put up other interesting things as I come through them.