×

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).

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)
PDFBibTeX XMLCite
Full Text: DOI HAL