Follow
Ayca Balkan
Title
Cited by
Cited by
Year
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
1772015
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
652017
Data driven stability analysis of black-box switched linear systems
J Kenanian, A Balkan, RM Jungers, P Tabuada
Automatica 109, 108533, 2019
632019
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
502014
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
302012
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
222017
Mode-target games: Reactive synthesis for control applications
A Balkan, M Vardi, P Tabuada
IEEE Transactions on Automatic Control 63 (1), 196-202, 2017
102017
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
92017
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
82014
Simulation-guided contraction analysis
A Balkan, JV Deshmukh, J Kapinski, P Tabuada
Proc. of the 1st Indian Control Conference, 71-75, 2015
72015
Controller synthesis for mode-target games
A Balkan, M Vardi, P Tabuada
IFAC-PapersOnLine 48 (27), 343-350, 2015
62015
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
42012
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
22018
Simulation-guided incremental stability analysis
A Balkan, JV Deshmukh, J Kapinski
US Patent 9,606,773, 2017
22017
Input-Output stability for discrete systems
P Tabuada, A Balkan, SY Caliskan, Y Shoukry, R Majumdar
22012
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
The system can't perform the operation now. Try again later.
Articles 1–17