Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
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.
A Modified Extreme Learning ANFIS for Higher Dimensional Regression Problems.
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.
Compositional quantification of invariance feedback entropy for networks of uncertain control systems
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
Invariance feedback entropy of uncertain control systems
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
Numerical over-approximation of invariance entropy via finite abstractions
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
On a notion of entropy for reachability properties
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
Modular computation of restoration entropy for networks of systems: a dissipativity approach
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
Towards minimal data rate enforcing regular safety properties: An invariance entropy approach
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
saved_pages
talks
Compositional quantification of invariance feedback entropy for networks of uncertain control systems
Published:
Mahendra Singh Tomar, and M. Zamani, “Compositional quantification of invariance feedback entropy for networks of uncertain control systems”. Published in IEEE Control Systems Letters
On a notion of entropy for reachability properties
Published:
Mahendra Singh Tomar, and M. Zamani, “On a notion of entropy for reachability properties” American Control Conference (ACC),pp.781-786, 2022
Modular computation of restoration entropy for networks of systems: a dissipativity approach
Published:
Mahendra Singh Tomar, and M. Zamani, “Modular computation of restoration entropy for networks of systems: a dissipativity approach”. Published in IEEE Control Systems Letters
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.