Ayca Balkan
66-142F, Engineering IV
University of California, Los Angeles
Los Angeles, CA 90095

a + [mylastname] at ucla dot edu
I am a PhD candidate in the Electrical Engineering Department at UCLA, working with Paulo Tabuada. I received my B.S. degree from Middle East Technical University in 2010 in electrical and electronics engineering, with a minor in operations research and my M.S. degree from UCLA in 2012, in electrical engineering. My research interests are cyber-physical systems, control theory, formal methods, optimization, and system identification. I worked with the model based design team at Toyota Technical Center during the winter of 2014 and summer of 2015 as a Co-op. During the summer of 2016, I was a software modeling intern at Medtronic Diabetes.

Currently, I am in the job market as I am expected to graduate in June 2017. Feel free to check out my resume, and Linkedin profile.
  • Mode-Target Games: Reactive Synthesis for Control Applications
    Balkan A., Vardi M., Tabuada P.
    (conditionally accepted for publication in) IEEE Transactions on Automatic Control
    [Supplementary Materials]
  • Automated generation of dynamics-based runtime certificates
    for high-level control
    DeCastro J., Rudiger E., Rungger M., Balkan A., Kress-Gazit H.
    (to appear in) Journal of Discrete Event Dynamical Systems: Special Topical Issue on Formal Methods in Control, 2017.
  • Underminer: A Framework for Automatically Identifying
    Non-converging Behaviors in Black Box System Models (Best Paper Awardee)
    Balkan A., Tabuada P., Deshmukh J., Jin X., Kapinski J.
    ACM SIGBED International Conference on Embedded Software, EMSOFT 16'
  • Correct-By-Construction Adaptive Cruise Control: Two Approaches [pdf]
    Nilsson P., Hussien O., Balkan A., Chen Yuxiao, Ames A.,
    Grizzle J., Ozay N., Peng H., Tabuada P.
    IEEE Transactions on Control Systems Technology
  • Controller Synthesis for Mode-Target Games [Long version pdf (arxiv)]
    Balkan A., Vardi M., Tabuada P.
    Proceedings of 5th IFAC Conference on Analysis and Design of Hybrid Systems
  • Simulation-Guided Contraction Analysis (Best Student Paper Awardee) [pdf]
    Balkan A., Deshmukh J., Kapinski J., Tabuada P.
    1st Indian Control Conference, ICC 15'
  • Preliminary Results on Correct-by-Construction Control Software Synthesis for Adaptive Cruise Control [pdf]
    Nilsson P., Hussien O., Chen Y., Balkan A., Rungger M., Ames A.,
    Grizzle J., Ozay N., Peng H., Tabuada P.
    53rd IEEE Conference of Decision and Control, CDC '14
  • Input-Output Robustness for Discrete Systems [pdf]
    Tabuada P., Balkan A., Caliskan S. Y., Shoukry Y., Majumdar R.
    Proceedings of the 10th ACM International Conference on Embedded Software, EMSOFT '12
  • A Behavioral Algorithm for State of Charge Estimation [pdf]
    Balkan A., Gao M., Tabuada P., He L.
    26th Electrical Vehicle Symposium
CAV 2017, Artifact Evaluation Committee
IFAC WC 2017, Reviewer
CDC 2017, Reviewer
HSCC 2016, Reviewer
CDC 2016, Reviewer
HSCC 2015, Reviewer
CDC 2015, Reviewer