Skip to Main content Skip to Navigation
Poster communications

Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems

Benoit Caillaud 1 Mathias Malandain 1 Joan Thibault 1
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Mots-clés : analyse structurelle systèmes multimode équations algébro-différentielles diagrammes de décision binaire
Document type :
Poster communications
Complete list of metadatas
https://hal.inria.fr/hal-02545380
Contributor : Mathias Malandain <>
Submitted on : Friday, April 17, 2020 - 8:58:54 AM
Last modification on : Saturday, July 11, 2020 - 3:15:25 AM

File

Vignette du document
caillaud_poster.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02545380, version 1

Collections

UNIV-RENNES1 | TDS-MACS | INRIA | UNIV-RENNES | IRISA | CNRS | CENTRALESUPELEC | UR1-UFR-ISTIC | INSA-RENNES

Citation

Benoit Caillaud, Mathias Malandain, Joan Thibault. Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems. HSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1. ⟨hal-02545380⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

33

Files downloads

133

 

Contact                    Legal Notice                    Personal Data