Publikationen pro Jahr
Publikationen pro Jahr
Publikationen
- 6 Ergebnisse
Suchergebnisse
-
2006
A Causal Analysis Method for Concurrent Hybrid Automata
Hofbaur, M. & Wotawa, F., 2006, Proceedings of the 21st National Conference on Artificial Intelligence. Menlo Park, California: AAAI Press, S. 840-846Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2005
A Diagnosis-Based Causal Analysis Method for Concurrent Hybrid Automata
Hofbaur, M. & Wotawa, F., 2005, Proceedings of the 16th International Workshop on Principles of Diagnosis (DX05). ., S. 81-87Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
A Qualitative Model for Hybrid Control
Kleissl, W. & Hofbaur, M., 2005, Proceedings of the 19th International Workshop on Qualitative Reasoning (QR05). ., S. 8-16Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2003
Symbolische Kalman Zerlegung
Kleissl, W. & Hofbaur, M., 2003, Steirisches Seminar über Regelungstechnik und Prozessautomatisierung. ., S. 218-243Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2002
Hybrid Diagnosis with Unknown Behavioral Modes
Hofbaur, M. & Williams, B. C., 2002, Proceedings of the 13th International Workshop on Principles of Diagnosis (DX02). ., S. 97-105Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Mode Estimation of Probabilistic Hybrid Systems
Hofbaur, M. & Williams, B. C., 2002, International Workshop on Hybrid Systems: Computation and Control, HSCC 2002. Tomlin, C. J. & Greenstreet, M. R. (Hrsg.). Springer Verlag, Band 2289. S. 253-266 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung