Parasara Sridhar Duggirala

According to our database, Parasara Sridhar Duggirala authored at least 58 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Statistical verification of autonomous system controllers under timing uncertainties.

Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty

Real Time Syst., March, 2024

Certifiable and Efficient Autonomous Cyber-Physical Systems Design.

Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm.

Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Poster Abstract: Neural Architecture Sizing for Autonomous Systems.

Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.

Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems.

Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the International Conference on Assured Autonomy, 2024

Special Session: Emerging Architecture Design, Control, and Security Challenges in Software Defined Vehicles.

Aya El-Fatyany, Xiaohang Wang, Parasara Sridhar Duggirala, Samarjit Chakraborty, Sudeep Pasricha, Amit Kumar Singh

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2024

2023

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.

Manish Goyal, David Bergman, Parasara Sridhar Duggirala

CoRR, 2023

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.

Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Dynamic Selection of Perception Models for Robotic Control.

Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala

CoRR, 2022

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.

Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Coverage-Guided Fuzz Testing for Cyber-Physical Systems.

Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections.

Abolfazl Karimi, Parasara Sridhar Duggirala

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Reachability of Linear Uncertain Systems: Sampling Based Approaches.

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches.

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

Safety and progress proofs for a reactive planner and controller for autonomous driving.

Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala

CoRR, 2021

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.

Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.

Edward Kim, Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Perception Computing-Aware Controller Synthesis for Autonomous Systems.

Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, Samarjit Chakraborty

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.

Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Extracting counterexamples induced by safety violation in linear hybrid systems.

Manish Goyal, Parasara Sridhar Duggirala

Autom., 2020

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.

Manish Goyal, Parasara Sridhar Duggirala

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Formalizing traffic rules for uncontrolled intersections.

Abolfazl Karimi, Parasara Sridhar Duggirala

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials.

Edward Kim, Parasara Sridhar Duggirala

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.

Manish Goyal, David Bergman, Parasara Sridhar Duggirala

Proceedings of the 2020 American Control Conference, 2020

Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract).

Qilin Jin, Parasara Sridhar Duggirala

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems.

Bineet Ghosh, Parasara Sridhar Duggirala

ACM Trans. Embed. Comput. Syst., 2019

Aggregation Strategies in Reachable Set Computation of Hybrid Systems.

Parasara Sridhar Duggirala, Stanley Bak

ACM Trans. Embed. Comput. Syst., 2019

Incremental Minimization of Symbolic Automata.

Jonathan Homburg, Parasara Sridhar Duggirala

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

When Can We Treat Trajectories as Points?

Parasara Sridhar Duggirala, Donald R. Sheehy

Proceedings of the 30th Canadian Conference on Computational Geometry, 2018

On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.

Manish Goyal, Parasara Sridhar Duggirala

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Rigorous Simulation-Based Analysis of Linear Hybrid Systems.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Direct Verification of Linear Systems with over 10000 Dimensions.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Simulation-Equivalent Reachability of Large Linear Systems with Inputs.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.

Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Parsimonious, Simulation Based Verification of Linear Systems.

Parasara Sridhar Duggirala, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

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

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Dynamic analysis of Cyber-Physical Systems

Parasara Sridhar Duggirala

PhD thesis, 2015

Hybrid automata-based CEGAR for rectangular hybrid systems.

Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan

Formal Methods Syst. Des., 2015

C2E2: A Verification Tool for Stateflow Models.

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Analyzing Real Time Linear Control Systems Using Software Verification.

Parasara Sridhar Duggirala, Mahesh Viswanathan

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

C2E2: a tool for verifying annotated hybrid systems.

Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Progress on Powertrain Verification Challenge with C2E2.

Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Meeting a Powertrain Verification Challenge.

Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.

Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz

Proceedings of the FM 2014: Formal Methods, 2014

2013

A formal framework for interfacing mixed-timing systems.

Shirshendu Das, Parasara Sridhar Duggirala, Hemangee K. Kapoor

Integr., 2013

Safety verification for linear systems.

Parasara Sridhar Duggirala, Ashish Tiwari

Proceedings of the International Conference on Embedded Software, 2013

Verification of annotated models from executions.

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan

Proceedings of the International Conference on Embedded Software, 2013

2012

Static and Dynamic Analysis of Timed Distributed Traces.

Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.

Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Reachability Problems - 6th International Workshop, 2012

Lyapunov abstractions for inevitability of hybrid systems.

Parasara Sridhar Duggirala, Sayan Mitra

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Abstraction Refinement for Stability.

Parasara Sridhar Duggirala, Sayan Mitra

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

2010

On the Theory of Stochastic Processors.

Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski

Proceedings of the QEST 2010, 2010