Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hasan Poonawala
@article{DBLP:journals/tac/SamanipourP24,
author = {Pouya Samanipour and
Hasan A. Poonawala},
title = {Stability Analysis and Controller Synthesis Using Single-Hidden-Layer
ReLU Neural Networks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {1},
pages = {202--213},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3270219},
doi = {10.1109/TAC.2023.3270219},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/SamanipourP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-04243,
author = {Pouya Samanipour and
Hasan A. Poonawala},
title = {Invariant Set Estimation for Piecewise Affine Dynamical Systems Using
Piecewise Affine Barrier Function},
journal = {CoRR},
volume = {abs/2402.04243},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.04243},
doi = {10.48550/ARXIV.2402.04243},
eprinttype = {arXiv},
eprint = {2402.04243},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-04243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BadingsRAPPSJ23,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga and
Nils Jansen},
title = {Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal
Abstractions},
journal = {J. Artif. Intell. Res.},
volume = {76},
pages = {341--391},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14253},
doi = {10.1613/JAIR.1.14253},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BadingsRAPPSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/SamanipourP23,
author = {Pouya Samanipour and
Hasan A. Poonawala},
title = {Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices},
booktitle = {59th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2023, Monticello, IL, USA, September 26-29, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Allerton58177.2023.10313502},
doi = {10.1109/ALLERTON58177.2023.10313502},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/allerton/SamanipourP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ClarkHP23,
author = {Benton Clark and
Varun Hariprasad and
Hasan A. Poonawala},
title = {Provably Correct Sensor-Driven Path-Following for Unicycles Using
Monotonic Score Functions},
booktitle = {{IROS}},
pages = {354--360},
year = {2023},
url = {https://doi.org/10.1109/IROS55552.2023.10342233},
doi = {10.1109/IROS55552.2023.10342233},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/ClarkHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01526,
author = {Thom S. Badings and
Licio Romao and
Alessandro Abate and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga and
Nils Jansen},
title = {Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal
Abstractions},
journal = {CoRR},
volume = {abs/2301.01526},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.01526},
doi = {10.48550/ARXIV.2301.01526},
eprinttype = {arXiv},
eprint = {2301.01526},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-01526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12182,
author = {Benton Clark and
Varun Hariprasad and
Hasan A. Poonawala},
title = {Provably Correct Sensor-driven Path-following for Unicycles using
Monotonic Score Functions},
journal = {CoRR},
volume = {abs/2303.12182},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12182},
doi = {10.48550/ARXIV.2303.12182},
eprinttype = {arXiv},
eprint = {2303.12182},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03868,
author = {Pouya Samanipour and
Hasan A. Poonawala},
title = {Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices},
journal = {CoRR},
volume = {abs/2307.03868},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03868},
doi = {10.48550/ARXIV.2307.03868},
eprinttype = {arXiv},
eprint = {2307.03868},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BadingsA00PS22,
author = {Thom S. Badings and
Alessandro Abate and
Nils Jansen and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga},
title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9669--9678},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21201},
doi = {10.1609/AAAI.V36I9.21201},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BadingsA00PS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/PoonawalaLT21,
author = {Hasan A. Poonawala and
Niklas T. Lauffer and
Ufuk Topcu},
title = {Training classifiers for feedback control with safety in mind},
journal = {Autom.},
volume = {128},
pages = {109509},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2021.109509},
doi = {10.1016/J.AUTOMATICA.2021.109509},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/PoonawalaLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/Poonawala21,
author = {Hasan A. Poonawala},
title = {Stability Analysis of Conewise Affine Dynamical Systems Using Conewise
Linear Lyapunov Functions},
journal = {{IEEE} Control. Syst. Lett.},
volume = {5},
number = {6},
pages = {2126--2131},
year = {2021},
url = {https://doi.org/10.1109/LCSYS.2020.3046702},
doi = {10.1109/LCSYS.2020.3046702},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/Poonawala21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotics/FugalBP21,
author = {Jonathan Fugal and
Jihye Bae and
Hasan A. Poonawala},
title = {On the Impact of Gravity Compensation on Reinforcement Learning in
Goal-Reaching Tasks for Robotic Manipulators},
journal = {Robotics},
volume = {10},
number = {1},
pages = {46},
year = {2021},
url = {https://doi.org/10.3390/robotics10010046},
doi = {10.3390/ROBOTICS10010046},
timestamp = {Fri, 21 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotics/FugalBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GhoshLLWP21,
author = {Supriyo Ghosh and
Sean Laguna and
Shiau Hong Lim and
Laura Wynter and
Hasan Poonawala},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {A Deep Ensemble Method for Multi-Agent Reinforcement Learning: {A}
Case Study on Air Traffic Control},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {468--476},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15993},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/GhoshLLWP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Poonawala21,
author = {Hasan A. Poonawala},
title = {Stability Analysis of Conewise Affine Dynamical Systems Using Conewise
Linear Lyapunov Functions},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {2406--2411},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483040},
doi = {10.23919/ACC50511.2021.9483040},
timestamp = {Fri, 30 Jul 2021 11:11:12 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Poonawala21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02398,
author = {Thom S. Badings and
Nils Jansen and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga},
title = {Filter-Based Abstractions with Correctness Guarantees for Planning
under Uncertainty},
journal = {CoRR},
volume = {abs/2103.02398},
year = {2021},
url = {https://arxiv.org/abs/2103.02398},
eprinttype = {arXiv},
eprint = {2103.02398},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12662,
author = {Thom S. Badings and
Alessandro Abate and
Nils Jansen and
David Parker and
Hasan A. Poonawala and
Mari{\"{e}}lle Stoelinga},
title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise},
journal = {CoRR},
volume = {abs/2110.12662},
year = {2021},
url = {https://arxiv.org/abs/2110.12662},
eprinttype = {arXiv},
eprint = {2110.12662},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01387,
author = {Supriyo Ghosh and
Sean Laguna and
Shiau Hong Lim and
Laura Wynter and
Hasan Poonawala},
title = {A Deep Ensemble Multi-Agent Reinforcement Learning Approach for Air
Traffic Control},
journal = {CoRR},
volume = {abs/2004.01387},
year = {2020},
url = {https://arxiv.org/abs/2004.01387},
eprinttype = {arXiv},
eprint = {2004.01387},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PoonawalaLT19,
author = {Hasan A. Poonawala and
Niklas T. Lauffer and
Ufuk Topcu},
title = {Training Classifiers For Feedback Control},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {4961--4967},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8815170},
doi = {10.23919/ACC.2019.8815170},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/PoonawalaLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BlandinWPLD19,
author = {Sebastien Blandin and
Laura Wynter and
Hasan Poonawala and
Sean Laguna and
Basile Dura},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {{FASTER:} Fusion AnalyticS for public Transport Event Response},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1404--1412},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331849},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/BlandinWPLD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Poonawala19,
author = {Hasan A. Poonawala},
title = {Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {1442--1447},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030067},
doi = {10.1109/CDC40024.2019.9030067},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Poonawala19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/LimPW19,
author = {Shiau Hong Lim and
Hasan Poonawala and
Laura Wynter},
editor = {Panagiotis Papapetrou and
Xueqi Cheng and
Qing He},
title = {Combining Micro and Macro Features for Online Pattern-of-Life Movement
Prediction},
booktitle = {2019 International Conference on Data Mining Workshops, {ICDM} Workshops
2019, Beijing, China, November 8-11, 2019},
pages = {587--594},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICDMW.2019.00089},
doi = {10.1109/ICDMW.2019.00089},
timestamp = {Mon, 20 Jan 2020 18:49:02 +0100},
biburl = {https://dblp.org/rec/conf/icdm/LimPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BharadwajCNPCT19,
author = {Suda Bharadwaj and
Steven Carr and
Natasha A. Neogi and
Hasan Poonawala and
Alejandro Barberia Chueca and
Ufuk Topcu},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Traffic Management for Urban Air Mobility},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {71--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_5},
doi = {10.1007/978-3-030-20652-9\_5},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BharadwajCNPCT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-01045,
author = {Baoyang Song and
Hasan Poonawala and
Laura Wynter and
Sebastien Blandin},
title = {Robust commuter movement inference from connected mobile devices},
journal = {CoRR},
volume = {abs/1903.01045},
year = {2019},
url = {http://arxiv.org/abs/1903.01045},
eprinttype = {arXiv},
eprint = {1903.01045},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-01045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03040,
author = {Sebastien Blandin and
Laura Wynter and
Hasan Poonawala and
Sean Laguna and
Basile Dura},
title = {{FASTER:} Fusion AnalyticS for public Transport Event Response},
journal = {CoRR},
volume = {abs/1906.03040},
year = {2019},
url = {http://arxiv.org/abs/1906.03040},
eprinttype = {arXiv},
eprint = {1906.03040},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/SongPWB18,
author = {Baoyang Song and
Hasan Poonawala and
Laura Wynter and
Sebastien Blandin},
editor = {Hanghang Tong and
Zhenhui Jessie Li and
Feida Zhu and
Jeffrey Yu},
title = {Robust Commuter Movement Inference from Connected Mobile Devices},
booktitle = {2018 {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops, Singapore, Singapore, November 17-20, 2018},
pages = {640--647},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICDMW.2018.00099},
doi = {10.1109/ICDMW.2018.00099},
timestamp = {Thu, 14 Nov 2019 15:37:05 +0100},
biburl = {https://dblp.org/rec/conf/icdm/SongPWB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/PoonawalaS17,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {Time-optimal velocity tracking control for differential drive robots},
journal = {Autom.},
volume = {85},
pages = {153--157},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.07.038},
doi = {10.1016/J.AUTOMATICA.2017.07.038},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/PoonawalaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/PoonawalaS17,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {Preserving Strong Connectivity in Directed Proximity Graphs},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {9},
pages = {4392--4404},
year = {2017},
url = {https://doi.org/10.1109/TAC.2017.2671352},
doi = {10.1109/TAC.2017.2671352},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/PoonawalaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PoonawalaS17,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {On maintaining visibility in multi-robot-networks with limited field-of-view
sensors},
booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {4983--4988},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963727},
doi = {10.23919/ACC.2017.7963727},
timestamp = {Fri, 03 Dec 2021 13:04:31 +0100},
biburl = {https://dblp.org/rec/conf/amcc/PoonawalaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PoonawalaT17,
author = {Hasan A. Poonawala and
Ufuk Topcu},
title = {Robustness of classifier-in-the-loop control systems: {A} hybrid-systems
approach},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {2738--2743},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264056},
doi = {10.1109/CDC.2017.8264056},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PoonawalaT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PoonawalaANT17,
author = {Hasan A. Poonawala and
Mohammed Alshiekh and
Scott Niekum and
Ufuk Topcu},
title = {Classification error correction: {A} case study in brain-computer
interfacing},
booktitle = {2017 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2017, Vancouver, BC, Canada, September 24-28, 2017},
pages = {3006--3012},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IROS.2017.8206138},
doi = {10.1109/IROS.2017.8206138},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/PoonawalaANT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Cubuktepe0JKPPT17,
author = {Murat Cubuktepe and
Nils Jansen and
Sebastian Junges and
Joost{-}Pieter Katoen and
Ivan Papusha and
Hasan A. Poonawala and
Ufuk Topcu},
editor = {Axel Legay and
Tiziana Margaria},
title = {Sequential Convex Programming for the Efficient Verification of Parametric
MDPs},
booktitle = {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, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {133--150},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_8},
doi = {10.1007/978-3-662-54580-5\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Cubuktepe0JKPPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cubuktepe0JKPPT17,
author = {Murat Cubuktepe and
Nils Jansen and
Sebastian Junges and
Joost{-}Pieter Katoen and
Ivan Papusha and
Hasan A. Poonawala and
Ufuk Topcu},
title = {Sequential Convex Programming for the Efficient Verification of Parametric
MDPs},
journal = {CoRR},
volume = {abs/1702.00063},
year = {2017},
url = {http://arxiv.org/abs/1702.00063},
eprinttype = {arXiv},
eprint = {1702.00063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cubuktepe0JKPPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PoonawalaS17,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {Time-optimal Velocity Tracking Control for Differential Drive Robots},
journal = {CoRR},
volume = {abs/1706.05095},
year = {2017},
url = {http://arxiv.org/abs/1706.05095},
eprinttype = {arXiv},
eprint = {1706.05095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PoonawalaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PoonawalaT16,
author = {Hasan A. Poonawala and
Ufuk Topcu},
title = {Filter-based stochastic abstractions for constrained planning with
limited sensing},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {3319--3324},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798768},
doi = {10.1109/CDC.2016.7798768},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/PoonawalaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/PoonawalaKBWS16,
author = {Hasan Poonawala and
Vinay Kolar and
Sebastien Blandin and
Laura Wynter and
Sambit Sahu},
editor = {Balaji Krishnapuram and
Mohak Shah and
Alexander J. Smola and
Charu C. Aggarwal and
Dou Shen and
Rajeev Rastogi},
title = {Singapore in Motion: Insights on Public Transport Service Level Through
Farecard and Mobile Data Analytics},
booktitle = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, San Francisco, CA, USA, August
13-17, 2016},
pages = {589--598},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2939672.2939723},
doi = {10.1145/2939672.2939723},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/conf/kdd/PoonawalaKBWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcns/PoonawalaSES15,
author = {Hasan A. Poonawala and
Aykut C. Satici and
Hazen Eckert and
Mark W. Spong},
title = {Collision-Free Formation Control with Decentralized Connectivity Preservation
for Nonholonomic-Wheeled Mobile Robots},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {2},
number = {2},
pages = {122--130},
year = {2015},
url = {https://doi.org/10.1109/TCNS.2014.2378876},
doi = {10.1109/TCNS.2014.2378876},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcns/PoonawalaSES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PoonawalaS15,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {Decentralized estimation of the algebraic connectivity for strongly
connected networks},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {4068--4073},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171965},
doi = {10.1109/ACC.2015.7171965},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/PoonawalaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/romoco/PoonawalaS15,
author = {Hasan A. Poonawala and
Mark W. Spong},
title = {From nonholonomy to holonomy: Time-optimal velocity control of differential
drive robots},
booktitle = {10th International Workshop on Robot Motion and Control, RoMoCo 2015,
Pozna{\'{n}}, Poland, July 6-8, 2015},
pages = {97--102},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RoMoCo.2015.7219720},
doi = {10.1109/ROMOCO.2015.7219720},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/romoco/PoonawalaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SaticiPS13,
author = {Aykut C. Satici and
Hasan Poonawala and
Mark W. Spong},
title = {Robust Optimal Control of Quadrotor UAVs},
journal = {{IEEE} Access},
volume = {1},
pages = {79--93},
year = {2013},
url = {https://doi.org/10.1109/ACCESS.2013.2260794},
doi = {10.1109/ACCESS.2013.2260794},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/SaticiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascc/PoonawalaSS13,
author = {Hasan A. Poonawala and
Aykut C. Satici and
Mark W. Spong},
title = {Leader-follower formation control of nonholonomic wheeled mobile robots
using only position measurements},
booktitle = {9th Asian Control Conference, {ASCC} 2013, Istanbul, Turkey, June
23-26, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASCC.2013.6606313},
doi = {10.1109/ASCC.2013.6606313},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/ascc/PoonawalaSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/SaticiPES13,
author = {Aykut C. Satici and
Hasan Poonawala and
Hazen Eckert and
Mark W. Spong},
title = {Connectivity preserving formation control with collision avoidance
for nonholonomic wheeled mobile robots},
booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},
pages = {5080--5086},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IROS.2013.6697091},
doi = {10.1109/IROS.2013.6697091},
timestamp = {Tue, 05 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/iros/SaticiPES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PoonawalaSGS12,
author = {Hasan Poonawala and
Aykut C. Satici and
Nicholas R. Gans and
Mark W. Spong},
title = {Formation control of wheeled robots with vision-based position measurement},
booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
27-29, 2012},
pages = {3173--3178},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ACC.2012.6315000},
doi = {10.1109/ACC.2012.6315000},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/PoonawalaSGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
