Ichiro Suzuki

Sorry, temporarily (permanently?) under construction. I've been just too busy to maintain this page.

If you are an MS student with Non-Thesis Option or a UG student interested in working on a one-semester, three-credit project suitable for 262-999 or 262-699 in the areas of computer graphics, robotics, digital imaging, or computers in art and music in general, please contact me at [my last name in lowercase letters] at uwm dot edu.

Selected Publications (Please ask for reprints or pdf files if you do not find them here.)

C. Cheng, E. Mc Dermid and I. Suzuki, ``A unified approach to finding good stable matchings in the hospitals/residents setting,'' Theoretical Computer Science, Vol. 400, 2008, pp. 84-99.

A. Dumitrescu, H. Kok, I. Suzuki and P. Zylinski, ``Vision-based pursuit-evasion in a grid,'' in Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), Sweden, July 2008.

A. Dumitrescu, I. Suzuki and P. Zylinski, ``Offline variants of the `Lion and Man' problem -- Some problems and techniques for measuring crowdedness and for safe path planning,'' Theoretical Computer Science, Vol. 399, June 2008, pp. 220-235.

I. Suzuki and P. Zylinski, ``Capturing an evader in a building - Randomized and deterministic algorithms for mobile robots,'' IEEE Robotics & Automation Magazine, Vol. 15, Issue 2, June 2008, pp. 16-26.

A. Dumitrescu, I. Suzuki, P. Zylinski, ``Offline variants of the `lion and man' problem,'' in Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, South Korea, June 2007, pp. 102-111.

E. Mc Dermid, C. Cheng and I. Suzuki, ``Hardness results on the man-exchange stable marriage problem with short preference lists,'' Information Processing Letters, Vol. 101, No. 1, January 2007, pp. 13-19.

T. Kameda, M. Yamashita and I. Suzuki, ``On-line polygon search by a seven-state boundary 1-searcher,'' IEEE Transactions on Robotics, Vol. 22, No. 3, June 2006, pp. 446-460.

M. Yamashita, I. Suzuki and T. Kameda, ``Searching a polygonal region by a group of stationary k-searchers,'' Information Processing Letters, Vol. 92, 2004, pp. 1-8.

T. Kameda, M. Yamashita and I, Suzuki, ``On-line polygon search by a seven-state boundary 1-searcher,'' IEEE Transactions on Robotics, Vol. 22, No. 3, June 2006, pp. 446-460.

A. Dumitrescu, I. Suzuki and M. Yamashita, ``Formations for fast locomotion of metamorphic robotic systems,'' The International Journal of Robotics Research. Vol. 23, No. 6, June 2004, pp. 583-593. ps

A. Dumitrescu, I. Suzuki and M. Yamashita, ``Motion planning for metamorphic systems: feasibility, decidability and distributed reconfiguration,'' IEEE Transactions on Robotics and Automation, Vol. 20, No. 3, 2004, pp. 409-418. ps

A. Dumitrescu, I. Suzuki and M. Yamashita, ``High speed formations of reconfigurable modular robotic systems,'' IEEE International Conference on Robotics and Automation (ICRA2002), Washington D.C., May 2002, pp. 123-128.

I. Suzuki, Y. Tazoe, M. Yamashita and T. Kameda, ``Searching a polygonal region from the boundary,'' International Journal of Computational Geometry & Applications, Vol. 11, No. 5, 2001, pp. 529-553. ps

M. Yamashita, H. Umemoto, I. Suzuki and T. Kameda, ``Searching for mobile intruders in a polygonal region by a group of mobile searchers,'' Algorithmica, Vol. 31, 2001, pp. 208-236. ps

Y. Asahiro, E.C.-H. Chang, A. Mali, I. Suzuki and M. Yamashita, ``A distributed ladder transportation algorithm for two robots in a corridor,'' in Proc. 2001 IEEE International Conference on Robotics and Automation (ICRA2001), Seoul, Korea, May 2001.

Y. Asahiro, E.C.-H. Chang, A. Mali, S. Nagafuji, I. Suzuki and M. Yamashita, ``Distributed motion generation for two omni-directional robots carrying a ladder,'' in Distributed Autonomous Robotic Systems 4, L.E. Parker, G. Bekey, J. Barhen Eds., Springer, October 2000, pp. 427-436.

Y. Asahiro, H. Asama, S. Fujita, I. Suzuki and M. Yamashita, ``Distributed algorithms for carrying a ladder by omnidirectional robots in near optimal time,'' in Sensor Based Intelligent Robots, H.I. Christensen, H. Bunke and H. Noltemeier, Eds., Lecture Notes in Artificial Intelligence, Vol. 1724, Springer Verlag, Heidelberg, Germany, December 1999, pp. 240-254.

H. Ando, Y. Oasa, I. Suzuki and M. Yamashita, ``Distributed memoryless point convergence algorithm for mobile robots with limited visibility,'' IEEE Transactions on Robotics and Automation, Vol. 15, No. 5, October 1999, pp. 818-828.

I. Suzuki and M. Yamashita, ``Distributed anonymous mobile robots - formation of geometric patterns,'' SIAM Journal on Computing, Vol. 28, No. 4, 1999, pp. 1347-1363.

Y. Asahiro, H. Asama, I. Suzuki and M. Yamashita, ``Improvement of distributed control algorithms for robots carrying an object,'' in Proceedings of 1999 IEEE International Conference on Systems, Man and Cybernetics, pp. VI 608-613, October 1999.

I. Suzuki, M. Yamashita, H. Umemoto and T. Kameda, ``Bushiness and a tight worst-case upper bound on the search number of a simple polygon,'' Information Processing Letters, Vol. 60, 1998, pp. 49-52.

Y. Fujita, S. Fujita, M. Yamashita, I. Suzuki and H. Asama, ``Learning-based automatic generation of collision avoidance algorithms for multiple autonomous mobile robots,'' in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS98), Victoria, Canada, pp. 1553-1558, October 1998.

N. Folwell, S. Guha and I. Suzuki, ``A practical algorithm for integer sorting on a mesh-connected computer,'' Journal of Parallel Algorithms and Applications, Vol. 12, 1997, pp. 265-278.

I. Suzuki and M. Yamashita, ``Agreement on a common x-y coordinate system by a group of mobile robots'' in Intelligent Robots: Sensing, Modeling and Planning, Bolles, Bunke and Noltemeier Eds., World Scientific, 1997, pp. 305-321.

Z. Chen, I. Suzuki, M. Yamashita, ``Time-optimal motion of two omnidirectional robots carrying a ladder under a velocity constraint,'' IEEE Transactions on Robotics and Automation 13. No. 5, October 1997, pp. 721-729.

S. Guha and I. Suzuki, ``Proximity problems for points on a rectilinear plane with rectangular obstacles,'' Algorithmica, Vol. 17, 1997, pp. 281-307.

Y. Oasa, I. Suzuki and M. Yamashita, ``A robust distributed convergence algorithm for autonomous mobile robots,'' in Proceedings of the 1997 IEEE International Conference on Systems, Man and Cybernetics, Orlando, Florida, pp. 287-292, October 1997.

S. Guha, D. Suri and I. Suzuki, ``Random probing to approximate medial axes and plan safe motion,'' in Proceedings of the 8th International Conference on Advanced Robotics (ICAR'97), Monterey, California, pp. 353-358, July 1997.

M. Yamashita, H. Umemoto, I. Suzuki and T. Kameda, ``Searching for mobile intruders in a polygonal region by a group of mobile searchers (Extended Abstract),'' in Proceedings of the 13th ACM Symposium on Computational Geometry, Nice, France, pp. 448-450, June 1997.

S. Guha, D. Suri and I. Suzuki, ``Planning safe motion for 2- and 3-DOF manipulators by computing an approximate medial axis of the free configuration space,'' in Proceedings of the 5th IEEE International Conference on Emerging Technologies and Factory Automation, Kauai, Hawaii, Vol. 2, pp. 467-474, November 1996.

T. Minami, I. Suzuki and M. Yamashita, ``Fusion of social law and super rules for coordinating the motion of mobile robots,'' in Proceedings of the 1996 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'96), Senri, Osaka, Japan, Vol. 3, pp. 1691-1698, November 1996.

J. Li, I. Suzuki and M. Yamashita, ``Periodic structure and liveness of Petri net rings,'' in Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics, Beijing, China, pp. 3180-3185, October 1996.

I. Suzuki and M. Yamashita, ``Distributed Anonymous Mobile Robots-Formation and Agreement Problems,'' in Proceedings of the 3rd International Colloquium on Structural Information and Communication Complexity (SIROCCO '96), Siena, Italy, June 1996, pp. 313-330.

I. Suzuki and M. Yamashita, ``Designing multi-link robot arms in a convex polygon,'' International Journal of Computational Geometry & Applications, Vol. 6, No. 4, 1996, pp. 461-486.

K. Sugihara and I. Suzuki, ``Distributed algorithms for formation of geometric patterns with many mobile robots,'' Journal of Robotic Systems, Vol. 13, No. 3, March 1996, pp. 127-139.

D. Crass, I. Suzuki and M. Yamashita, ``Searching for a mobile intruder in a corridor - The open edge variant of the polygon search problem,'' International Journal of Computational Geometry & Applications, Vol. 5, No. 4, December 1995, pp. 397-412.

J. Li, I. Suzuki and M. Yamashita, ``Decision problems related to structural induction for rings of fair Petri nets,'' in Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics, October 1995,

H. Ando, I. Suzuki and M. Yamashita, ``Formation and agreement problems for synchronous mobile robots with limited visibility,'' Proceedings of the 1995 IEEE International Symposium on Intelligent Control, August 1995, pp. 453-460.

J. Li, I. Suzuki and M. Yamashita, ``Fair Petri nets and structural induction for rings of processes,'' Theoretical Computer Science, Vol. 135, 1994, pp. 377-404.

J. Li, I. Suzuki and M. Yamashita, ``A new structural induction theorem for rings of temporal Petri nets,'' IEEE Transactions on Software Engineering 20, No. 2, February 1994, pp. 115-126.

I. Suzuki and M. Yamashita, ``Formation and agreement problems for anonymous mobile robots,'' in Proceedings of the 31st Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana, Illinois, October 1993, pp. 93-102.

I. Suzuki and M. Yamashita, ``Searching for a mobile intruder in a polygonal region,'' SIAM Journal on Computing 21, No. 5, October 1992, pp. 863-888.

J. Li, I. Suzuki and M. Yamashita, ``Structural induction for rings using temporal Petri nets,,'' in Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, Chicago, Illinois, October 1992, pp. 1730-1735.

J. Halpern and I. Suzuki, ``Clock synchronization and the power of broadcasting,'' Distributed Computing 5, No. 2, 1991, pp. 73-82.

I. Suzuki and M. Yamashita, ``Designing multi-link robot arms in a convex polygon,'' in Proceedings of the 29th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana, Illinois, October 1991, pp. 1043-1052.

K. Sugihara, I. Suzuki and M. Yamashita, ``The searchlight scheduling problem,'' SIAM Journal on Computing 19, No. 6, December 1990, pp. 1024-1040.

I. Suzuki, ``Formal analysis of the alternating bit protocol by temporal Petri nets,'' IEEE Transactions on Software Engineering 16, No. 11, November 1990, pp. 1273-1281.

D. Crass, I. Suzuki and M. Yamashita, ``The polygon search problem: Extended abstract,'' in Proceedings of the 28th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana, Illinois, October 1990, pp. 808-817.

J. Halpern and I. Suzuki, ``Clock synchronization and the power of broadcasting: Extended Abstract,'' in Proceedings of the 28th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana, Illinois, October 1990, pp. 588-597.

K. Sugihara and I. Suzuki, ``Distributed motion coordination of multiple mobile robots,'' in Proceedings of the 5th IEEE International Symposium on Intelligent Control, Philadelphia, Pennsylvania, September 1990, pp. 138-143.

I. Suzuki and H. Lu, ``Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter,'' IEEE Transactions on Computers 38, No. 5, May 1989, pp. 696-704.

K. Sugihara and I. Suzuki, ``Optimal algorithms for a pursuit-evasion problem in grids,'' SIAM Journal on Discrete Mathematics, Vol. 2, No. 1, February 1989, pp. 126-143.

I. Suzuki, ``Proving properties of a ring of finite state machines,'' Information Processing Letters, Vol. 28, July 1988, pp. 213-214.

I. Suzuki, Y. Motohashi, K. Taniguchi, T. Kasami and T. Okamoto, ``Specification and verification of decentralized daisy chain arbiters with omega-extended regular expressions,'' Theoretical Computer Science, Vol. 43, No. 2, 3, 1986, pp. 277-293.

I. Suzuki and T. Kasami, ``A distributed mutual exclusion algorithm,'' ACM Transactions on Computer Systems, Vol. 3, No. 4, November 1985, pp. 344-349.

I. Suzuki and T. Kasami, ``Three measures for synchronic dependence in Petri nets,'' Acta Informatica, Vol. 19, Facs. 4, September 1983, pp. 325-338.

I. Suzuki and T. Murata, ``A method for stepwise refinement and abstraction of Petri nets,'' Journal of Computer and System Sciences, Vol. 27, No. 1, August 1983, pp. 51-76.

Thanks!

Back to faculty page.