Transcendental inductive invariants generation for non-linear differential and hybrid systems
From MaRDI portal
Publication:2986749
DOI10.1145/2185632.2185640zbMath1362.68153OpenAlexW2071442928MaRDI QIDQ2986749
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2185632.2185640
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Hybrid systems of ordinary differential equations (34A38)
Related Items (4)
A compositional modelling and verification framework for stochastic hybrid systems ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Generating invariants for non-linear hybrid systems
Uses Software
This page was built for publication: Transcendental inductive invariants generation for non-linear differential and hybrid systems
