Picture for Murat Arcak

Murat Arcak

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees

Add code
Apr 10, 2024
Viaarxiv icon

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards

Add code
Mar 27, 2024
Figure 1 for Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
Figure 2 for Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
Figure 3 for Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
Figure 4 for Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
Viaarxiv icon

Exact Recovery for System Identification with More Corrupt Data than Clean Data

May 17, 2023
Figure 1 for Exact Recovery for System Identification with More Corrupt Data than Clean Data
Figure 2 for Exact Recovery for System Identification with More Corrupt Data than Clean Data
Figure 3 for Exact Recovery for System Identification with More Corrupt Data than Clean Data
Viaarxiv icon

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers

Add code
Mar 31, 2022
Figure 1 for Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
Figure 2 for Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
Figure 3 for Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
Figure 4 for Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
Viaarxiv icon

Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions

Dec 18, 2021
Figure 1 for Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
Figure 2 for Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
Figure 3 for Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
Figure 4 for Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
Viaarxiv icon

Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems

Add code
Sep 08, 2021
Figure 1 for Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Figure 2 for Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Figure 3 for Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Figure 4 for Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Viaarxiv icon

Symbolic Abstractions From Data: A PAC Learning Approach

Apr 28, 2021
Figure 1 for Symbolic Abstractions From Data: A PAC Learning Approach
Figure 2 for Symbolic Abstractions From Data: A PAC Learning Approach
Viaarxiv icon

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications

Sep 30, 2020
Figure 1 for Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Figure 2 for Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Figure 3 for Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Figure 4 for Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Viaarxiv icon