|
T. John Koo, Ph.D. Ph.D., University of California at Berkeley, 2000 M.Phil., Chinese University of Hong Kong, 1994 B.Eng., Chinese University of Hong Kong, 1992 Assistant Professor, Computer Engineering |
![]()
Information
|
![]()
Meeting Schedule
![]()
Award
| NSF CAREER Award: Computation Platform for the Design of Hybrid Systems, 2005 |
| Distinguished Master of Philosophy (M. Phil.) Thesis Award, the Faculty of Engineering, the Chinese University of Hong Kong, 1994 |
![]()
Research Interests
| "Development of formal methods for the design of high-confidence embedded software based on hybrid system theory with applications to distributed, network-centric, embedded systems." |
| Embedded Software, Hybrid Systems, Nonlinear Control, and Robotics. |
![]()
Sponsored Research
|
NSF
CAREER Award: Computation Platform for the Design of Hybrid Systems,
Vanderbilt University. Status: Current Sponsor: National Science Foundation Program: Faculty Early Career Development (CAREER) Program Project: Computation Platform for the Design of Hybrid Systems Role: Principle Investigator Period: April 1, 2005 - March 31, 2010 Amount: 400,000.00 |
|
NSF ITR Center for Hybrid and
Embedded Software Systems (CHESS), UC Berkeley,
University of Memphis
and Vanderbilt University. Status: Current Sponsor: National Science Foundation Program: Information Technology Research (ITR) Program Project: Foundations of Hybrid and Embedded Software Systems Role: Faculty Investigator Period: November 1, 2002 - October 31, 2007 Amount: 13,500,000.00 |
|
DARPA IXO Project, "Active
Sensing with Autonomous Perch and Move Operations," Southwest Research
Institute, UC Berkeley and Vanderbilt University. Status: Finished Sponsor: DARPA Program: IXO Project: Active Sensing with Autonomous Perch and Move Operations Role: Faculty Investigator Period: August 22, 2003 - August 21, 2004 Amount: 498,338.00 |
![]()
Laboratory
Embedded Computing
Systems Laboratory
|
|
ReachLab: Computation Platform for the Design and Analysis of Hybrid Systems |
![]() |
Vanderbilt Embedded Computing Platform for Autonomous Vehicles |
![]()
Students
| Current | |
|
|
|
| Alumni | |
Jie
Chen, CS, MSc |
Hang Su,
CS, MSc |
Chip Clifton, EE, MSc |
Xianbin Wu, CS, MSc |
Abhishek Dubey, EE, MSc |
|
![]()
Teaching
Vanderbilt University
| Spring 2006 | Real-time Systems |
| Fall 2005 | Feedback Control Systems I |
| Spring 2005 | Real-time Systems |
| Fall 2004 | Feedback Control Systems I |
| Spring 2004 | Hybrid and Embedded Systems: Computation |
| Fall 2003 | Embedded Control Systems Design |
University of California, Berkeley
| Spring 2003 | Hybrid Systems |
| Spring 2002 | Hybrid Systems |
| Spring 2001 | Hybrid Systems |
![]()
Publication
| Recent Paper H. Su, G. Hemingway, K. Chen and T. J. Koo Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems Submitted to the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA), Beijing, China, October 23-26, 2006. G. Hemingway, H. Su, K. Chen and T. J. Koo A Semantic Anchoring Infrastructure for Model-based Embedded System Design Submitted to the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, October 22-25, 2006. T. J. Koo and H. Su A Computational Approach for Estimating Stability Regions In the Proceedings the IEEE International Symposium on Computer-Aided Control Systems Design, Munich, Germany, October 2006. T. J. Koo, C. A. Clifton and G. Hemingway Casacded Control Design for a Quadrotor Aerial Robot In the Proceedings of the Asian Control Conference, Bali, Indonesia, July 2006.
T. J. Koo, X. Wu, H. Su, J. Chen, A. Dubey A. Dubey, X. Wu, H. Su, T. J. Koo T. J. Koo Introducing Embedded Software and Systems Education and Advanced Learning Technology in Engineering Curriculum ACM Transactions of Embedded Computing Systems, Special Issue on Education, 2005.
Hybrid System Design and Embedded Controller Synthesis for Multi-Modal Control PhD Thesis, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, 2000 Design of Stable Adaptive Fuzzy Control ``Distinguished M.Phil. Thesis Award of the Faculty of Engineering, The Chinese University of Hong Kong,'' Master Thesis, M.Phil., Information Engineering, The Chinese University of Hong Kong, 1994 Micro-controller Based Controller for the Electrical Wheelchair H. Su, G. Hemingway, K. Chen and T. J. Koo Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems Submitted to the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA), Beijing, China, October 23-26, 2006. G. Hemingway, H. Su, K. Chen, and T. J. Koo A Semantic Anchoring Infrastructure for Model-based Embedded System Design Submitted to the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, October 22-25, 2006. A. Dubey, X. Wu, H. Su, T. J. Koo Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach Third International Symposium on Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science, Vol. 3707, pp. 114-128, Springer-Verlag, Taipei, Taiwan, October 4-7, 2005. J. Sztipanovits, G. Biswas, K. Frampton, A. Gokhale, L. Howard, G. Karsai, T. J. Koo, X. Koutsoukos, D. Schmidt Introducing Embedded Software and Systems Education and Advanced Learning Technology in Engineering Curriculum Hybrid Modelling and Control of Power Electronics Hybrid Systems: Computation and Control April, Lecture Notes in Computer Science, Vol. 2623, pp. 450-465, Springer-Verlag, 2003. Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles The Proceedings of the IEEE, Vol. 91, No. 1, January 2003. Platform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Embedded Software Embedded Software, Alberto Sangiovanni-Vincentelli and Joseph Sifakis (Eds.), Lecture Notes in Computer Science, Springer-Verlag, 2002. Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-Modal Systems Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 2289, pp. 281-293, Springer-Verlag, 2002. Multi-Modal Control of Constrained Nonlinear Systems Software-Enabled Control: Information Technology for Dynamical Systems, Tariq Samad and Gary Balas (Eds.), IEEE Press, 2002 Hierarchical Approach for Design of Multi-Vehicle Multi-Modal Embedded Software Embedded Software, T. A. Henzinger and C. M. Kirsch (Eds.), Lecture Notes in Computer Science, Vol. 2211, pp. 344-360, Springer-Verlag, 2001. Mode Switching Synthesis for Reachability Specifications Hybrid Systems: Computation and Control, M. D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds.), Lecture Notes in Computer Science, Vol. 2034, pp. 333-346, Springer-Verlag, 2001. Stable Model Reference Adaptive Fuzzy Control of a Class of Nonlinear Systems IEEE Transactions on Fuzzy Systems, Vol. 9, No. 4, pp. 624-636, August 2001. Landing an Umanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control Asian Journal of Control, Vol. 1, No.3, pp. 128-145, September 1999. Path Planning and Flight Controller Scheduling for an Autonomous Helicopter Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen (Eds.), Lecture Notes in Computer Science, Vol. 1569, pp. 91-102, Springer-Verlag, 1999. Evolutionary Design of a Helicopter Autopilot Advances in Soft Computing: Engineering Design and Manufacturing, pp. 201-214, Springer-Verlag, 1999. Adaptive Fuzzy Controller with Model-following Capability The Future Directions of Fuzzy Theory and Systems, Chapter 9, World Scientific, 1995. Analysis of a Class of Fuzzy Controllers International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 2, No. 3, pp. 257-264, September 1994.
T. J. Koo and H. Su T. J. Koo and S. Sastry T. J. Koo, S. Zelinski, and S. Sastry Optimization-based Formation Reconfiguration Planning For Autonomous Vehicles In Proceedings of International Conference on Robotics and Automation, Taipei, Taiwan, May 2003. Lifetime Analysis of a Sensor Network with Hybrid Automata Modelling In Proceedings of ACM International Workshop on Wireless Sensor Networks and Applications, Atlanta, Georgia, September 2002. Hardware-in-the-loop (HIL) Simulation of Multi-Vehicle Multi-Modal Embedded Systems In Proceedings of IFAC World Congress on Automatic Control, Barcelona, Spain, 2002. Hierarchical System Architecture for Multi-Agent Multi-Modal Systems In Proceedings of IEEE Conference on Decision and Control, Orlando, FL, December 2001. Multi-Modal Control of Systems with Constraints In Proceedings of IEEE Conference on Decision and Control, Orlando, FL, December 2001. Mesh Stability of Unmanned Aerial Vehicle Clusters In Proceedings of American Control Conference, Arlington, Virginia, June 2001. Formation of a Group of Unmanned Aerial Vehicles (UAVs) In Proceedings of American Control Conference, Arlington, Virginia, June 2001. Vision Based Navigation for an Unmanned Aerial Vehicle In Proceedings of IEEE International Conference on Robotics and Automation, Seoul, Korea, May 2001. Differential Flatness Based Full Authority Helicopter Control Design In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999. Vision Guided Landing of an Unmanned Air Vehicle In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999. Hierarchical Hybrid System Simulation In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999. An Integrated Algorithm for Path Planning and Flight Controller Scheduling for Autonomous Helicopters In Proceedings of the 7th IEEE Mediterranean Conference on Control and Automation, Haifa, Israel, June, 1999 UAV Trajectory Generation with Switching on Flat Outputs In Proceedings of IEEE Hong Kong Symposium on Robotics and Control, Hong Kong, July 1999. A Formal Approach to Reactive System Design: A UAV Flight Management System Design Example In Proceedings of IEEE International symposium on Computer-Aided Control System Design, Kohala Coast, Hawaii, August 1999. Hierarchical Hybrid System Design on Berkeley UAV International Aerial Robotics Competition, Richland, Washington, USA, August 1998. Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998. A Comprehensive Study on Control Design of Autonomous Helicopter In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998. Hybrid Control of An Autonomous Helicopter In Proceedings of IFAC Workshop on Motion Control, Grenoble, France, Septemeber 1998. SmartATMS: A Simulator for Air Traffic Management Systems In Proceedings of Winter Simulation Conference, Atlanta, Georgia, USA, 1997. Accelerometer Based Gyro-Free Multi-Sensor Generic Inertial Device for Automotive Applications In Proceedings of IEEE Conference on Intelligent Transportation Systems, Boston, Massachusetts, USA, November 1997 . Initial Attitude Determination and Correction of Gyro-Free INS Angular Orientation on the Basis of GPS Linear Navigation Parameters In Proceedings of IEEE Conference on Intelligent Transportation Systems, Boston, Massachusetts, USA, November 1997 . Construction of Fuzzy Linguistic Model In Proceedings of IEEE Conference on Control and Decision, Kobe, Japan, 1996. Model Reference Adaptive Fuzzy Control of Robot Manipulator In Proceedings of IEEE Conference on Systems, Man and Cybernetics, Vancouver, 1995. Adaptive Fuzzy Manipulator Control In Proceedings of First Asian Fuzzy Systems Symposium, Singapore, 1993. An Electric Wheelchair with Special Features In Proceedings of International Conference on RESNA, Toronto, 1992 . |
![]()
![]()
T. John Koo (john.koo@vanderbilt.edu).
All rights reserved. ![]()