Murat Arcak

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 167

Top Venues

CoRR

ACC

CDC

IEEE Control. Syst. Lett.

Publications

Neelay Junnarkar, Murat Arcak, Peter J. Seiler
Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees. CoRR (2024)
Yasin Sonmez, Neelay Junnarkar, Murat Arcak
Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning With Asymmetric Rewards. IEEE Control. Syst. Lett. 8 (2024)
Adnane Saoud, Murat Arcak
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. Math. Control. Signals Syst. 36 (1) (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. CoRR (2024)
Yasin Sonmez, Can Kizilkale, Alex A. Kurzhanskiy, Murat Arcak
Optimal Electric Vehicle Charging Station Placement as a Congestion Game Problem. ECC (2024)
Yasin Sonmez, Neelay Junnarkar, Murat Arcak
Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards. CoRR (2024)
Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. CoRR (2024)
Murat Arcak, Yacine Chitour, Patrick De Leenheer, Lars Grüne
Editorial to the collection of papers dedicated to Eduardo D. Sontag on the occasion of his 70th birthday. Math. Control. Signals Syst. 36 (2) (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. NFM (2024)
Neelay Junnarkar, Emmanuel Sin, Peter J. Seiler, Douglas Philbrick, Murat Arcak
Fast Assignment in Asset-Guarding Engagements using Function Approximation. CoRR (2024)
Jair Certório, Nuno C. Martins, Richard J. La, Murat Arcak
Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems. CoRR (2024)
Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. CoRR (2024)
Neelay Junnarkar, Emily Jensen, Xiaofan Wu, Suat Gumussoy, Murat Arcak
Grouping of N-1 Contingencies for Controller Synthesis: A Study for Power Line Failures. CoRR (2024)
Elizabeth Dietrich, Alex Devonport, Murat Arcak
Nonconvex scenario optimization for data-driven reachability. L4DC (2024)
Paul Griffioen, Alex Devonport, Murat Arcak
Probabilistic Invariance for Gaussian Process State Space Models. L4DC (2023)
Emily Jensen, Neelay Junnarkar, Murat Arcak, Xiaofan Wu, Suat Gumussoy
Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework. CoRR (2023)
Adnane Saoud, Murat Arcak
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems. CoRR (2023)
Baturalp Yalcin, Javad Lavaei, Murat Arcak
Exact Recovery for System Identification with More Corrupt Data than Clean Data. CoRR (2023)
Katherine S. Schweidel, Peter J. Seiler, Murat Arcak
Safe-by-Design Planner-Tracker Synthesis With Unmodeled Input Dynamics. IEEE Control. Syst. Lett. 7 (2023)
Paul Griffioen, Murat Arcak
Data-Driven Reachability Analysis for Gaussian Process State Space Models. CDC (2023)
Alex Devonport, Peter Seiler, Murat Arcak
Uncertainties. L4DC (2023)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability and Support Estimation With Christoffel Functions. IEEE Trans. Autom. Control. 68 (9) (2023)
Emmanuel Sin, Murat Arcak
Constellation Phasing of Spacecraft in Near-Circular, In-Plane Orbits using Low-Thrust Trajectory Optimization. ACC (2023)
Yuhao Ding, Javad Lavaei, Murat Arcak
Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima. IEEE Trans. Autom. Control. 68 (1) (2023)
Alex Devonport, Peter Seiler, Murat Arcak
Uncertainties. CoRR (2023)
Brendon G. Anderson, Somayeh Sojoudi, Murat Arcak
Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity. CoRR (2023)
Katherine S. Schweidel, He Yin, Stanley W. Smith, Murat Arcak
Safe-by-design planner-tracker synthesis with a hierarchy of system models. Annu. Rev. Control. 53 (2022)
Neelay Junnarkar, Emmanuel Sin, Peter Seiler, Douglas Philbrick, Murat Arcak
Fast Assignment in Asset-Guarding Engagements using Function Approximation. ACC (2022)
Semih Kara, Nuno C. Martins, Murat Arcak
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. CDC (2022)
Adnane Saoud, Murat Arcak
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems. CDC (2022)
Alex Devonport, Peter J. Seiler, Murat Arcak
Uncertainties. CoRR (2022)
Katherine S. Schweidel, He Yin, Stanley W. Smith, Murat Arcak
Safe-by-Design Planner-Tracker Synthesis. CoRR (2022)
Semih Kara, Nuno C. Martins, Murat Arcak
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. CoRR (2022)
Fangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak, Peter J. Seiler, Ming Jin
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems. AAAI (2022)
Neelay Junnarkar, He Yin, Fangda Gu, Murat Arcak, Peter J. Seiler
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers. CDC (2022)
Stanley W. Smith, Adnane Saoud, Murat Arcak
Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. IEEE Control. Syst. Lett. 6 (2022)
He Yin, Peter J. Seiler, Ming Jin, Murat Arcak
Imitation Learning With Stability and Safety Guarantees. IEEE Control. Syst. Lett. 6 (2022)
He Yin, Peter Seiler, Murat Arcak
Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers. IEEE Trans. Autom. Control. 67 (4) (2022)
Katherine S. Schweidel, Murat Arcak
Compositional Analysis of Interconnected Systems Using Delta Dissipativity. IEEE Control. Syst. Lett. 6 (2022)
Neelay Junnarkar, He Yin, Fangda Gu, Murat Arcak, Peter J. Seiler
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers. CoRR (2022)
Jyot R. Buch, Murat Arcak, Peter J. Seiler
An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems. IEEE Control. Syst. Lett. 5 (5) (2021)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CDC (2021)
He Yin, Murat Arcak, Andrew K. Packard, Peter J. Seiler
Backward Reachability for Polynomial Systems on a Finite Horizon. IEEE Trans. Autom. Control. 66 (12) (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions. CoRR (2021)
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. ACC (2021)
Mikhail Burov, Murat Arcak, Alexander Kurzhanskiy
Speed Advisory System Using Real-Time Actuated Traffic Light Phase Length Prediction. CoRR (2021)
Mikhail Burov, Can Kizilkale, Alexander Kurzhanskiy, Murat Arcak
Detecting Braess Routes: an Algorithm Accounting for Queuing Delays With an Extended Graph. CoRR (2021)
Alex Devonport, Murat Arcak
Data-driven estimation of forward reachable sets. CAADCPS@CPSIoTWeek (2021)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CoRR (2021)
Katherine S. Schweidel, Jyot R. Buch, Peter J. Seiler, Murat Arcak
Computing Worst-Case Disturbances for Finite-Horizon Linear Time-Varying Approximations of Uncertain Systems. IEEE Control. Syst. Lett. 5 (5) (2021)
Fangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak, Peter J. Seiler, Ming Jin
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems. CoRR (2021)
Mikhail Burov, Can Kizilkale, Alexander Kurzhanskiy, Murat Arcak
Detecting Braess Routes: An Algorithm Accounting for Queuing Delays With an Extended Graph. ITSC (2021)
Emmanuel Sin, Sreeja Nag, Vinay Ravindra, Alan S. Li, Murat Arcak
Attitude Trajectory Optimization for Agile Satellites in Autonomous Remote Sensing Constellation. CoRR (2021)
Katherine S. Schweidel, Jyot R. Buch, Peter J. Seiler, Murat Arcak
Computing Worst-Case Disturbances for Finite-Horizon Linear Time-Varying Approximations of Uncertain Systems. ACC (2021)
Jyot R. Buch, Murat Arcak, Peter J. Seiler
An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems. ACC (2021)
Yuhao Ding, Javad Lavaei, Murat Arcak
Escaping Spurious Local Minimum Trajectories in Online Time-varying Nonconvex Optimization. ACC (2021)
Murat Arcak, Nuno C. Martins
Dissipativity Tools for Convergence to Nash Equilibria in Population Games. IEEE Trans. Control. Netw. Syst. 8 (1) (2021)
He Yin, Peter J. Seiler, Murat Arcak
Backward Reachability Using Integral Quadratic Constraints for Uncertain Nonlinear Systems. IEEE Control. Syst. Lett. 5 (2) (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability Analysis with Christoffel Functions. CDC (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability Analysis with Christoffel Functions. CoRR (2021)
Jared Mejia, Alex Devonport, Murat Arcak
DaDRA: A Python Library for Data-Driven Reachability Analysis. CoRR (2021)
Kristian Klausen, Chris Meissen, Thor I. Fossen, Murat Arcak, Tor Arne Johansen
Cooperative Control for Multirotors Transporting an Unknown Suspended Load Under Environmental Disturbances. IEEE Trans. Control. Syst. Technol. 28 (2) (2020)
Stanley W. Smith, Yeojun Kim, Jacopo Guanetti, Ruolin Li, Roya Firoozi, Bruce Wootton, Alexander Kurzhanskiy, Francesco Borrelli, Roberto Horowitz, Murat Arcak
Improving Urban Traffic Throughput with Vehicle Platooning: Theory and Experiments. CoRR (2020)
He Yin, Monimoy Bujarbaruah, Murat Arcak, Andrew K. Packard
Optimization Based Planner-Tracker Design for Safety Guarantees. ACC (2020)
Murat Arcak, Nuno C. Martins
Dissipativity Tools for Convergence to Nash Equilibria in Population Games. CoRR (2020)
Emmanuel Sin, Murat Arcak, Andrew K. Packard, Douglas Philbrick, Peter J. Seiler
Optimal assignment of collaborating agents in multi-body asset-guarding games. CoRR (2020)
He Yin, Andrew K. Packard, Murat Arcak, Peter J. Seiler
Reachability analysis using dissipation inequalities for uncertain nonlinear systems. Syst. Control. Lett. 142 (2020)
He Yin, Peter J. Seiler, Murat Arcak
Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers. CoRR (2020)
Alex Devonport, He Yin, Murat Arcak
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. CoRR (2020)
Alex Devonport, Murat Arcak
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods. ACC (2020)
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. CoRR (2020)
Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew K. Packard, Murat Arcak
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. IEEE Trans. Control. Syst. Technol. 28 (6) (2020)
Stanley W. Smith, Murat Arcak, Majid Zamani
Approximate abstractions of control systems with an application to aggregation. Autom. 119 (2020)
Jyot R. Buch, Murat Arcak, Peter J. Seiler
An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems. CoRR (2020)
He Yin, Peter J. Seiler, Ming Jin, Murat Arcak
Imitation Learning with Stability and Safety Guarantees. CoRR (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CAV (1) (2020)
Alex Devonport, He Yin, Murat Arcak
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. CDC (2020)
Katherine S. Schweidel, Andrew K. Packard, Murat Arcak, Peter J. Seiler, Douglas O. Philbrick
Classifier-Based Supervisory Control with Application to Threat Engagement. ACC (2020)
Emmanuel Sin, Murat Arcak, Douglas Philbrick, Peter J. Seiler
Iterative Best Response for Multi-Body Asset-Guarding Games. CoRR (2020)
Stanley W. Smith, Yeojun Kim, Jacopo Guanetti, Ruolin Li, Roya Firoozi, Bruce Wootton, Alex A. Kurzhanskiy, Francesco Borrelli, Roberto Horowitz, Murat Arcak
Improving Urban Traffic Throughput With Vehicle Platooning: Theory and Experiments. IEEE Access 8 (2020)
Emmanuel Sin, Murat Arcak, Andrew K. Packard, Douglas Philbrick, Peter J. Seiler
Optimal assignment of collaborating agents in multi-body asset-guarding games. ACC (2020)
He Yin, Peter J. Seiler, Murat Arcak
Backward Reachability using Integral Quadratic Constraints for Uncertain Nonlinear Systems. CoRR (2020)
Mikhail Burov, Negar Mehr, Stanley W. Smith, Alexander Kurzhanskiy, Murat Arcak
Platoon Formation Algorithm for Minimizing Travel Time. ITSC (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CoRR (2020)
Alex Devonport, Murat Arcak
Estimating Reachable Sets with Scenario Optimization. L4DC (2020)
Emmanuel Sin, He Yin, Murat Arcak
Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit. CoRR (2020)
Pierre-Jean Meyer, Murat Arcak
Interval Reachability Analysis using Second-Order Sensitivity. CoRR (2019)
Salar Fattahi, Ghazal Fazelnia, Javad Lavaei, Murat Arcak
Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers. IEEE Trans. Autom. Control. 64 (1) (2019)
Stanley W. Smith, He Yin, Murat Arcak
Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming. CDC (2019)
Stanley W. Smith, Yeojun Kim, Jacopo Guanetti, Alexander Kurzhanskiy, Murat Arcak, Francesco Borrelli
Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning. ECC (2019)
He Yin, Monimoy Bujarbaruah, Murat Arcak, Andrew K. Packard
Optimization Based Planner Tracker Design for Safety Guarantees. CoRR (2019)
Eric S. Kim, Murat Arcak, Sanjit A. Seshia
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CAV (1) (2019)
Eric S. Kim, Murat Arcak, Sanjit A. Seshia
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CoRR (2019)
Peter J. Seiler, Robert Moore, Chris Meissen, Murat Arcak, Andrew K. Packard
Finite horizon robustness analysis of LTV systems using integral quadratic constraints. Autom. 100 (2019)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: Toolbox for Interval Reachability Analysis. CoRR (2019)
Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. TACAS (2) (2019)
Murat Arcak, Franco Blanchini, M. Vidyasagar
Editorial to the Special Issue of L-CSS on Control and Network Theory for Biological Systems. IEEE Control. Syst. Lett. 3 (2) (2019)
Yuhao Ding, Javad Lavaei, Murat Arcak
Escaping spurious local minimum trajectories in online time-varying nonconvex optimization. CoRR (2019)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: toolbox for interval reachability analysis. HSCC (2019)
He Yin, Murat Arcak, Andrew K. Packard, Peter J. Seiler
Backward Reachability for Polynomial Systems on A Finite Horizon. CoRR (2019)

Murat Arcak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Murat Arcak