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

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

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⟩
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More