Ayca Balkan

According to our database, Ayca Balkan authored at least 13 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Data driven stability analysis of black-box switched linear systems.

Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada

Autom., 2019

2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

ACM Trans. Embed. Comput. Syst., 2018

Mode-Target Games: Reactive Synthesis for Control Applications.

Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada

IEEE Trans. Autom. Control., 2018

Deciding Stability of a Switched System Without Identifying It.

Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems.

Ayca Balkan

PhD thesis, 2017

Automated generation of dynamics-based runtime certificates for high-level control.

Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit

Discret. Event Dyn. Syst., 2017

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.

Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Correct-by-Construction Adaptive Cruise Control: Two Approaches.

Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

IEEE Trans. Control. Syst. Technol., 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Controller Synthesis for Mode-Target Games.

Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.

Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit

CoRR, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

Input-output robustness for discrete systems.

Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar

Proceedings of the 12th International Conference on Embedded Software, 2012