( en | de | ru )

 

Disambiguation of "Diedrich, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory.

, and . DX, volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Diedrich Hibben

Diedrich Bohlen

Diedrich Deseniss

Diedrich Cremer

Joachim Diedrich

 

Other publications of authors with the same name

Kognitive Architektur zum Konzeptlernen in technischen Systemen., , , and . ML4CPS, page 75-85. Springer, (2015)Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory., and . DX, volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)On Diagnosing Cyber-Physical Systems.. Helmut Schmidt University, Hamburg, Germany, (2023)Diagnosis driven Anomaly Detection for CPS., , , , and . CoRR, (2023)A Generic DigitalTwin Model for Artificial Intelligence Applications., , , , and . ICPS, page 55-62. IEEE, (2021)ServiceNavigator - A Bayesian Assistance System for Diagnosing Industrial Production Systems., , and . ICPS, page 1-6. IEEE, (2022)Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory., , and . AAAI, page 1452-1459. AAAI Press, (2019)An AI benchmark for Diagnosis, Reconfiguration & Planning., , , , , and . ETFA, page 1-8. IEEE, (2022)An Ensemble of Benchmarks for the Evaluation of AI Methods for Fault Handling in CPPS., , , , and . INDIN, page 1-6. IEEE, (2021)The DigitalTwin from an Artificial Intelligence Perspective., , , , and . CoRR, (2020)