Researcher Evidence Record
Murat Arcak
This bounded record lists 101 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include eess.SY, cs.SY, math.OC work dated 2002 to 2026. The record describes sources and coverage; it makes no judgment about the person.
Compiled coverage vector
A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.
Attributed works
A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.
-
2026 Pith paper
Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 6
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Multi-Step Gaussian Process Propagation for Adaptive Path Planning
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 6
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Target Mirror Descent: A Unifying Framework for Solving Monotone Variational Inequalities
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Importance Sampling for Statistical Certification of Viable Initial Sets
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2026 Pith paper
Polynomial Constraints for Robustness Analysis of Nonlinear Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 6
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
Falsification-driven reinforcement learning for maritime motion planning
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
-
- 1 pith inbound references from cited_work_pith_inbound_counts
-
2025 Pith paper
Hierarchical Decision-Making in Population Games
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
On Exact Solutions to the Linear Bellman Equation
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2025 Pith paper
Data-Driven Reachability with Scenario Optimization and the Holdout Method
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
-
- 2 pith inbound references from cited_work_pith_inbound_counts
-
2025 Pith paper
Symbolic Control for Autonomous Docking of Marine Surface Vessels
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Learning Biomolecular Models using Signal Temporal Logic
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Solving Monotone Variational Inequalities with Best Response Dynamics
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Stability Margins of Neural Network Controllers
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
-
- 1 pith inbound references from cited_work_pith_inbound_counts
-
2024 Pith paper
Controlled Invariant Sets for Gaussian Process State Space Models
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- backfill
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Fast Assignment in Asset-Guarding Engagements using Function Approximation
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
-
- 1 pith inbound references from cited_work_pith_inbound_counts
-
2024 Pith paper
Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2024 Pith paper
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2023 Pith paper
Frequency-domain Gaussian Process Models for $H_\infty$ Uncertainties
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2023 Pith paper
Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2023 Pith paper
Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2023 Pith paper
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2023 Pith paper
Exact Recovery for System Identification with More Corrupt Data than Clean Data
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2022 Pith paper
Frequency Domain Gaussian Process Models for $H^\infty$ Uncertainties
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2022 Pith paper
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2022 Pith paper
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2022 Pith paper
Safe-by-Design Planner-Tracker Synthesis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
DaDRA: A Python Library for Data-Driven Reachability Analysis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Speed Advisory System Using Real-Time Actuated Traffic Light Phase Length Prediction
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Detecting Braess Routes: an Algorithm Accounting for Queuing Delays With an Extended Graph
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Data-Driven Reachability Analysis with Christoffel Functions
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Symbolic Abstractions From Data: A PAC Learning Approach
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2021 Pith paper
Attitude Trajectory Optimization for Agile Satellites in Autonomous Remote Sensing Constellation
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Imitation Learning with Stability and Safety Guarantees
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Iterative Best Response for Multi-Body Asset-Guarding Games
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Improving Urban Traffic Throughput with Vehicle Platooning: Theory and Experiments
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 10
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Optimal assignment of collaborating agents in multi-body asset-guarding games
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Dissipativity Tools for Convergence to Nash Equilibria in Population Games
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
Backward Reachability using Integral Quadratic Constraints for Uncertain Nonlinear Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2020 Pith paper
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Escaping spurious local minimum trajectories in online time-varying nonconvex optimization
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Interval Reachability Analysis using Second-Order Sensitivity
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Continuous and discrete abstractions for planning, applied to ship docking
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Optimization Based Planner Tracker Design for Safety Guarantees
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Backward Reachability for Polynomial Systems on A Finite Horizon
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
TIRA: Toolbox for Interval Reachability Analysis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2019 Pith paper
A Spatial Filtering Approach to Biological Patterning
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 5
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Approximate abstractions of control systems with an application to aggregation
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
-
- 1 pith inbound references from cited_work_pith_inbound_counts
-
2018 Pith paper
Abstractions for Symbolic Controller Synthesis are Composable
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Finite Time Robust Control of the Sit-to-Stand Movement for Powered Lower Limb Orthoses
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
A Benchmark Problem in Transportation Networks
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Symmetry reduction for dynamic programming
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2018 Pith paper
Exploiting symmetry for discrete-time reachability computations
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2017 Pith paper
Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 4
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2017 Pith paper
Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2017 Pith paper
Small Satellite Constellation Separation using Linear Programming based Differential Drag Commands
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2017 Pith paper
Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2017 Pith paper
Sparsity-Sensitive Finite Abstraction
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2016 Pith paper
Compositional abstraction for networks of control systems: A dissipativity approach
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2015 Pith paper
Mixed Monotonicity of Partial First-In-First-Out Traffic Flow Models
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2015 Pith paper
Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2015 Pith paper
A note on optimal experiment design for nonlinear systems using dynamic programming
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2014 Pith paper
Compositional Performance Certification of Interconnected Systems using ADMM
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2014 Pith paper
A Compartmental Model for Traffic Networks and its Dynamical Behavior
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2014 Pith paper
Traffic Network Control from Temporal Logic Specifications
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2014 Pith paper
Pattern Formation with a Compartmental Lateral Inhibition System
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2013 Pith paper
An Adaptive Algorithm for Synchronization in Diffusively Coupled Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2013 Pith paper
A note on norm-based Lyapunov functions via contraction analysis
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2012 Pith paper
A Graph Partitioning Approach to Predict Patterns in Lateral Inhibition Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 2
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2012 Pith paper
A Broad Dynamical Model for Pattern Formation by Lateral Inhibition
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2009 Pith paper
On spatially uniform behavior in reaction-diffusion PDE and coupled ODE systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2007 Pith paper
A passivity-based stability criterion for a class of interconnected systems and applications to biochemical reaction networks
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2005 Pith paper
Diagonal Stability for a Class of Interconnected Passive Systems
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
-
2002 Pith paper
Automated tuning of bifurcations via feedback
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Murat Arcak
- Author position
- 3
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: no current Pith review exists.
- Citation counts
- No source count is attached to this work row.
Evidence apparatus
The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.
| Lane | State | Observed | Boundary and source |
|---|---|---|---|
| identity | Measured | 2 | Canonical identity row plus public typed identifiers. source=authors, author_identifiers |
| papers | Measured | 101 of 101 bounded rows | Rows attributed to this author UUID in the Pith corpus. source=paper_authors |
| works | Measured zero | 0 of 0 bounded rows | Imported works not duplicated by the paper ledger. source=author_works |
| reviews | Measured | 17 of 101 bounded rows | Coverage count only. No review outcome is projected onto the person. source=current_verdicts |
| citations | Measured | 5 of 101 bounded rows | Counts remain itemized by work and source. source=cited_works |
| coauthors | Measured | 50 of 101 bounded rows | Shared-work edges from admitted paper rows. source=paper_authors |
| account | Unavailable | No public count of 1 bounded rows | Account metadata is separate from corpus evidence. source=users.author_id |
Public identity sources
-
name variant
Murat Arcak
Enumerated research scope
- eess.SY55 rows
- cs.SY16 rows
- math.OC11 rows
- math.DS7 rows
- cs.LG3 rows
- cs.RO3 rows
- cs.AI1 rows
- cs.GT1 rows
- cs.LO1 rows
- q-bio.MN1 rows
- q-bio.QM1 rows
- q-bio.TO1 rows
- 20021 rows
- 20051 rows
- 20071 rows
- 20091 rows
- 20122 rows
- 20132 rows
- 20144 rows
- 20153 rows
- 20161 rows
- 20175 rows
- 201811 rows
- 201911 rows
- 202012 rows
- 20218 rows
- 20224 rows
- 20235 rows
- 202411 rows
- 20258 rows
- 202610 rows
Record scope
The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.
Paper findings remain attached to papers. They do not become findings about this researcher.
Self-published account annex
Linked Pith account
Unavailable No public Pith account is linked to this corpus identity.
The account lane is self-published. Linking proves account control only and changes no corpus fact.