Model-based diagnosis of hybrid systems using satisfiability modulo theory

Diedrich, Alexander; Maier, Alexander; Niggemann, Oliver

doi:10.1609/aaai.v33i01.33011452

Model-based diagnosis of hybrid systems using satisfiability modulo theory

Publication date

2019-07-17

Document type

Konferenzbeitrag

Author

Diedrich, Alexander

Maier, Alexander

Niggemann, Oliver

Organisational unit

Fraunhofer IOSB-INA, Lemgo

Institute Industrial IT, Lemgo

DOI

10.1609/aaai.v33i01.33011452

URI

https://openhsu.ub.hsu-hh.de/handle/10.24405/20512

Conference

33rd AAAI Conference on Artificial Intelligence (AAAI-19) ; Honolulu, HI, USA ; January 27 – February 1, 2019

Publisher

AAAI Press

Series or journal

Proceedings of the AAAI Conference on Artificial Intelligence

ISSN

2374-3468

Periodical volume

33

Periodical issue

1

Book title

Proceedings of the AAAI Conference on Artificial Intelligence

ISBN

978-1-57735-809-1

First page

1452

Last page

1459

Part of the university bibliography

Nein

Language

English

Cite as

Diedrich, A., Maier, A., & Niggemann, O. (2019). Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 1452-1459. https://doi.org/10.1609/aaai.v33i01.33011452

Version

Published version

Access right on openHSU

Metadata only access