| Correct-by-construction adaptive cruise control: Two approaches P Nilsson, O Hussien, A Balkan, Y Chen, AD Ames, JW Grizzle, N Ozay, ... IEEE Transactions on Control Systems Technology 24 (4), 1294-1307, 2015 | 195 | 2015 |
| Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ... 2017 IEEE 56th annual conference on decision and control (CDC), 1132-1137, 2017 | 69 | 2017 |
| Data driven stability analysis of black-box switched linear systems J Kenanian, A Balkan, RM Jungers, P Tabuada Automatica 109, 108533, 2019 | 67 | 2019 |
| Preliminary results on correct-by-construction control software synthesis for adaptive cruise control P Nilsson, O Hussien, Y Chen, A Balkan, M Rungger, A Ames, J Grizzle, ... 53rd IEEE Conference on Decision and Control, 816-823, 2014 | 51 | 2014 |
| Input-output robustness for discrete systems P Tabuada, A Balkan, SY Caliskan, Y Shoukry, R Majumdar Proceedings of the tenth ACM international conference on Embedded software …, 2012 | 32 | 2012 |
| Underminer: A framework for automatically identifying nonconverging behaviors in black-box system models A Balkan, P Tabuada, JV Deshmukh, X Jin, J Kapinski ACM Transactions on Embedded Computing Systems (TECS) 17 (1), 1-28, 2017 | 22 | 2017 |
| Mode-target games: Reactive synthesis for control applications A Balkan, M Vardi, P Tabuada IEEE Transactions on Automatic Control 63 (1), 196-202, 2017 | 10 | 2017 |
| Automated generation of dynamics-based runtime certificates for high-level control J DeCastro, R Ehlers, M Rungger, A Balkan, H Kress-Gazit Discrete Event Dynamic Systems 27, 371-405, 2017 | 10 | 2017 |
| Dynamics-based reactive synthesis and automated revisions for high-level robot control JA DeCastro, R Ehlers, M Rungger, A Balkan, P Tabuada, H Kress-Gazit arXiv preprint arXiv:1410.6375, 2014 | 9 | 2014 |
| Controller synthesis for mode-target games A Balkan, M Vardi, P Tabuada IFAC-PapersOnLine 48 (27), 343-350, 2015 | 8 | 2015 |
| Simulation-guided contraction analysis A Balkan, JV Deshmukh, J Kapinski, P Tabuada Proc. of the 1st Indian Control Conference, 71-75, 2015 | 7 | 2015 |
| A behavioral algorithm for state of charge estimation A Balkan, M Gao, P Tabuada, L He World Electric Vehicle Journal 5 (2), 412-417, 2012 | 4 | 2012 |
| Deciding stability of a switched system without identifying it A Balkan, RM Jungers, J Kenanian, P Tabuada 2018 IEEE Conference on Decision and Control (CDC), 3134-3139, 2018 | 2 | 2018 |
| Simulation-guided incremental stability analysis A Balkan, JV Deshmukh, J Kapinski US Patent 9,606,773, 2017 | 2 | 2017 |
| Input-Output stability for discrete systems P Tabuada, A Balkan, SY Caliskan, Y Shoukry, R Majumdar | 2 | 2012 |
| Linear temporal logic motion planning for teams of underactuated robots using satisfiability Y Shoukry, P Nuzzo, A Balkan | | 2018 |
| Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems A Balkan University of California, Los Angeles, 2017 | | 2017 |
