Author:Sayan Mitra

Publications

Keyphrases

Automotive2, benchmark, C2E2, control, Discrepancy Functions, hybrid systems2, Industrial, passive safety, Powertrain control, safety2, safety verification, simulation, Simulink2, space rendezvous, Stateflow2, tools, verification2.