Avinash Malik

Available identifiers

zbMath Open malik.avinashMaRDI QIDQ1652449

List of research outcomes

Publication	Date of Publication	Type
Efficient simulation of general stochastic hybrid systems	2022-10-14	Paper
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata	2022-09-20	Paper
Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion	2021-05-31	Paper
A dynamic quantized state system execution framework for hybrid automata	2020-05-07	Paper
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay	2018-07-11	Paper
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems	2018-05-15	Paper

Research outcomes over time

This page was built for person: Avinash Malik