Ayca Balkan

14 papers Misc 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Data driven stability analysis of black-box switched linear systems.
Autom.
Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada
2018 — conf
Deciding Stability of a Switched System Without Identifying It.
CDC
Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada
2018 J jnl
Mode-Target Games: Reactive Synthesis for Control Applications.
IEEE Trans. Autom. Control.
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2018 J jnl
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.
ACM Trans. Embed. Comput. Syst.
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
2017 J jnl
Automated generation of dynamics-based runtime certificates for high-level control.
Discret. Event Dyn. Syst.
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
2017 — —
Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems.
Ayca Balkan
2017 — conf
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.
CDC
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2016 J jnl
Correct-by-Construction Adaptive Cruise Control: Two Approaches.
IEEE Trans. Control. Syst. Technol.
Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2016 Misc conf
Underminer: a framework for automatically identifying non-converging behaviors in black box system models.
EMSOFT
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
2015 — conf
Controller Synthesis for Mode-Target Games.
ADHS
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2015 J jnl
Controller Synthesis for Mode-Target Games.
CoRR
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2014 J jnl
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
2014 — conf
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
CDC
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2012 Misc conf
Input-output robustness for discrete systems.
EMSOFT
Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar