Hybrid computation
From MaRDI portal
Publication:2958919
DOI10.1145/384101.384116zbMath1356.68275OpenAlexW2296389869MaRDI QIDQ2958919
Aude Maignan, Sergio Yovine, Mihaela Mirica-Ruse, Jean Della Dora
Publication date: 3 February 2017
Published in: Proceedings of the 2001 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/384101.384116
Symbolic computation and algebraic computation (68W30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (2)
Hybridization methods for the analysis of nonlinear systems ⋮ Computing reachable states for nonlinear biological models
Uses Software
This page was built for publication: Hybrid computation
