Hybrid computation

DOI10.1145/384101.384116MaRDI QIDQ2958919zbMATH OpenOpenAlexFDO

Authors Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine, 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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Hybrid systems and hybrid computation. I: Hybrid systems
• scientific article; zbMATH DE number 2065266
• Symbolic verification of hybrid systems: an algebraic approach
• Algebraic calculi for hybrid systems
• An algebraic approach to hybrid systems

Cited in

(6)

• Hybrid systems and hybrid computation. I: Hybrid systems
• Hybrid symbolic-numeric computation
• Hybridization methods for the analysis of nonlinear systems
• Computing reachable states for nonlinear biological models
• Making big steps in trajectories
• scientific article; zbMATH DE number 2065266 (Why is no real title available?)

Describes a project that uses

Uses Software

• MaSh

This page was built for publication: Hybrid computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958919)