Parasara Sridhar Duggirala

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 45

Top Topics

Mixed Integer Linear Program

Top Venues

Publications

Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS (2024)
Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
Certifiable and Efficient Autonomous Cyber-Physical Systems Design. VLSID (2024)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60 (1) (2024)
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS (2024)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. ATVA (1) (2023)
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. CoRR (2023)
Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS (2022)
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation. CoRR (2022)
Abolfazl Karimi, Parasara Sridhar Duggirala
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. ICCPS (2022)
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA (2022)
Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala
Dynamic Selection of Perception Models for Robotic Control. CoRR (2022)
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS (2021)
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
Safety and progress proofs for a reactive planner and controller for autonomous driving. CoRR (2021)
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. IROS (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS (2021)
Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, Samarjit Chakraborty
Perception Computing-Aware Controller Synthesis for Autonomous Systems. DATE (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR (2021)
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR (2021)
Bineet Ghosh, Parasara Sridhar Duggirala
Reachability of Linear Uncertain Systems: Sampling Based Approaches. CoRR (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Bineet Ghosh, Parasara Sridhar Duggirala
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. CoRR (2021)
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. CoRR (2021)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ATVA (2020)
Qilin Jin, Parasara Sridhar Duggirala
Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract). AAAI (2020)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. L4DC (2020)
Abolfazl Karimi, Parasara Sridhar Duggirala
Formalizing traffic rules for uncontrolled intersections. ICCPS (2020)
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. ACC (2020)
Manish Goyal, Parasara Sridhar Duggirala
Extracting counterexamples induced by safety violation in linear hybrid systems. Autom. 117 (2020)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. CoRR (2020)
Edward Kim, Parasara Sridhar Duggirala
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. ARCH (2020)
Bineet Ghosh, Parasara Sridhar Duggirala
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Jonathan Homburg, Parasara Sridhar Duggirala
Incremental Minimization of Symbolic Automata. VSTTE (2019)
Parasara Sridhar Duggirala, Stanley Bak
Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Manish Goyal, Parasara Sridhar Duggirala
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. ADHS (2018)
Parasara Sridhar Duggirala, Donald R. Sheehy
When Can We Treat Trajectories as Points? CCCG (2018)
Stanley Bak, Parasara Sridhar Duggirala
Simulation-Equivalent Reachability of Large Linear Systems with Inputs. CAV (1) (2017)
Stanley Bak, Parasara Sridhar Duggirala
Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek (2017)
Stanley Bak, Parasara Sridhar Duggirala
Rigorous Simulation-Based Analysis of Linear Hybrid Systems. TACAS (1) (2017)
Stanley Bak, Parasara Sridhar Duggirala
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. HSCC (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Parasara Sridhar Duggirala, Mahesh Viswanathan
Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) (2016)
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek (2015)
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46 (2) (2015)
Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
C2E2: a tool for verifying annotated hybrid systems. HSCC (2015)
Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
Meeting a Powertrain Verification Challenge. CAV (1) (2015)
Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
C2E2: A Verification Tool for Stateflow Models. TACAS (2015)
Parasara Sridhar Duggirala, Mahesh Viswanathan
Analyzing Real Time Linear Control Systems Using Software Verification. RTSS (2015)
Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM (2014)
Shirshendu Das, Parasara Sridhar Duggirala, Hemangee K. Kapoor
A formal framework for interfacing mixed-timing systems. Integr. 46 (3) (2013)
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI (2013)
Parasara Sridhar Duggirala, Ashish Tiwari
Safety verification for linear systems. EMSOFT (2013)
Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Verification of annotated models from executions. EMSOFT (2013)
Parasara Sridhar Duggirala, Sayan Mitra
Lyapunov abstractions for inevitability of hybrid systems. HSCC (2012)
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP (2012)
Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra
Static and Dynamic Analysis of Timed Distributed Traces. RTSS (2012)
Parasara Sridhar Duggirala, Sayan Mitra
Abstraction Refinement for Stability. ICCPS (2011)
Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski
On the Theory of Stochastic Processors. QEST (2010)