Picture for He Yin

He Yin

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

Learning Neural Networks under Input-Output Specifications

Add code
Feb 23, 2022
Figure 1 for Learning Neural Networks under Input-Output Specifications
Figure 2 for Learning Neural Networks under Input-Output Specifications
Figure 3 for Learning Neural Networks under Input-Output Specifications
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

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

Add code
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