|
| Keyword : control synthesis
|
A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations
Yoshisato SAKAI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/04/01
Vol. E90-A
No. 4 ;
pp. 836-846
Type of Manuscript:
Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
Category:
Keyword:
temporal logic, tableau, control synthesis, simulation relation, | | | Summary | Full Text:PDF(239.8KB) | |
|
|
