Article
State merging and state splitting via state assignment: a new FSM synthesis algorithm
Author/s | Avedillo de Juan, María José
![]() ![]() ![]() ![]() ![]() ![]() Quintana Toledo, José María ![]() ![]() ![]() ![]() ![]() ![]() ![]() Huertas Díaz, José Luis |
Department | Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo |
Publication Date | 1994 |
Deposit Date | 2018-06-26 |
Published in |
|
Abstract | The authors describe a state assignment algorithm for FSMs which produces an assignment of non-necessarily distinct, and eventually, incompletely specified codes. In this new approach, state-reduction and state assignment ... The authors describe a state assignment algorithm for FSMs which produces an assignment of non-necessarily distinct, and eventually, incompletely specified codes. In this new approach, state-reduction and state assignment are dealt with concurrently, and a restricted state splitting technique is explored. The algorithm is particularly appropriate for machines with compatibility relations among its states because the potentials of state merging are exploited during the state assignment step. The input to SMAS, the program implementing the algorithm, is a symbolic cover of the FSM. The output is a Boolean representation of both next state and output functions suitable to minimise with ESPRESSO. The machines in the MCNC benchmark set are used to test the new algorithm and to compare it with a well known state assignment program. |
Citation | Avedillo de Juan, M.J., Quintana Toledo, J.M. y Huertas Díaz, J.L. (1994). State merging and state splitting via state assignment: a new FSM synthesis algorithm. IEE Proceedings Computers and Digital Techniques, 141 (4), 229-237. |
Files | Size | Format | View | Description |
---|---|---|---|---|
State merging and state splitt ... | 725.2Kb | ![]() | View/ | |
This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Related items
Showing items related by title, author, creator and subject.
-
Article
Unresponsive wakefulness syndrome: a new name for the vegetative state or apallic syndrome
Laureys, Steven; Celesia, Gaston G.; Cohadon, François; Lavrijsen, Jan; León Carrión, José; Sannita, Walter G.; Sazbon, Leon; Schmutzhard, Erich; Wild, Klaus R. von; Zeman, Adam; Dolce, Giuliano; European Task Force on Disorders of Consciousness (BioMed Central, 2010)Some patients awaken from coma (that is, open the eyes) but remain unresponsive (that is, only showing reflex movements ...
-
Article
Estado de Bienestar Social: características generales, obstáculos y desafíos en América Latina
Godinho Delgado, Mauricio; Vasconcelos Porto, Lorena (Universidad de Sevilla, 2021)Este artículo busca analizar el modelo organizativo de la sociedad política y la sociedad civil que se hizo prevalente en ...
-
Article
Distributed Robust Bilinear State Estimation for Power Systems with Nonlinear Measurements
Zheng, Weiye; Wenchuan, Wu; Gómez Expósito, Antonio; Zhang, Boming; Guo, Ye (IEEE Transactions on Power Systems, 2017)This paper proposes a fully distributed robust bilinear state-estimation (D-RBSE) method that is applicable to multi-area ...