HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Parasara Sridhar Duggirala

Publications
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials
Edward Kim and Parasara Sridhar Duggirala
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Direct Verification of Linear Systems with over 10000 Dimensions
Stanley Bak and Parasara Sridhar Duggirala
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

Affine systems, Automotive, Bernstein polynomials, C2E2, continuous systems, control, Discrepancy Functions, hybrid systems2, Industrial, linear systems, nonlinear dynamical systems, Powertrain control, reachability analysis, Reachable Set Computation, safety, simulation, Simulink, Stateflow, tools, verification2.

Copyright © 2012-2021 easychair.org. All rights reserved.