×
Author ID: koo.t-john Recent zbMATH articles by "Koo, T. John"
Published as: Koo, T. John; Koo, T. J.

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 13 times in 12 Documents Cited by Year
Hybrid modelling and control of power electronics. Zbl 1032.93502
Senesky, Matthew; Eirea, Gabriel; Koo, T. John
4
2003
Bisimulation based hierarchical system architecture for single-agent multi-modal systems. Zbl 1044.93502
Koo, T. John; Sastry, Shankar
3
2002
Mode switching synthesis for reachability specifications. Zbl 0996.93501
Koo, T. John; Pappas, George J.; Sastry, Shankar
3
2002
Path planning and flight controller scheduling for an autonomous helicopter. Zbl 0925.93745
Egerstedt, M.; Koo, T. J.; Hoffmann, F.; Sastry, S.
1
1999
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
A framework for multi-robot motion planning from temporal logic specifications. Zbl 1245.68227
Koo, T. John; Li, Rongqing; Quottrup, Michael M.; Clifton, Charles A.; Izadi-Zamanabadi, Roozbeh; Bak, Thomas
1
2012
A framework for multi-robot motion planning from temporal logic specifications. Zbl 1245.68227
Koo, T. John; Li, Rongqing; Quottrup, Michael M.; Clifton, Charles A.; Izadi-Zamanabadi, Roozbeh; Bak, Thomas
1
2012
Hybrid modelling and control of power electronics. Zbl 1032.93502
Senesky, Matthew; Eirea, Gabriel; Koo, T. John
4
2003
Bisimulation based hierarchical system architecture for single-agent multi-modal systems. Zbl 1044.93502
Koo, T. John; Sastry, Shankar
3
2002
Mode switching synthesis for reachability specifications. Zbl 0996.93501
Koo, T. John; Pappas, George J.; Sastry, Shankar
3
2002
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
Path planning and flight controller scheduling for an autonomous helicopter. Zbl 0925.93745
Egerstedt, M.; Koo, T. J.; Hoffmann, F.; Sastry, S.
1
1999

Citations by Year