ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2109.14152
  4. Cited By
Lyapunov-stable neural-network control

Lyapunov-stable neural-network control

29 September 2021
Hongkai Dai
Benoit Landry
Lujie Yang
Marco Pavone
Russ Tedrake
ArXivPDFHTML

Papers citing "Lyapunov-stable neural-network control"

7 / 57 papers shown
Title
Learning over All Stabilizing Nonlinear Controllers for a
  Partially-Observed Linear System
Learning over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System
Ruigang Wang
Nicholas H. Barbara
Max Revay
I. Manchester
9
16
0
08 Dec 2021
Youla-REN: Learning Nonlinear Feedback Policies with Robust Stability
  Guarantees
Youla-REN: Learning Nonlinear Feedback Policies with Robust Stability Guarantees
Ruigang Wang
I. Manchester
14
9
0
02 Dec 2021
Robot Learning from Randomized Simulations: A Review
Robot Learning from Randomized Simulations: A Review
Fabio Muratore
Fabio Ramos
Greg Turk
Wenhao Yu
Michael Gienger
Jan Peters
AI4CE
18
79
0
01 Nov 2021
Robust Stability of Neural Network-controlled Nonlinear Systems with
  Parametric Variability
Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability
Soumyabrata Talukder
Ratnesh Kumar
13
7
0
13 Sep 2021
Neural Termination Analysis
Neural Termination Analysis
Mirco Giacobbe
Daniel Kroening
Julian Parsert
25
16
0
07 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,838
0
03 Feb 2017
Control Design along Trajectories with Sums of Squares Programming
Control Design along Trajectories with Sums of Squares Programming
Anirudha Majumdar
Amir Ali Ahmadi
Russ Tedrake
110
139
0
02 Oct 2012
Previous
12