Decentralized Supervisory Control of Timed Discrete Event Systems. - Masashi Nomura; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations. - Katsuyuki Kimura; Masashi Nomura; Shigemasa Takai (WODES, 2012)

Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set. - Masashi Nomura; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems. - Masashi Nomura; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems. - Masashi Nomura; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)