Concepedia

Ayça Balkan

AB

5

Publications

293

Citations

5

H-Index

2012

Active since

Affiliations

University of California, Los Angeles(Current)

University of Michigan

Ayça Balkan is an author at University of California, Los Angeles specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringFormal VerificationSystems EngineeringFormal MethodsComputer ScienceBusinessAutomationProcess ControlAdaptive ControlDesign

Publications per year

2012–2017

5

Publications

5

Correct-by-Construction Adaptive Cruise Control: Two Approaches

Petter Nilsson, Omar Hussien, Ayça Balkan et al. · IEEE Transactions on Control Systems Technology · 2015 · 159 citations · Full text

Engineering, Ship Maneuvering, Emergency Controller +14

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

Yasser Shoukry, Pierluigi Nuzzo, Ayça Balkan et al. · 2017 · 47 citations · Full text

Engineering, Intelligent Systems, Formal Verification +19

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

Petter Nilsson, Omar Hussien, Yuxiao Chen et al. · 2014 · 41 citations

Adaptive Cruise Control, Interacting Software Module, Engineering +15

Input-output robustness for discrete systems

Paulo Tabuada, Ayça Balkan, Sina Y. Caliskan et al. · 2012 · 30 citations

Engineering, Robust Control, Input-output Robustness +14

Underminer

Ayça Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh et al. · ACM Transactions on Embedded Computing Systems · 2017 · 16 citations

Engineering, Machine Learning, Runtime Verification +15

Rows per page

1–5 of 5