Pith. sign in

REVIEW

Constrained Neural Ordinary Differential Equations with Stability Guarantees

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2004.10883 v1 pith:W2UGMBWL submitted 2020-04-22 eess.SY cs.LGcs.NEcs.SY

classification eess.SYcs.LGcs.NEcs.SY
keywords differentialequationsguaranteesneuralconstraintsmodelingordinarystability
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Differential equations are frequently used in engineering domains, such as modeling and control of industrial systems, where safety and performance guarantees are of paramount importance. Traditional physics-based modeling approaches require domain expertise and are often difficult to tune or adapt to new systems. In this paper, we show how to model discrete ordinary differential equations (ODE) with algebraic nonlinearities as deep neural networks with varying degrees of prior knowledge. We derive the stability guarantees of the network layers based on the implicit constraints imposed on the weight's eigenvalues. Moreover, we show how to use barrier methods to generically handle additional inequality constraints. We demonstrate the prediction accuracy of learned neural ODEs evaluated on open-loop simulations compared to ground truth dynamics with bi-linear terms.

Discussion (0). Continue with ORCID to comment.

Pith tools