Kein Foto von Michael Hofbaur

Michael Hofbaur

Priv.-Doz. Dipl.-Ing. Dr.techn.

19972015

Research output per year

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Publikationen

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-846

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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-87

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aktive Diagnose nicht unterscheidbarer Systemverhalten

Hofbaur, M. & Trave-Massuyes, L., 2009, Steirisches Seminar über Regelungstechnik und Prozessautomatisierung. ., S. 198-212

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschung

Analyses and Modeling of a Wet-Chemical-Etch Process on Rotating Silicon Wafers with an Impinging Etchant Jet

Staudegger, F., Hofbaur, M. & Kruwinus, H-J., 2009, in : Journal of the Electrochemical Society. 156, 5, S. H340-H345

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Analysis of Control Systems Using Qualitative and Quantitative Simulation

Hofbaur, M., 1997, Proceedings of the 11th International Workshop on Qualitative Reasoning (QR97). ., S. 115-120

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A Qualitative Model for Hybrid Control

Kleissl, W. & Hofbaur, M., 2005, Proceedings of the 19th International Workshop on Qualitative Reasoning (QR05). ., S. 8-16

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Collaborative Microdrones: Applications and Research Challenges

Quaritsch, M., Stojanovski, E., Bettstetter, C., Friedrich, G., Hellwagner, H., Rinner, B., Hofbaur, M. & Shah, M., 2008, International Conference on Autonomic Computing and Communication Systems. ., S. 7-12

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Hybrid Control through Qualitative Pre-Selection

Hofbaur, M. & Kleissl, W., 2005, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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-105

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Hybrid Estimation and its Role in Automation

Hofbaur, M., 2003

Publikation: StudienabschlussarbeitHabilitationForschung

Hybrid Estimation of Complex Systems

Hofbaur, M., 2005, Berlin Heidelberg New York: Springer Verlag. (Lecture Notes in Control and Information Sciences)

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Hybrid Estimation of Complex Systems

Hofbaur, M. & Williams, B. C., 2004, in : IEEE Transactions on Systems, Man, and Cybernetics / B. 34, 5, S. 2178-2191

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Hybrid Estimation through Synergetic Mode-Set Filtering

Rienmüller, T., Bayoudh, M., Hofbaur, M. & Travé-Massuyès, L., 2009, Proceedings of the 20th International Workshop on Principles of Diagnosis. ., S. 115-121

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Hybrid Estimation through Synergic Mode-Set Focusing

Rienmüller, T., Bayoudh, M., Hofbaur, M. & Travé-Massuyès, L., 2009, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. ., S. 462-467

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving Robustness of Mobile Robots using Model-Based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2006, Proceedings of the ECAI Workshop on Model Based Systems. ., S. 28-33

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving Robustness of Mobile Robots using Model-Based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2006, 2006 International Symposium on Model-Based Reasoning on Engineering and Robotic Systems. ., S. 0-0

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving Robustness of Mobile Robots Using Model-based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2007, in : Journal of Intelligent and Robotic Systems. 48, 1, S. 37-54

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Improving Semiquantitative Simulation by Using Lyapunov Analysis

Hofbaur, M. & Dourdoumas, N., 1999, (Eingereicht) Proceedings of the European Control Conference, ECC'99. ., (European Control Conference).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving Semiquantitative Simulation by Using Lyapunov Analysis

Hofbaur, M. & Dourdoumas, N., 1999, Proceedings of the 13th International Workshop on Qualitative Reasoning (QR99). ., S. 121-127

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Lyapunov based reasoning methods

Hofbaur, M. & Dourdoumas, N., 2001, in : IEEE Transactions on Systems, Man, and Cybernetics / A. 31, 6, S. 546-558

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Lyapunov Methods for Semiquantitative Simulation

Hofbaur, M., 1999

Publikation: StudienabschlussarbeitDissertationForschung

Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap

Hofbaur, M., Müller, A., Piater, J., Rinner, B., Steinbauer, G., Vincze, M. & Wögerer, C., 2015, in : e&i - Elektrotechnik und Informationstechnik. 132, 4-5, S. 237-248

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Mode Estimation of Probabilistic Hybrid Systems

Williams, B. C., Hofbaur, M. & Jones, T., 2001, Cambridge, USA: .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-Based Fault Diagnosis and Reconfiguration of Robot Drives

Brandstötter, M., Hofbaur, M., Steinbauer, G. & Wotawa, F., 2007, (Angenommen/In Druck) International Conference on Intelligent Robots and Systems. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-Based Programming of Fault-Aware Systems

Williams, B. C., Ingham, M. D., Chung, S., Elliott, P., Hofbaur, M. & Sullivan, G. T., 2003, in : AI Magazine. 24, 4, S. 61-75

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Model-based Reactive Programming of Cooperative Vehicles for Mars Exploration

Hofbaur, M., Williams, B. C., Kim, P., How, J., Kennell, J., Ragno, R., Stedl, J. & Walcott, A., 2001, (Eingereicht) Proceedings of the 6th International Symposium on Artificial Intelligence and Robotics & Automation in Space (i-SAIRAS 2001). .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-Based Reasoning for Fault-Tolerant Robot Hardware and Software

Hofbaur, M., Steinbauer, G. & Wotawa, F., 2007, (Angenommen/In Druck) Proceedings of the 16thInternational Workshop on Robotics in Alpe-Adria-Danube Region. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

MODULARES ROBOTERFAHRWERK

Hofbaur, M., Jantscher, S. & Schörghuber, C., 15 Jun 2011, Patent Nr. AT 507 947 B1 2011-06-15

Publikation: SchutzrechtPatentForschung

Modular Re-Configurable Robot Drives

Hofbaur, M., Brandstötter, M., Jantscher, S. & Schörghuber, C., 2010, Robotics Automation and Mechatronics (RAM), 2010 IEEE Conference on. Institute of Electrical and Electronics Engineers, S. 150-155

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On-line Kinematics Reasoning for Reconfigurable Robot Drives

Hofbaur, M., Brandstötter, M., Schörghuber, C. & Steinbauer, G., 2010, Robotics and Automation (ICRA), 2010 IEEE International Conference on. Institute of Electrical and Electronics Engineers, S. 5441-5446

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

QR 2005 - 19th International Workshop on Qualitative Reasoning

Hofbaur, M. (Hrsg.), Rinner, B. (Hrsg.) & Wotawa, F. (Hrsg.), 2005, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Qualitative Abstraction of Piecewise Affine Systems

Hofbaur, M. & Rienmüller, T., 2008, Proceedings of the 22nd International Workship on Qualitative Reasoning. ., S. 43-48

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

Qualitative and Quantitative Simulation of Control Systems

Hofbaur, M., 1997, Proceedings of the 16th IASTED International Conference on Modelling, Identification and Control. ., S. 376-379

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Qualitativ-quantitative Simulation, ein Instrument zur Analyse nichtlinearer Regelkreise

Hofbaur, M. & Dourdoumas, N., 1997, in : e&i - Elektrotechnik und Informationstechnik. 114, 7/8, S. 371-379

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

SSRP 2009 - 16. Steirisches Seminar über Regelungstechnik und Prozessautomatisierung

Horn, M. (Hrsg.), Hofbaur, M. (Hrsg.) & Dourdoumas, N. (Hrsg.), 2009, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Symbolische Kalman Zerlegung

Kleissl, W. & Hofbaur, M., 2003, Steirisches Seminar über Regelungstechnik und Prozessautomatisierung. ., S. 218-243

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung