Prabhat K. Mishra

Available identifiers

Publication	Date of Publication	Type
Modified equation based mesh adaptation algorithm for evolutionary scalar partial differential equations	2023-12-16	Paper
A mesh adaptation algorithm using new monitor and estimator function for discontinuous and layered solution	2022-09-01	Paper
Scalable Concolic Testing of RTL Models	2022-03-23	Paper
Minimum variance constrained estimator	2022-01-31	Paper
Reference tracking stochastic model predictive control over unreliable channels and bounded control actions	2021-04-20	Paper
Deep Model Predictive Control with Stability Guarantees	2021-04-14	Paper
Stochastic predictive control under intermittent observations and unreliable actions	2020-06-10	Paper
Centralized model predictive control with distributed adaptation	2020-04-05	Paper
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits	2019-03-07	Paper
Stabilizing Stochastic Predictive Control under Bernoulli Dropouts	2018-09-14	Paper
Sparse and constrained stochastic predictive control for networked systems	2018-01-23	Paper
Property Learning Techniques for Efficient Generation of Directed Tests	2017-07-27	Paper
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques	2017-05-16	Paper
System-Level Validation	2012-09-11	Paper
Functional Verification of Programmable Embedded Architectures	2006-03-27	Paper

This page was built for person: Prabhat K. Mishra