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
Embedded Computing Systems Laboratory
Institute for Software Integrated Systems
Department of Electrical Engineering and Computer Science
School of Engineering
Vanderbilt University


News
Guest Editors: T. John Koo and Shankar Sastry.
Special Issue on "Networked Embedded Hybrid Control Systems," Asian Journal of Control.
Call for Papers.
Speaker, World Engineers' Forum of Shantou University, Faculty of Engineering, Shantou University, February 23, 2006.
Gabor Karsai, T. John Koo, and Janos Sztipanovits, International Embedded Systems Forum, Faculty of Engineering and Li Ka Shing Foundation, Shantou University, February 23, 2006.
EECS 353-1 Real-Time Systems, Spring 2006.
Introducing the Computation Platform for the Design and Analysis of Hybrid Systems: ReachLab
Chair-US and Speaker, Workshop on Hybrid and Embedded Systems: Technologies and Applications, Hong Kong Science and Technology Parks Corporation and Department of Automation and Computer-Aided Engineering, the Chinese University of Hong Kong, February 21 - 22, 2006.
For Pictures, please click here
For Presentations, please click here
Also appears in:
Faculty and Staff Notes, Vanderbilt Register, March 13, 2006

News, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS)
CUHK NewsLetter, The Chinese University of Hong Kong, April 4, 2006
EECS 257-1 Control Systems I, Fall 2005.
Elevated to the IEEE Senior Member Grade, July 2005.
Program Committee Member, The 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06),  Santa Barbara, California, March  2006.
Program Committee Member, The 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas,  September/October 2005.
Autonomous Flight, Vanderbilt Embedded Computing Platform for Autonomous Vehicles
NSF CAREER Award: Computation Platform for the Design of Hybrid Systems.
Also appears in:
Vanderbilt Engineer Wins Early CAREER Development Award from NSF, Vanderbilt Register, April 2005
News from Vanderbilt, April 2005
Nashville Business Journal, April 2008
Chinese University Alumni Magazine, Issue 41, March 2005
Recent Awards and Honors Received, Department of Electrical Engineering, CUHK
News, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS)

Class Notes, College of Engineering, University of California at Berkeley, Summer 2005
CDC-ECC 2005 Associate Editors, IEEE International Conference on Decision and Control, Seville, Spain, December 12-15, 2005.
EECE 353-1 Real-Time Systems, Spring 2005.
EECS 257-1 Control Systems I, Fall 2004.
Associated Faculty, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS).
ISIS: Improving 'Smart' Systems from Cell Phones to Jet Planes, Vanderbilt Engineering News, Volume 45, Number 1, 2004. Also, featured in the EECS Newspage, EECS Department, UC Berkeley, Spring 2004.
EECS 396-1 Hybrid and Embedded Systems: Computation, Spring 2004.
International Scientific Committee Member, International Embedded and Hybrid Systems Conference, Singapore, April 12-15, 2005.
Publicity Chair, 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04),  University of Pennsylvania, Pennsylvania, March  2004.
A Childhood Love of Remote-Controlled Cars Leads to Career in Robotics, Vanderbilt Register, September 22-October 5, 2003.  Also, featured in the EECS Newspage, EECS Department, UC Berkeley, Fall 2003.
EECS 291/395 Embedded Control Systems Design, Fall 2003.
Founding Member, IEEE Robotics and Automation Society Technical Committee on: Networked Robots, Chaired by Ken Goldberg and Roland Siegwart, May 2001.
Pilotless Chopper Finds Its Own Way - Berkeley Researchers Build Flying Machine,
The Daily Californian, UC Berkeley, August 28, 2002.
Eye In The Sky,
Berkeley Engineering Lab Notes, Volume 2, No 6, August 2002.
Founding Project Leader, Berkeley Aerial Robots (BEAR), Robotics and  Intelligent Machines Laboratory,  EECS Department, UC Berkeley. 


Information

EECS Office Address
376 Jacobs Hall
400 24th Avenue South
Nashville, TN 37212
USA

Phone: (615) 322-2338
Fax: (615) 343-6702
Email: john.koo@vanderbilt.edu
EECS Express Mail Address
EECS Department
Vanderbilt University
376 Jacobs Hall
400 24th Avenue South
Nashville, TN 37212
USA
EECS Postal Address
EECS Department
Vanderbilt University
Box 1824, Station B
Nashville, TN 37235
USA
ISIS Office Address
2015 Terrace Place
Nashville, TN 37203
USA

Phone: (615) 322-8755
Fax: (615) 343-7440
ISIS Postal Address
ISIS
Vanderbilt University
Box 351829, Station B
Nashville, TN 37235
USA
Laboratory Address
EECS Department
Vanderbilt University
337 Featheringill Hall
400 24th Avenue South
Nashville, TN 37212
USA
Live view from the Featheringill Hall
 
Brief Bio
T. John Koo received the B.Eng. degree in Electronic Engineering and the M.Phil. degree in Information Engineering from the Chinese University of Hong Kong in 1992 and 1994, respectively, and the Ph.D degree in Electrical Engineering from the University of California at Berkeley in 2000.

Since August 2003, he has been an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) and the Institute for Software Integrated Systems (ISIS) at Vanderbilt University. He is an Associated Faculty of the National Science Foundation  ITR Center for Hybrid and Embedded Software Systems (CHESS).  He was a Visiting Faculty in the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley in 2002. In 2001, he held a Research Specialist position in the Electronics Research Laboratory of the University of California at Berkeley. He was a Postdoctoral Fellow in the Department of Electrical Engineering of the University of Pennsylvania in 2000. In 1998, he held a Consultant position at the Stanford Research Institute International, Menlo Park, CA. From 1995 to 2002, he was the founder and project leader of the Berkeley Aerial Robot project. In 1994, he was a Graduate Research Fellow in the Signal and Image Processing Institute of the University of Southern California. His research interests include embedded software, hybrid systems, nonlinear control theory, and robotics with applications to wireless sensor networks, power electronics, and networks of autonomous vehicles.

Dr. Koo received the Nation Science Foundation Faculty Early Career Development (CAREER) Award in 2005 and the Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the Chinese University of Hong Kong, in 1994. He was the Associate Editor of the IEEE International Conference on Decision and Control, Seville, Spain, 2005. He was the program committee member of the the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06) and the 9th International Workshop on Software and Compilers for Embedded Systems. He was the Publicity Chair of the International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Philadelphia, PA, 2004. Dr. Koo was the Chair-US and Speaker of the Workshop on Hybrid and Embedded Systems: Technologies and Applications, Hong Kong Science and Technology Parks Corporation and Department of Automation and Computer-Aided Engineering, the Chinese University of Hong Kong in 2006. He is the Guest Editor of the Special Issue on "Networked Embedded Hybrid Control Systems," Asian Journal of Control. He is a senior member of IEEE and a member of Sigma Xi.


Curriculum Vitae
 
 
Chinese Name


Meeting Schedule

February 21 - 22, 2006 Workshop on Hybrid and Embedded Systems: Technologies and Applications, Hong Kong
February 23, 2006 International Embedded Systems Workshop, Shantou University
March 29-31 2006 The 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06), Santa Barbara, California
June 21-23 US National Science Foundation and the EU/IST, Helsinki, Finland
July 18-21, 2006 Asian Control Conference,  Bali, Indonesia
July, 2006 European Conference on Model Driven Architecture -Foundations and Applications
October 4-6, 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD), Munich, Germany
October 22-25, 2006 The 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea
October 23-26, 2006 Fourth international symposium on Automated Technology for Verification and Analysis (ATVA), Beijing, China
December 13-15, 2006 IEEE International Conference on Decision and Control (CDC), San Diego
January 23-26, 2007 The 12th Asia and South Pacific Design Automation Conference (ASP-DAC) , Yokohama, Japan
March 24 - April 1, 2007 The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Braga, Portugal
May 30-June 1, 2007 The 6th International Conference on Control and Automation (ICCA2007), Guangzhou, China
April 3-5, 2007 The 10th Conference on Hybrid Systems: Computation and Control  (HSCC'10), Pisa, Italy


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

eachLab ReachLab: Computation Platform for the Design and Analysis of Hybrid Systems
Vanderbilt Embedded Computing Platform for Autonomous Vehicles


Students

Current
Graham Hemingway, CS, PhD Student Peter Humke, EE, PhD Student
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
ReachLab: Computation Platform for the Analysis of Hybrid Automata (Poster)
The 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06), Santa Barbara, California, March 2006.

N. Kandasamy, F. Aloul, T. John Koo
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots
In the Proceedings of 2006 IEEE International Conference on Robotics and Automation, Orlando, Florida, May 15-19, 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.

T. J. Koo
Algorithmic Approach for the Design and Analysis of High-Confidence Medical Device Systems

High Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, June 2-3, 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
ACM Transactions of Embedded Computing Systems, Special Issue on Education, 2005.


Thesis

T. J. Koo, supervised by S. S. Sastry
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
 
T. J. Koo, supervised by C. P. Kwong
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
 
T. J. Koo, supervised by T. C. Choy
Micro-controller Based Controller for the Electrical Wheelchair
Bachelor Thesis, B.Eng., Electronic Engineering, The Chinese University of Hong Kong, 1992
 
 
Journal Paper/Book Chapter

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
ACM Transactions of Embedded Computing Systems, Special Issue on Education, 2005.
 
Matthew Senesky, Gabriel Eirea, and T. John Koo
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.
 
B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. Sangiovanni-Vincentelli, S. Sastry
Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles
The Proceedings of the IEEE, Vol. 91, No. 1, January 2003.
 
T. J. Koo, J. Liebman, C. Ma, B. Horowitz, A. Sangiovanni-Vincentelli, and S. Sastry
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.
 
T. J. Koo, S. Sastry
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.
 
T. J. Koo, G. J. Pappas, and S. Sastry
Multi-Modal Control of Constrained Nonlinear Systems
Software-Enabled Control: Information Technology for Dynamical Systems, Tariq Samad and Gary Balas (Eds.), IEEE Press, 2002
 
T. J. Koo, J. Liebman, C. Ma, and S. Sastry
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.
 
T. J. Koo, G. J. Pappas, and S. Sastry
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.
 
T. J. Koo
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.
 
O. Shakernia, Y. Ma, T. J. Koo, and S. Sastry
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.
 
M. Egerstedt, T. J. Koo, F. Hoffmann, S. Sastry
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.
 
F. Hoffmann, T. J. Koo, O. Shakernia
Evolutionary Design of a Helicopter Autopilot
Advances in Soft Computing: Engineering Design and Manufacturing, pp. 201-214, Springer-Verlag, 1999.
 
T. J. Koo
Adaptive Fuzzy Controller with Model-following Capability
The Future Directions of Fuzzy Theory and Systems, Chapter 9, World Scientific, 1995.
 
T. J. Koo
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.
 
Conference Paper

N. Kandasamy, F. Aloul, T. John Koo
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots
In the Proceedings of the 2006 IEEE International Conference on Robotics and Automation, Orlando, Florida, May 15-19, 2006.

T. J. Koo and H. Su
A Computational Approach for Estimating Stability Regions
In the Proceedings of 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.

N. Kandasamy, F. Aloul, T. John Koo
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots
In the Proceedings of the 2006 IEEE International Conference on Robotics and Automation,  Orlando, Florida, May 15-19, 2006.

T. J. Koo
Algorithmic Approach for the Design and Analysis of High-Confidence Medical Device Systems

High Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, June 2-3, 2005.

S. Zelinski, T. J. Koo and S. Sastry
Hybrid System Design For Formations of Autonomous Vehicles
In Proceedings of  the IEEE Conference on Decision and Control, Hawaii, December 2003.

T. J. Koo and S. Sastry
Hybrid Control of Unmanned Aerial Vehicles for Autonomous Landing
In Proceedings of 2nd AIAA "Unmanned Unlimited" Systems, Technologies, and Operations-Aerospace, Land, and Sea Conference, San Diego, California, September 2003.

T. J. Koo, S. Zelinski, and S. Sastry
Formation Reconfiguration for Autonomous Vehicles
In Proceedings of AHS 59th Annual Forum and Technology Display "Vertical Flight Transformations", Phoenix, Arizona, May 2003.

S. Zelinski, T. J. Koo, and S. Sastry
Optimization-based Formation Reconfiguration Planning For Autonomous Vehicles
In Proceedings of International Conference on Robotics and Automation, Taipei, Taiwan, May 2003.
 
S. Coleri, M. Ergen, and T. J. Koo
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.
 
B. Horowitz, J. Liebman, C. Ma, R. Tal, T. J. Koo, T. A. Henzinger, and S. S. Sastry
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.
 
T. J. Koo
Hierarchical System Architecture for Multi-Agent Multi-Modal Systems
In Proceedings of IEEE Conference on Decision and Control, Orlando, FL, December 2001.
 
T. J. Koo, G. J. Pappas, and S. Sastry
Multi-Modal Control of Systems with Constraints
In Proceedings of IEEE Conference on Decision and Control, Orlando, FL, December 2001.
 
A. Pant, P. Seiler, T. J. Koo, and K. Hedrick
Mesh Stability of Unmanned Aerial Vehicle Clusters
In Proceedings of American Control Conference, Arlington, Virginia, June 2001.
 
T. J. Koo, and S. M. Shahruz
Formation of a Group of Unmanned Aerial Vehicles (UAVs)
In Proceedings of American Control Conference, Arlington, Virginia, June 2001.
 
B. Sinopoli, M. Aicheli, G. Donato, T. J. Koo
Vision Based Navigation for an Unmanned Aerial Vehicle
In Proceedings of IEEE International Conference on Robotics and Automation, Seoul, Korea, May 2001.
 
T. J. Koo, S. Sastry
Differential Flatness Based Full Authority Helicopter Control Design
In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999.
 
Omid Shakernia, Yi Ma, John Koo, Joao Hespanha, Shankar Sastry
Vision Guided Landing of an Unmanned Air Vehicle
In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999.
 
J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. S. Sastry, E. A. Lee
Hierarchical Hybrid System Simulation
In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999.
 
M.Egerstedt, J.Koo, F.Hoffmann and S.Sastry
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
 
T. J. Koo, S. Sastry
UAV Trajectory Generation with Switching on Flat Outputs
In Proceedings of IEEE Hong Kong Symposium on Robotics and Control, Hong Kong, July 1999.
 
T. J. Koo, B. Sinopoli, A. Sangiovanni-Vincentelli, S. Sastry
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.
 
T. J. Koo, D. H. Shim, O. Shakernia, B. Sinopoli, Y. Ma, F. Hoffmann, S. Sastry
Hierarchical Hybrid System Design on Berkeley UAV
International Aerial Robotics Competition, Richland, Washington, USA, August 1998.
 
T. J. Koo, S. Sastry
Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization
In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998.
 
H. Shim, T. J. Koo, F. Hoffmann, S. Sastry
A Comprehensive Study on Control Design of Autonomous Helicopter
In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998.
 
T. J. Koo, F. Hoffmann, B.Sinopoli, S. Sastry
Hybrid Control of An Autonomous Helicopter
In Proceedings of IFAC Workshop on Motion Control, Grenoble, France, Septemeber 1998.
 
T. J. Koo, Y. Ma, G. J. Pappas, C. J. Tomlin
SmartATMS: A Simulator for Air Traffic Management Systems
In Proceedings of Winter Simulation Conference, Atlanta, Georgia, USA, 1997.
 
K. S. Mostov, A. A. Soloviev, T. J. Koo
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 .
 
K. S. Mostov, A. A. Soloviev, T. J. Koo
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 .
 
T. J. Koo
Construction of Fuzzy Linguistic Model
In Proceedings of IEEE Conference on Control and Decision, Kobe, Japan, 1996.
T. J. Koo
Model Reference Adaptive Fuzzy Control of Robot Manipulator
In Proceedings of IEEE Conference on Systems, Man and Cybernetics, Vancouver, 1995.
 
T. J. Koo
Adaptive Fuzzy Manipulator Control
In Proceedings of First Asian Fuzzy Systems Symposium, Singapore, 1993.
 
T. J. Koo, T. C. Choy
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.