Former Junior research group leader in Fortiss - An-Institut der TU München
| cheng@fortiss.org | |
| Room | F230 |
| Phone | +49.89.3603522.511 |
| Fax | +49.89.3603522.50 |
| Address | fortiss GmbH Guerickestr. 25 80805 Munich Germany |
Teaching
- (SS11) Seminar Computer Aided Synthesis by M.Sc. Chih-Hong Cheng (I-6) . (ECTS: 4.0, SWS: 2)
- (WS10/11) Praktikum Algorithmic Game Solving by M.Sc. Chih-Hong Cheng (I-6) and Dr. Michael Luttenberger (I-7). (ECTS: 10.0, SWS: 6)
- (SS10) Praktikum Lego Robot Challenge by M.Sc. Yang Chen(I-6) and M.Sc. Chih-Hong Cheng (I-6) . (ECTS: 10.0, SWS: 6)
Publications
| [1] | Zhuangyi Jiang, Zhenshan Bing, Kai Huang, Guang Chen, Long Cheng, and Alois Knoll. Event-based target tracking control for a snake robot using a dynamic vision sensor. In International Conference On Neural Information Processing (ICONIP), November 2017. [ .bib ] |
| [2] | Zhenshan Bing, Long Cheng, Kai Huang, Zhuangyi Jiang, Guang Chen, Florian Röhrbein, and Alois Knoll. Towards autonomous locomotion: Slithering gait design of a snake-like robot for target observation and tracking. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), September 2017. [ .bib ] |
| [3] | Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter, and Alois Zoitl. Device adapter concept towards enabling plug&produce production environments. In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, September 2017. [ .bib | .pdf ] |
| [4] | Guang Chen, Zhenshan Bing, Florian Rohrbein, Jorg Conradt, Kai Huang, Long Cheng, Zhuangyi Jiang, and Alois Knoll. Towards brain-inspired learning with the neuromorphic snake-like robot and the neurorobotic platform. In IEEE Transactions on Cognitive and Developmental Systems, June 2017. accepted. [ .bib ] |
| [5] | Zhenshan Bing, Long Cheng, Kai Huang, Mingchuan Zhou, and Alois Knoll. Cpg-based control of smooth transition for body shape and locomotion speed of a snake-like robot. In 2017 IEEE International Conference on Robotics and Automation (ICRA), pages 4146-4153, May 2017. [ DOI | .bib | .pdf ] |
| [6] | 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 ] |
| [7] | 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 ] |
| [8] | 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 ] |
| [9] | Zhenshan Bing, Long Cheng, Anyang Zhong, Feihu Zhang, Kai Huang, and Alois Knoll. Slope angle estimation based on multi-sensor fusion for a snake-like robot. In 2017 20th International Conference on Information Fusion (FUSION) (FUSION 2017), Xi'an, P.R. China, to appear, July 2017. [ .bib ] |
| [10] | Long Cheng, Kai Huang, Gang Chen, Biao Hu, and Alois Knoll. Mixed-criticality control system with performance and robustness guarantees. In ICESS 2017: The 14th IEEE International Conference On Embedded Software And Systems. IEEE, 2017. [ .bib | .pdf ] |
| [11] | Long Cheng, Zhihao Zhao, Kai Huang, Gang Chen, and Alois Knoll. Mcftp: A framework to explore and prototype multi-core thermal managements on real processors. In ICESS 2017: The 14th IEEE International Conference On Embedded Software And Systems. IEEE, 2017. [ .bib | .pdf ] |
| [12] | Long Cheng, Zhihao Zhao, Kai Huang, and Alois Knoll. Hyper-periodic thermal management for hard real-time systems. In SIES 2017: 12th IEEE International Symposium on Industrial Embedded Systems. IEEE, 2017. [ .bib | .pdf ] |
| [13] | Long Cheng, Zhenshan Bing, Alois Knoll, and Kai Huang. Biologically inspired spiking neural network for autonomous locomotion control of snake-like robots. In International Journal of Biosensors & Bioelectronics. MedCrave, 2017. [ .bib | .pdf ] |
| [14] | 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 ] |
| [15] | 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 ] |
| [16] | 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 ] |
| [17] | 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 ] |
| [18] | 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 ] |
| [19] | Chen Gang, Huang Kai, Cheng Long, Hu Biao, and Knoll Alois. Dynamic partitioned cache memory for real-time mpsocs with mixed criticality. In Journal of Circuits Systems and Computers, 2016. [ .bib ] |
| [20] | 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 ] |
| [21] | 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 ] |
| [22] | 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 ] |
| [23] | 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 ] |
| [24] | 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 ] |
| [25] | 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 ] |
| [26] | 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 ] |
| [27] | 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 ] |
| [28] | 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 ] |
| [29] | 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 ] |
| [30] | 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 ] |
| [31] | 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 ] |
| [32] | 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 ] |
| [33] | 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 ] |
| [34] | 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 ] |
| [35] | 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 ] |
| [36] | 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 ] |
| [37] | 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 ] |
| [38] | 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 ] |
| [39] | 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 ] |
| [40] | 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 ] |
| [41] | 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 ] |