论文信息 - Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems - 字舞流文

Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems

Shigemasa Takai | Nam Tung Vu

[1] Shigemasa Takai,et al. Characterization of co-observable languages and formulas for their super/sublanguages , 2005, IEEE Transactions on Automatic Control.

[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[3] P. S. Thiagarajan,et al. Branching time controllers for discrete event systems , 2002, Theor. Comput. Sci..

[4] Shigemasa Takai,et al. Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations , 2014, IEICE Trans. Inf. Syst..

[5] R. Kumar,et al. Control of Nondeterministic Discrete Event Systems for Simulation Equivalence , 2007, IEEE Transactions on Automation Science and Engineering.

[6] Igor Walukiewicz,et al. Games for synthesis of controllers with partial observation , 2003, Theor. Comput. Sci..

[7] Paulo Tabuada,et al. Controller synthesis for bisimulation equivalence , 2007, Syst. Control. Lett..

[8] Takai Shigemasa,et al. Similarity Control of Transition Systems by Output Feedback , 2012 .

[9] Paulo Tabuada. Open Maps, Alternating Simulations and Control Synthesis , 2004, CONCUR.