Follow
Mahendra Singh Tomar
Mahendra Singh Tomar
Verified email at colorado.edu
Title
Cited by
Cited by
Year
ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
252018
Compositional quantification of invariance feedback entropy for networks of uncertain control systems
MS Tomar, M Zamani
IEEE Control Systems Letters 4 (4), 827-832, 2020
132020
Invariance feedback entropy of uncertain control systems
MS Tomar, M Rungger, M Zamani
IEEE Transactions on Automatic Control 66 (12), 5680-5695, 2020
82020
Numerical over-approximation of invariance entropy via finite abstractions
MS Tomar, C Kawan, M Zamani
Systems & Control Letters 170, 105395, 2022
42022
A modified extreme learning ANFIS for higher dimensional regression problems
CP Pramod, MS Tomar, GN Pillai
Computational Intelligence: Theories, Applications and Future Directions …, 2019
42019
Numerical estimation of invariance entropy for nonlinear control systems
MS Tomar, C Kawan, P Jagtap, M Zamani
arXiv preprint arXiv:2004.04779, 2020
32020
Modular computation of restoration entropy for networks of systems: A dissipativity approach
MS Tomar, M Zamani
IEEE Control Systems Letters 6, 3289-3294, 2022
22022
Towards minimal data rate enforcing regular safety properties: An invariance entropy approach
MS Tomar, M Zamani
IEEE Control Systems Letters, 2023
12023
On a notion of entropy for reachability properties
MS Tomar, M Zamani
2022 American Control Conference (ACC), 781-786, 2022
12022
On a notion of entropy for reachability properties
M Singh Tomar, M Zamani
arXiv e-prints, arXiv: 2203.00767, 2022
2022
Invariance feedback entropy of uncertain nonlinear control systems
MS Tomar
lmu, 2021
2021
Numerical over-approximation of invariance entropy via finite abstractions
M Singh Tomar, C Kawan, M Zamani
arXiv e-prints, arXiv: 2011.02916, 2020
2020
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems
M Singh Tomar, C Kawan, P Jagtap, M Zamani
arXiv e-prints, arXiv: 2004.04779, 2020
2020
Experimental Evaluation of Methods of Reachable Set Computation in Context of Symbolic Controller Synthesis
MS Tomar
INDIAN INSTITUTE OF TECHNOLOGY ROORKEE, 2018
2018
Invariance Feedback Entropy of Uncertain Control Systems
M Singh Tomar, M Rungger, M Zamani
arXiv e-prints, arXiv: 1706.05242, 2017
2017
NSM Converges to a k-NN Regressor Under Loose Lipschitz Estimates... ET Maddalena and CN Jones 880
L Zino, A Rizzo, M Porfiri, C Califano, CH Moog, M Tranninger, R Seeber, ...
The system can't perform the operation now. Try again later.
Articles 1–16