Guest (Research Assistant at fortiss)

E-Mail	geisinger@fortiss.org
Room	F244
Phone	+49.89.3603522.14
Fax	+49.89.3603522.50
Address	fortiss GmbH Guerickestr. 25 80805 München Germany
Homepage	http://www.fortiss.org/en/about-us/people/michael-geisinger/

Curriculum Vitæ

Michael Geisinger received his doctoral degree from Technische Universität München (TUM) in 2015 for his dissertation on the topic of "Game-based Synthesis for Distributed Control of Industrial Assembly Lines". After his studies of Computer Science at TUM, he was employed as a research assistant at the Chair for Robotics and Embedded Systems at TUM from 2007 to 2009 where he was involved in the EasyKit project, whose goal was to speed up the development process of mechatronic systems by parallelizing the development of the three disciplines mechatronics, electronics and software development. In 2010, he switched to the fortiss institute (associated institute of TUM), where he has been working in context of the research projects about process monitoring, middleware architectures and software synthesis for industrial automation. From 2011 to 2015 he has been responsible for the development of the CHROMOSOME Middleware, a software system for networking complex distributed systems with real-time data exchange and plug & play configurability. In 2016, he founded the company Dynamic Components GmbH together with tree co-founders from fortiss. Dynamic Components helps operators of machines and plants to optimize the operation and maintenance of their systems by retrofitting sensors, acquiring additional data and generating insights from the data.

Projects

Dynamic Components - Plug & Play for Industrial Automation (since 01/2016)
CHROMOSOME Industrial - Professional version of CHROMOSOME for Industrial Automation (08/2015 - 01/2017)
MGSyn - Game-based Synthesis for Industrial Automation (08/2011 - 07/2015)
CHROMOSOME - Building Blocks of Cyber-Physical Systems (03/2011 - 07/2015)
MultiFunk - Autonomous, self organizing Sensor Networks for Process Monitoring (01/2010 - 12/2012)
EasyKit - Innovative Tools for Development and Didactics of Mechatronic Systems (11/2007 - 12/2009)

Open Student Projects

More open student projects...

Running Student Projects

(none)

Finished Student Projects

	HiWi	Extension of an Assembly Line Model with a Distributed Control System The task of this project is to design and implement a new microcontroller-based control system for a production line mockup model. Student: Xiaoguang Ma, Advisor: Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: 14.08.2010
	MA	Software-supported Process Enhancement for Placement of Roofs in Driving Cab Mounting at MAN (external) Student: Benjamin Brandenbourger, Advisor: Dipl.-Ing. (FH) Franz Blaschke (MAN), Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: 15.02.2011
	MA	Model driven Development for data centric Sensor Networks Student: Benjamin Wiesmüller, Advisor: Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: 15.12.2011
	MA	Implementierung einer Sensordatenfusion für thermische Prozesse mittels einer datenzentrischen Middleware Student: Marcel Flesch, Advisor: Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: 15.08.2012
	BA	Porting of a factory automation machinery from PLCs to microcontrollers Student: Sebastian Denz, Advisor: Dr. Gerd Kainz, Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: 15.11.2012
	SA	Firmwareentwicklung für ein redundantes Sensorsystem für thermische industrielle Prozesse (experimentelle Semesterarbeit Maschinenbau) Student: Matthias Harzheim, Advisor: Dr. Michael Geisinger, Supervisor: Prof. Dr.-Ing. Alois Knoll, Due date: December 2012
	HiWi	Betreuung einer Modell-Produktionsanlage Student: Sebastian Denz, Advisor: Dr. Michael Geisinger, Dr. Gerd Kainz, Supervisor: Prof. Dr.-Ing. Alois Knoll, Time: May 2011 - March 2013

Teaching

Lab course Praktikum Microcontroller Programming (WS 2011/2012)
Lab course for lecture Echtzeitsysteme (WS 2011/2012)
Lab course Praktikum Microcontroller Programming (WS 2010/2011)
Lab course for lecture Echtzeitsysteme (WS 2010/2011)
Lab course Praktikum Microcontroller Programming (WS 2009/2010)
Lab course Praktikum Echtzeitsysteme (SS 2009)
Lab course for lecture Echtzeitsysteme (WS 2008/2009)

Publications

[1]	Michael Stefan Geisinger. Game-based Synthesis for Distributed Control of Industrial Assembly Lines. Dissertation, Technische Universität München, München, Germany, 2015. [ DOI \| .bib \| .pdf ]
[2]	Christian Buckl, Michael Geisinger, Dhiraj Gulati, and Fran J. Ruiz-Bertol. CHROMOSOME: A run-time environment for plug&play-capable embedded real-time systems. In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014). ACM, April 2014. [ .bib \| .pdf ]
[3]	Michael Geisinger and Chih-Hong Cheng. Programm auf Knopfdruck? Computer & Automation, pages 32-35, August 2013. http://www.computer-automation.de/steuerungsebene/steuern-regeln/artikel/100262/. [ .bib \| .pdf ]
[4]	Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, and Alois Knoll. Reconfigurable industrial process monitoring using the CHROMOSOME middleware. In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013). ACM, April 2013. [ .bib \| .pdf ]
[5]	Chih-Hong Cheng, Michael Geisinger, and Christian Buckl. Synthesizing controllers for automation tasks with performance guarantees. In Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, LNCS, Stony Brook, NY, USA, 2013. Springer. [ .bib \| .pdf ]
[6]	Chih-Hong Cheng, Michael Geisinger, and Christian Buckl. Synthesizing controllers for automation tasks with performance guarantees. In Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, LNCS, Stony Brook, NY, USA, 2013. Springer. [ .bib \| .pdf ]
[7]	Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, and Christian Buckl. Demo abstract: An inverted pendulum demonstrator for timed model-based design of embedded systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), page 224, April 2012. [ DOI \| .bib \| .pdf \| .pdf ]
[8]	Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. Game solving for industrial automation and control. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'12), 2012. [ DOI \| .bib \| .pdf ]
[9]	Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. MGSyn: Automatic synthesis for industrial automation. In Proceedings of the International Conference on Computer Aided Verification (CAV) 2012, 2012. [ DOI \| .bib \| .pdf ]
[10]	Gokul Balakrishnan, Michael Geisinger, and Christian Buckl. Multifunk: Self-organizing sensor networks for industrial process monitoring. In Jian-Jia Chen, editor, Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session, pages 57-60, 2011. [ .bib \| .pdf ]
[11]	Christian Buckl and Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress, pages 38-42, Sindelfingen, Germany, 2011. [ .bib \| .pdf ]
[12]	Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll, and Harald Ruess. Optimizations for game-based software synthesis. Technical Report TR-2011-12, Verimag Research Report, 2011. [ .bib \| .pdf ]
[13]	Simon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis, and Gerd Bauer. EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten. In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer, and Ansgar Trächtler, editors, Entwurf mechatronischer Systeme, volume 272 of HNI-Verlagsschriftenreihe, pages 23-36, Paderborn, Germany, 2010. [ .bib \| .pdf ]
[14]	Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward A. Lee. Model-based specification of timing requirements. In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239-248, Scottsdale, Arizona, USA, 2010. Association for Computer Machinery. [ DOI \| .bib \| .pdf ]
[15]	Michael Geisinger, Simon Barner, Martin Wojtczyk, and Alois Knoll. A software architecture for model-based programming of robot systems. In Torsten Kröger and Friedrich M. Wahl, editors, Advances in Robotics Research - Theory, Implementation, Application, pages 135-146, Braunschweig, Germany, 2009. Springer-Verlag Berlin Heidelberg. [ DOI \| .bib \| .pdf ]
[16]	Markus Rickert, Michael Geisinger, Simon Barner, and Alois Knoll. Software development workflow in robotics. In Proceedings of the Workshop on Open Source Software in Robotics,IEEE International Conference on Robotics and Automation, Kobe, Japan, 2009. [ .bib \| .pdf ]
[17]	Simon Barner, Michael Geisinger, Christian Buckl, and Alois Knoll. EasyLab: Model-based development of software for mechatronic systems. In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540-545, Beijing, China, 2008. [ DOI \| .bib \| .pdf ]
[18]	Martin Wojtczyk, Simon Barner, Michael Geisinger, and Alois Knoll. Rapid prototyping of an adaptive light-source for mobile manipulators with EasyKit and EasyLab. In SPIE Optics and Photonics 2008, Illumination Engineering, Eighth International Conference on Solid State Lighting: Applications, San Diego, CA, USA, 2008. [ DOI \| .bib \| .pdf ]

Dr. Michael Geisinger