Dhrubajyoti Kalita

• Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems