Caillaud, Benoît; Malandain, Mathias; Thibault, Joan Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020). Cited in 1 Document MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:binary decision diagrams; differential-algebraic equations; multi-mode systems; structural analysis; variable-structure models PDFBibTeX XMLCite \textit{B. Caillaud} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020; Zbl 07300861) Full Text: DOI HAL