Eric S. Kim

According to our database, Eric S. Kim authored at least 18 papers between 2014 and 2019.

Collaborative distances:

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

2019

Constructive Formal Control Synthesis through Abstraction and Decomposition.

Eric S. Kim

PhD thesis, 2019

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.

Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Abstractions for Symbolic Controller Synthesis are Composable.

Eric S. Kim, Murat Arcak

CoRR, 2018

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi

Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018

Constructing Control System Abstractions from Modular Components.

Eric S. Kim, Murat Arcak, Majid Zamani

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.

Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Sparsity-Sensitive Finite Abstraction.

Felix Gruber, Eric S. Kim, Murat Arcak

CoRR, 2017

Symbolic control design for monotone systems with directed specifications.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Autom., 2017

A Small Gain Theorem for Parametric Assume-Guarantee Contracts.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Dynamic contracts for distributed temporal logic control of traffic networks.

Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia

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

Sparsity-aware finite abstraction.

Felix Gruber, Eric S. Kim, Murat Arcak

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

Offset optimization of signalized intersections via the Burer-Monteiro method.

Eric S. Kim, Cheng-Ju Wu, Roberto Horowitz, Murat Arcak

Proceedings of the 2017 American Control Conference, 2017

2016

Directed Specifications and Assumption Mining for Monotone Dynamical Systems.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Assume-guarantee contracts and controller synthesis for vehicular traffic networks.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Proceedings of the 2016 American Control Conference, 2016

2015

Compositional controller synthesis for vehicular traffic networks.

Eric S. Kim, Murat Arcak, Sanjit A. Seshia

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Offset optimization for a network of signalized intersections via semidefinite relaxation.

Samuel Coogan, Gabriel Gomes, Eric S. Kim, Murat Arcak, Pravin Varaiya

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.

Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia

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