Quantified differential invariants
DOI10.1145/1967701.1967713zbMath1362.93071OpenAlexW2060284851MaRDI QIDQ2986714
Publication date: 16 May 2017
Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.916.2508
verification logicdistributed hybrid systemsquantified differential equationsquantified differential invariants
Control/observation systems governed by partial differential equations (93C20) Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) PDEs in connection with control and optimization (35Q93)
Related Items (1)
This page was built for publication: Quantified differential invariants
