Formal approach to Compute Hybrid Automata Models for Linear Physical Systems with Switches - Archive ouverte HAL
Communication Dans Un Congrès Année : 2004

Formal approach to Compute Hybrid Automata Models for Linear Physical Systems with Switches

Katell Kervella  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00846952

Soumis le : lundi 22 juillet 2013-12:04:07

Dernière modification le : vendredi 24 mars 2023-14:52:57

Fichier non déposé

Dates et versions

hal-00846952 , version 1 (22-07-2013)

Identifiants

  • HAL Id : hal-00846952 , version 1

Citer

Jean Buisson, Hervé Cormerais, Marius Zainea, Hervé Guéguen, E. Godoy. Formal approach to Compute Hybrid Automata Models for Linear Physical Systems with Switches. IEEE International Symposium on CACSD, Sep 2004, Taipei, China. pp.47-52. ⟨hal-00846952⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS INSA-RENNES IETR SUP_ASH SUP_IETR UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
57 Consultations
0 Téléchargements

Partager

More