Participants : François Delebecque, Ramine Nikoukhah
Dans le cadre d'une collaboration avec l'université de Padou (contrat Galilée), nous avons commencé à réfléchir à l'élaboration d'un formalisme de description des systèmes hybrides pour la modélisation de divers aspects des systèmes de commande complexes. Cela a été en partie motivé par le besoin d'avoir un environnement commun aux divers intervenants dans la conception globale d'un système de commande : traitement du signal, automatique classique, modélisation mécanique, génération de code temps réel,... Ce problème a été posé dans une proposition Esprit avec des partenaires Italiens, Allemands et Suédois.
Les langages synchrones constituent une classe particulière de systèmes hybrides dans laquelle l'aspect discret et événementiel est pris en compte ; notre objectif est d'étendre ce formalisme afin de pouvoir incorporer des modèles de systèmes dynamiques continus. Pour le moment, notre objectif est seulement de préciser un tel formalisme et de définir un langage de description qui sera utilisé pour faire des simulations. L'aspect preuve présent dans la philosophie synchrone est beaucoup plus difficile à caractériser dans notre cas : un début de reflexion a été fait dans le cadre du programme Génie avec des automaticiens de Dassault et Yves Sorel du projet Sosso. Le logiciel Scicos a été construit (en partie) à partir de ces réflexions.