IEICE TRANSACTIONS on Fundamentals
A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations
Summary :
We propose a new tableau construction which builds an FSM, instead of a Kripke structure, from a formula in a class of temporal logic named ASTL. This FSM is a maximal model of the formula under the preorder derived from simulation relations. Additionally, we propose a method using the tableaus to build controllers in a certain topology of interconnected FSMs. We can use ASTL to describe the desired behaviors of the control system. This method is applicable to generating digital circuits. Moreover, this method accepts a wider range of specifications than conventional methods.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E90-A No.4 pp.836-846
- Publication Date
- 2007/04/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1093/ietfec/e90-a.4.836
- Type of Manuscript
- Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yoshisato SAKAI, "A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations" in IEICE TRANSACTIONS on Fundamentals,
vol. E90-A, no. 4, pp. 836-846, April 2007, doi: 10.1093/ietfec/e90-a.4.836.
Abstract: We propose a new tableau construction which builds an FSM, instead of a Kripke structure, from a formula in a class of temporal logic named ASTL. This FSM is a maximal model of the formula under the preorder derived from simulation relations. Additionally, we propose a method using the tableaus to build controllers in a certain topology of interconnected FSMs. We can use ASTL to describe the desired behaviors of the control system. This method is applicable to generating digital circuits. Moreover, this method accepts a wider range of specifications than conventional methods.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e90-a.4.836/_p
Copy
@ARTICLE{e90-a_4_836,
author={Yoshisato SAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations},
year={2007},
volume={E90-A},
number={4},
pages={836-846},
abstract={We propose a new tableau construction which builds an FSM, instead of a Kripke structure, from a formula in a class of temporal logic named ASTL. This FSM is a maximal model of the formula under the preorder derived from simulation relations. Additionally, we propose a method using the tableaus to build controllers in a certain topology of interconnected FSMs. We can use ASTL to describe the desired behaviors of the control system. This method is applicable to generating digital circuits. Moreover, this method accepts a wider range of specifications than conventional methods.},
keywords={},
doi={10.1093/ietfec/e90-a.4.836},
ISSN={1745-1337},
month={April},}
Copy
TY - JOUR
TI - A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 836
EP - 846
AU - Yoshisato SAKAI
PY - 2007
DO - 10.1093/ietfec/e90-a.4.836
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E90-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 2007
AB - We propose a new tableau construction which builds an FSM, instead of a Kripke structure, from a formula in a class of temporal logic named ASTL. This FSM is a maximal model of the formula under the preorder derived from simulation relations. Additionally, we propose a method using the tableaus to build controllers in a certain topology of interconnected FSMs. We can use ASTL to describe the desired behaviors of the control system. This method is applicable to generating digital circuits. Moreover, this method accepts a wider range of specifications than conventional methods.
ER -
English
