Shinzo Kodama

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Shigemasa Takai, Shinzo Kodama
Formulas for the extremal controllable sequences in timed-event graphs. IEEE Trans. Autom. Control. 43 (10) (1998)
Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
Handles and Reachability Analysis of Free Choice Nets. Application and Theory of Petri Nets (1995)
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
Stabilization and blocking in state feedback control of discrete event systems. Discret. Event Dyn. Syst. 5 (1) (1995)
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
Static-state feedback control of discrete-event systems under partial observation. IEEE Trans. Autom. Control. 40 (11) (1995)
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
The infimal controllable and N-observable superpredicate of a given predicate. IEEE Trans. Autom. Control. 40 (7) (1995)
Masato Nakagawa, Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
Equivalent Net Abstraction and Firing Sequence Preservation. ISCAS (1995)
Dong-Ik Lee, Tadaaki Nishimura, Sadatoshi Kumagai, Shinzo Kodama
Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. ISCAS (1993)
Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets. ISADS (1993)