No photo of Hasan Poonawala

Hasan Poonawala, Ph.D.

    Calculated based on number of publications stored in Pure and citations from Scopus
    20122024

    Research activity per year

    Filter
    Conference contribution

    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 proceedingConference contributionpeer-review

      Open Access
    • 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 proceedingConference contributionpeer-review

      Open Access
      1 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 proceedingConference contributionpeer-review

      9 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

      7 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 proceedingConference contributionpeer-review

      Open Access
      5 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

      Open Access
      24 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

      5 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

      20 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 proceedingConference contributionpeer-review

      21 Scopus citations
    Your message has successfully been sent.
    Your message was not sent due to an error.