Research output per year
Research output per year
- 17 results
Search results
-
2023
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices
Samanipour, P. & Poonawala, H. A., 2023, 2023 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023. (2023 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions
Clark, B., Hariprasad, V. & Poonawala, H. A., 2023, 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023. p. 354-360 7 p. (IEEE International Conference on Intelligent Robots and Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
2022
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Badings, T. S., Abate, A., Jansen, N., Parker, D., Poonawala, H. A. & Stoelinga, M., Jun 30 2022, AAAI-22 Technical Tracks 9. p. 9669-9678 10 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access19 Scopus citations -
2021
Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions
Poonawala, H. A., May 25 2021, 2021 American Control Conference, ACC 2021. p. 2406-2411 6 p. 9483040. (Proceedings of the American Control Conference; vol. 2021-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
2019
Stability Analysis Via Refinement of Piece-wise Linear Lyapunov Functions
Poonawala, H. A., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. p. 1442-1447 6 p. 9030067. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations -
Traffic management for urban air mobility
Bharadwaj, S., Carr, S., Neogi, N., Poonawala, H., Chueca, A. B. & Topcu, U., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). p. 71-87 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
9 Scopus citations -
Training classifiers for feedback control
Poonawala, H. A., Lauffer, N. & Topcu, U., Jul 2019, 2019 American Control Conference, ACC 2019. p. 4961-4967 7 p. 8815170. (Proceedings of the American Control Conference; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access5 Scopus citations -
2017
Classification error correction: A case study in brain-computer interfacing
Poonawala, H. A., Alshiekh, M., Niekum, S. & Topcu, U., Dec 13 2017, IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3006-3012 7 p. 8206138. (IEEE International Conference on Intelligent Robots and Systems; vol. 2017-September).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On maintaining visibility in multi-robot-networks with limited field-of-view sensors
Poonawala, H. A. & Spong, M. W., Jun 29 2017, 2017 American Control Conference, ACC 2017. p. 4983-4988 6 p. 7963727. (Proceedings of the American Control Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach
Poonawala, H. A. & Topcu, U., Jun 28 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. p. 2738-2743 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations -
Sequential convex programming for the efficient verification of parametric MDPs
Cubuktepe, M., Jansen, N., Junges, S., Katoen, J. P., Papusha, I., Poonawala, H. A. & Topcu, U., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria, T. & Legay, A. (eds.). p. 133-150 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10206 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
25 Scopus citations -
2016
Filter-based stochastic abstractions for constrained planning with limited sensing
Poonawala, H. A. & Topcu, U., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. p. 3319-3324 6 p. 7798768. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2015
Decentralized estimation of the algebraic connectivity for strongly connected networks
Poonawala, H. A. & Spong, M. W., Jul 28 2015, ACC 2015 - 2015 American Control Conference. p. 4068-4073 6 p. 7171965. (Proceedings of the American Control Conference; vol. 2015-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
19 Scopus citations -
From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots
Poonawala, H. A. & Spong, M. W., Aug 24 2015, 2015 10th International Workshop on Robot Motion and Control, RoMoCo 2015. p. 97-102 6 p. 7219720. (2015 10th International Workshop on Robot Motion and Control, RoMoCo 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
2013
Connectivity preserving formation control with collision avoidance for nonholonomic wheeled mobile robots
Satici, A. C., Poonawala, H., Eckert, H. & Spong, M. W., 2013, IROS 2013: New Horizon, Conference Digest - 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 5080-5086 7 p. 6697091. (IEEE International Conference on Intelligent Robots and Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
22 Scopus citations -
Leader-follower formation control of nonholonomic wheeled mobile robots using only position measurements
Poonawala, H. A., Satici, A. C. & Spong, M. W., 2013, 2013 9th Asian Control Conference, ASCC 2013. 6606313. (2013 9th Asian Control Conference, ASCC 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
23 Scopus citations -
2012
Formation control of wheeled robots with vision-based position measurement
Poonawala, H., Satici, A. C., Gans, N. & Spong, M. W., 2012, 2012 American Control Conference, ACC 2012. p. 3173-3178 6 p. 6315000. (Proceedings of the American Control Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
22 Scopus citations