pith. sign in

Murat Arcak

Identifiers

  • name variant Murat Arcak 0.60 · backfill

Papers (35)

  1. Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations eess.SY · 2026 · author #3
  2. Multi-Step Gaussian Process Propagation for Adaptive Path Planning cs.RO · 2026 · author #6
  3. Target Mirror Descent: A Unifying Framework for Solving Monotone Variational Inequalities math.OC · 2026 · author #3
  4. Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison eess.SY · 2026 · author #3
  5. Importance Sampling for Statistical Certification of Viable Initial Sets eess.SY · 2026 · author #4
  6. Controlled Invariant Sets for Gaussian Process State Space Models eess.SY · 2024 · author #3
  7. Backward Reachability for Polynomial Systems on A Finite Horizon eess.SY · 2019 · author #2
  8. Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis cs.SY · 2019 · author #2
  9. Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning math.OC · 2019 · author #5
  10. TIRA: Toolbox for Interval Reachability Analysis cs.SY · 2019 · author #3
  11. A Spatial Filtering Approach to Biological Patterning q-bio.TO · 2019 · author #2
  12. Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems cs.SY · 2018 · author #3
  13. Abstractions for Symbolic Controller Synthesis are Composable cs.SY · 2018 · author #2
  14. A Benchmark Problem in Transportation Networks cs.SY · 2018 · author #2
  15. Symmetry reduction for dynamic programming cs.SY · 2018 · author #4
  16. Exploiting symmetry for discrete-time reachability computations cs.SY · 2018 · author #2
  17. Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks cs.SY · 2017 · author #2
  18. Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties cs.SY · 2017 · author #1
  19. Sparsity-Sensitive Finite Abstraction cs.SY · 2017 · author #3
  20. Compositional abstraction for networks of control systems: A dissipativity approach math.OC · 2016 · author #2
  21. Mixed Monotonicity of Partial First-In-First-Out Traffic Flow Models cs.SY · 2015 · author #2
  22. Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI cs.SY · 2015 · author #2
  23. A note on optimal experiment design for nonlinear systems using dynamic programming cs.SY · 2015 · author #2
  24. Compositional Performance Certification of Interconnected Systems using ADMM cs.SY · 2014 · author #3
  25. A Compartmental Model for Traffic Networks and its Dynamical Behavior cs.SY · 2014 · author #2
  26. Traffic Network Control from Temporal Logic Specifications cs.SY · 2014 · author #3
  27. Pattern Formation with a Compartmental Lateral Inhibition System math.DS · 2014 · author #3
  28. An Adaptive Algorithm for Synchronization in Diffusively Coupled Systems math.DS · 2013 · author #2
  29. A note on norm-based Lyapunov functions via contraction analysis math.DS · 2013 · author #2
  30. A Graph Partitioning Approach to Predict Patterns in Lateral Inhibition Systems math.DS · 2012 · author #2
  31. A Broad Dynamical Model for Pattern Formation by Lateral Inhibition math.DS · 2012 · author #1
  32. On spatially uniform behavior in reaction-diffusion PDE and coupled ODE systems math.DS · 2009 · author #1
  33. A passivity-based stability criterion for a class of interconnected systems and applications to biochemical reaction networks q-bio.QM · 2007 · author #1
  34. Diagonal Stability for a Class of Interconnected Passive Systems math.OC · 2005 · author #1
  35. Automated tuning of bifurcations via feedback math.OC · 2002 · author #3

Mentions

  • 1201.1477 #1 · backfill · confidence 0.70 Murat Arcak
  • 0908.2614 #1 · backfill · confidence 0.70 Murat Arcak
  • 0705.3188 #1 · backfill · confidence 0.70 Murat Arcak

Frequent Coauthors