Differential automata and their discrete simulators
Non-Linear Analysis
Hybrid Systems
Hybrid Systems II
Hybrid Systems IV
Algorithms for symbolic/numeric control of affine dynamical systems
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Exact polynomial factorization by approximate high degree algebraic numbers
Proceedings of the 2009 conference on Symbolic numeric computation
Accurate hybridization of nonlinear systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A hybrid computing scheme for shape optimisation in thermo-fluid problems
International Journal of Computational Intelligence Studies
Computing reachable states for nonlinear biological models
Theoretical Computer Science
Hybridization domain construction using curvature estimation
Proceedings of the 14th international conference on Hybrid systems: computation and control
Reachability analysis of non-linear planar autonomous systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |
The goal of this paper is twofold: first a rapid introduction to the concept of hybrid system and second the presentation of a new direction in computer algebra that we have called hybrid computation. Hybrid computation can be seen as the application of the philosophy of hybrid system to the field of computation. We have focused our presentation on four directions that are actually developped in the MASH (Modélisation Algébrique et Systèmes Hybrides) project:Integration of ODE, Dynamic hybrid systems, Generalized splines and Optimal control [5].