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
1182015
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
452014
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
442017
Data driven stability analysis of black-box switched linear systems
J Kenanian, A Balkan, RM Jungers, P Tabuada
Automatica 109, 108533, 2019
222019
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
222012
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
212017
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 (2), 371-405, 2017
82017
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
Mode-target games: Reactive synthesis for control applications
A Balkan, M Vardi, P Tabuada
IEEE Transactions on Automatic Control 63 (1), 196-202, 2017
62017
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
Input-Output stability for discrete systems
P Tabuada, A Balkan, SY Caliskan, Y Shoukry, R Majumdar
22012
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
12018
Simulation-guided incremental stability analysis
A Balkan, JV Deshmukh, J Kapinski
US Patent 9,606,773, 2017
2017
Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
A Balkan
University of California, Los Angeles, 2017
2017
on Embedded Software (EMSOFT)
F Maraninchi, JJ Wang, PS Roop, A Girault, M Bungert, A Hartmanns, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–17