Peer-reviewed Publications

  1. [RTS'20] C. Nemitz, T. Amert, M. Goyal, J. Anderson
    Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting
    Real-Time Systems, special issue of outstanding papers from RTNS 2019, to appear.
  2. [ATVA'20] M. Goyal, P. S. Duggirala
    NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
    International Symposium on Automated Technology for Verification and Analysis, 2020
  3. [AUT'20] M. Goyal, P. S. Duggirala
    Extracting Counterexamples Induced by Safety Violation in Linear Hybrid Systems
    Automatica, vol 117(5), 2020
  4. [ACC'20] M. Goyal, D. Bergman, P. S. Duggirala
    Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT
    American Control Conference, 2020
  5. [L4DC'20] M. Goyal, P. S. Duggirala
    NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
    Conference on Learning for Dynamics and Control, PMLR vol 120(1), 2020
  6. [RTNS'19] C. Nemitz, T. Amert, M. Goyal, J. Anderson
    Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting
    Real-Time Networks and Systems, 2019. Outstanding Paper Award
  7. [ADHS'18] M. Goyal, P. S. Duggirala
    On Generating a variety of unsafe counterexamples for Linear Dynamical Systems
    Analysis and Design of Hybrid Systems, 2018
  8. [IJMO'12] M. Goyal
    Reachability Analysis of Hybrid Systems: An Experience Report
    International Journal of Modeling and Optimization, vol 2(6), 2012

Workshop/Other Artifacts

  1. [DARS'19] M. Goyal, P. S. Duggirala
    Learning Robustness of Nonlinear Systems Using Neural Networks
    Design and Analysis of Robust Systems, 2019
  2. [CMACS'11] G. Frehse, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, M. Goyal, R. Ripado, T. Dang, O. Maler, C. Le Guernic, A. Girard
    Safety Analysis of Hybrid Systems with SpaceEx
    Computational Modeling and Analysis for Complex Systems, 2011
  3. [MULTI'11] M. Goyal, G. Frehse
    Translation between CIF and SpaceEx/PHAVer
    MULTIFORM Deliverable D1.3.1, Verimag, 2011