Published in Submitted for Publication, 2023
Mahendra Singh Tomar, and M. Zamani, “Towards minimal data rate enforcing regular safety properties: An invariance entropy approach” 2023
Published in IEEE Control Systems Letters, 2022
Mahendra Singh Tomar, and M. Zamani, “Modular computation of restoration entropy for networks of systems: a dissipativity approach” IEEE Control Systems Letters, vol.6,pp.3289-3294, 2022
Published in American Control Conference (ACC), 2022
Mahendra Singh Tomar, and M. Zamani, “On a notion of entropy for reachability properties” American Control Conference (ACC),pp.781-786, 2022
Published in Systems & Control Letters, 2022
Mahendra Singh Tomar, C. Kawan, and M. Zamani, “Numerical over-approximation of invariance entropy via finite abstractions” Systems & Control Letters, vol.170,pp.105395,2022
Published in IEEE Transactions on Automatic Control, 2021
Mahendra Singh Tomar, M. Rungger, and M. Zamani, “Invariance feedback entropy of uncertain control systems” IEEE Transactions on Automatic Control, vol. 66, no. 12, pp. 5680-5695, Dec. 2021
Published in IEEE Control Systems Letters, 2020
Mahendra Singh Tomar, and M. Zamani, “Compositional quantification of invariance feedback entropy for networks of uncertain control systems” IEEE Control Systems Letters, 4(4),pp.827-832, October 2020
Published in Computational Intelligence: Theories, Applications and Future Directions-Volume II. Springer, 2019
Pramod, C. P., Mahendra Singh Tomar, and G. N. Pillai. “A Modified Extreme Learning ANFIS for Higher Dimensional Regression Problems.” Computational Intelligence: Theories, Applications and Future Directions-Volume II. Springer, Singapore, 2019. 279-292.
Published in In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018
Immler, Fabian, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, and Majid Zamani. “ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems. 2018.