Michael Geisinger

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Abnormal Situations

Industrial Process

Induction Motor

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Christian Buckl, Michael Geisinger, Dhiraj Gulati, Fran J. Ruiz-Bertol, Alois C. Knoll
CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems. SIGBED Rev. 11 (3) (2014)
Chih-Hong Cheng, Michael Geisinger, Christian Buckl
Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN (2013)
Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, Alois C. Knoll
Reconfigurable industrial process monitoring using the CHROMOSOME middleware. SIGBED Rev. 10 (4) (2013)
Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl
Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. ICCPS (2012)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
MGSyn: Automatic Synthesis for Industrial Automation. CAV (2012)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
Game solving for industrial automation and control. ICRA (2012)
Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee
Model-based specification of timing requirements. EMSOFT (2010)