Author:Parasara Sridhar Duggirala

Publications

Keyphrases

Affine systems, Applied verification, Automotive, Bernstein polynomials, C2E2, continuous systems2, control, Discrepancy Functions, dynamical systems, formal verification, hybrid systems4, Industrial, linear systems, nonlinear dynamical systems, nonlinear dynamics, nonlinear systems, Powertrain control, reachability analysis2, Reachable Set Computation, safety, simulation, Simulink, Stateflow, tools2, verification2.