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 | 27 | 2018 |
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 | 13 | 2020 |
Invariance feedback entropy of uncertain control systems MS Tomar, M Rungger, M Zamani IEEE Transactions on Automatic Control 66 (12), 5680-5695, 2020 | 10 | 2020 |
A modified extreme learning ANFIS for higher dimensional regression problems CP Pramod, MS Tomar, GN Pillai Computational Intelligence: Theories, Applications and Future Directions …, 2019 | 5 | 2019 |
Numerical over-approximation of invariance entropy via finite abstractions MS Tomar, C Kawan, M Zamani Systems & Control Letters 170, 105395, 2022 | 4 | 2022 |
Numerical estimation of invariance entropy for nonlinear control systems MS Tomar, C Kawan, P Jagtap, M Zamani arXiv preprint arXiv:2004.04779, 2020 | 3 | 2020 |
Modular computation of restoration entropy for networks of systems: A dissipativity approach MS Tomar, M Zamani IEEE Control Systems Letters 6, 3289-3294, 2022 | 2 | 2022 |
On a notion of entropy for reachability properties MS Tomar, M Zamani 2022 American Control Conference (ACC), 781-786, 2022 | 2 | 2022 |
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach MS Tomar, M Zamani IEEE Control Systems Letters 7, 1476-1481, 2023 | 1 | 2023 |
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, ... | | |