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|
|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.|
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Showing items related by title, author, creator and subject.
Esteinou Madrid, Javier (Universidad de Sevilla, 2001)
La incorporación de los medios de comunicación y las nuevas tecnologías de información al aparato gubernamental ha aumentado ...
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 ...
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 ...