Hybrid computation

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].

[1]  Aude Maignan.  Résolution réelle d'équations et de systèmes d'équations algébro-élémentaires , 2000 .

[2]  E. R. Pinch,et al.  Optimal control and the calculus of variations , 1993 .

[3]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[4]  John Lygeros,et al.  Optimal Control Approach to Multiagent, Hierarchical System Verification , 1996 .

[5]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[6]  Sergio Yovine,et al.  A methodology for analyzing the dynamics of hybrid systems , 2001, 2001 European Control Conference (ECC).

[7]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[8]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[9]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[10]  V. Borkar,et al.  A unified framework for hybrid control : b background, model, and theory , 1994 .

[11]  J L Walsh,et al.  FUNDAMENTAL PROPERTIES OF GENERALIZED SPLINES. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[12]  Panos J. Antsaklis,et al.  Hybrid Systems IV , 1997, Lecture Notes in Computer Science.