Technische Universität München Robotics and Embedded Systems
 

Dr. Chih-Hong Cheng (Alumnus)

 

Former Junior research group leader in Fortiss - An-Institut der TU M√ľnchen

E-Mail cheng@fortiss.org
Room F230
Phone +49.89.3603522.511
Fax +49.89.3603522.50
Address fortiss GmbH
Guerickestr. 25
80805 Munich
Germany

This page is no longer maintained. Please visit http://www.chihhongcheng.info/ for complete information

Dr. Chih-Hong Cheng
 

Teaching

Publications

[1] Biao Hu, Kai Huang, Gang Chen, Long Cheng, and Alois Knoll. Online workload monitoring with the feedback of actual execution time for real-time systems. In in Design, Automation and Test in Europe (DATE), March 2017. [ .bib | .pdf ]
[2] Biao Hu, Kai Huang, Gang Chen, Long Cheng, Dongkun Han, and Alois Knoll. Schedulability analysis towards arbitrarily activated tasks in mixed-criticality systems. In Journal of Circuits, Systems and Computers, March 2017. [ .bib | .pdf ]
[3] Zhenshan Bing, Long Cheng, Kai Huang, Mingchuan Zhou, and Alois Knoll. Smooth gait transition of body shape and locomotion speed based on cpg control for snake-like robot. In IEEE International Conference on Robotics and Automation (ICRA), to appear, June 2017. [ .bib | .pdf ]
[4] Zhenshan Bing, Long Cheng, Guang Chen, Florian Röhrbein, Kai Huang, and Alois Knoll. Towards autonomous locomotion: Cpg-based control of smooth 3d slithering gait transition of a snake-like robot. Bioinspiration & Biomimetics, 12(3):035001, 2017. [ DOI | .bib ]
[5] Biao Hu, Kai Huang, Pengcheng Huang, Lothar Thiele, and Alois Knoll. On-the-fly fast overrun budgeting for mixed-criticality systems. In International Conference on Embedded Software (EMSOFT), October 2016. [ .bib | .pdf ]
[6] Biao Hu, Kai Huang, Gang Chen, Long Cheng, and Alois Knoll. Adaptive workload management in mixed-criticality systems. In ACM Transactions on Embedded Computing Systems, May 2016. [ .bib | .pdf ]
[7] Biao Hu, Kai Huang, Gang Chen, Long Cheng, and Alois Knoll. Evaluation and improvements of runtime monitoring methods for real-time event streams. In ACM Transactions on Embedded Computing Systems, Feb 2016. [ .bib | .pdf ]
[8] Long Cheng, Kai Huang, Gang Chen, Biao Hu, and Alois Knoll. Minimizing peak temperature for pipelined hard real-time systems. In In Design, Automation and Test in Europe, 2016. [ .bib ]
[9] Zhenshan Bing, Long Cheng, Kai Huang, Mingchuan Zhou, and Alois Knoll. A cpg-based control architecture for 3d locomotion of a snake-like robot. Technical Report TUM-I1638, Technische Universität München, 2016. [ .bib ]
[10] Biao Hu, Kai Huang, Gang Chen, Long Cheng, and Alois Knoll. Adaptive runtime shaping for mixed-criticality systems. In International Conference on Embedded Software (EMSOFT), October 2015. [ .bib | .pdf ]
[11] Long Cheng, Kai Huang, Gang Chen, Biao Hu, and Alois Knoll. Periodic thermal management for hard real-time systems. In SIES 2015: 10th IEEE International Symposium on Industrial Embedded Systems. IEEE, 2015. [ .bib | .pdf ]
[12] 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 ]
[13] 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 ]
[14] 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 ]
[15] 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 ]
[16] 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 ]
[17] Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. GAVS+: an open platform for the research of algorithmic game solving. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), LNCS. Springer, 2011. [ DOI | .bib | .pdf ]
[18] Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, and Harald Ruess. Model construction and priority synthesis for simple interaction systems. In Proceedings of the 3rd NASA Formal Methods Symposium (NFM'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ]
[19] Chih-Hong Cheng, Barbara Jobstmann, Alois Knoll, and Christian Buckl. On the hardness of priority synthesis. In Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ]
[20] Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, and Alois Knoll. Algorithms for synthesizing priorities in component-based systems. In Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ]
[21] 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 ]
[22] Chih-Hong Cheng, Harald Ruess, Christian Buckl, and Alois Knoll. Synthesis of fault-tolerant embedded systems using games: from theory to practice. In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11), LNCS. Springer, 2011. [ DOI | .bib | .pdf ]
[23] Chih-Hong Cheng, Christian Buckl, and Alois Knoll. Tool-based development of light-weight fault-tolerant embedded systems. In Proceedings of the 16th IEEE Real-Time and Embedded Technology andApplications Symposium (RTAS 10), Work-in-Progress Session, 2010. [ .bib | .pdf ]
[24] Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, and Alois Knoll. GAVS: Game arena visualization and synthesis. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), volume 6252 of LNCS, pages 347-352. Springer, 2010. [ DOI | .bib | .pdf ]
[25] Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Toward an efficient methodology for the analysis of fault-tolerant systems. In 4th International Workshop on Systems Software Verification (SSV'09)(Doctoral Symposium), month 2009. [ .bib ]
[26] Chih-Hong Cheng, Markus Rickert, Christian Buckl, EdwardA. Lee, and Alois Knoll. Toward the design of robotic software with verifiable safety. In Proceedings of the 33rd IEEE International Computer Software and Applications Conference(Fast Abstract), Seattle, WA, USA, 2009. [ DOI | .bib | .pdf ]
[27] Chih-Hong Cheng, Christian Buckl, Javier Esparza, and AloisKnoll. Modeling and verification for timing satisfaction of fault-tolerant systems with finiteness. In Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09), pages 208-215. IEEE, 2009. [ DOI | .bib | .pdf ]
[28] Chih-Hong Cheng, Alois Knoll, Javier Esparza, Christian Buckl, and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In Proceedings of the 8th IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA'09). IEEE, 2009. [ .bib | .pdf ]
[29] Christopher Brooks, Chih-Hong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model engineering using multimodeling. In Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM'08), 2008. [ .bib | .pdf ]
[30] Chih-Hong Cheng, Teale Fristoe, and Edward A. Lee. Applied verification: The ptolemy approach. Technical report, EECS department, University of California at Berkeley, Berkeley, USA, 2008. [ .bib | .pdf ]
[31] Farn Wang and Chih-Hong Cheng. Program repair suggestions from graphical state-transition specifications. In 28th IFIP WG 6.1 International Conference in Formal Techniques for Networked and Distributed Systems (FORTE), volume 5048 of Lecture Notes in Computer Science, pages 185-200. Springer, 2008. [ DOI | .bib | .pdf ]