Tak-John Koo

According to our database, Tak-John Koo authored at least 16 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

A Semantic Anchoring Infrastructure for the Design of Embedded Systems.

Graham Hemingway, Hang Su, Kai Chen, Tak-John Koo

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots.

Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.

Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.

Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt

ACM Trans. Embed. Comput. Syst., 2005

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.

Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo

Proceedings of the Automated Technology for Verification and Analysis, 2005

2003

Platform-based embedded software design and system integration for autonomous vehicles.

Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry

Proc. IEEE, 2003

Optimization-based formation reconfiguration planning for autonomous vehicles.

Shannon Zelinski, Tak-John Koo, Shankar Sastry

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

Hybrid Modelling and Control of Power Electronics.

Matthew Senesky, Gabriel Eirea, Tak-John Koo

Proceedings of the Hybrid Systems: Computation and Control, 2003

Hybrid system design for formations of autonomous vehicles.

Shannon Zelinski, Tak-John Koo, Shankar Sastry

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems.

Tak-John Koo, Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.

Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Vision Based Navigation for an Unmanned Aerial Vehicle.

Bruno Sinopoli, Mario Micheli, Gianluca Donato, Tak-John Koo

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Mode Switching Synthesis for Reachability Specifications.

Tak-John Koo, George J. Pappas, Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.

Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry

Proceedings of the Embedded Software, First International Workshop, 2001

Multi-modal control of systems with constraints.

Tak-John Koo, George J. Pappas, Shankar Sastry

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1999

Path Planning and Flight Controller Scheduling for an Autonomous Helicopter.

Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999