State-based encoding of large asynchronous controllers
Visualitza/Obre
10.1109/ACCESS.2018.2872678
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/123738
Tipus de documentArticle
Data publicació2018-09-28
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteMODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA (AEI-TIN2017-86727-C2-1-R)
Abstract
State encoding is one of the fundamental problems in the synthesis of asynchronous controllers. The requirement for a correct hazard-free implementation imposes severe constraints on the way encoding signals can be inserted in the specification of a controller. Even though some specification formalisms, such as Burst-mode machines or Signal Transition Graphs, enable to specify behaviors at the event level, the state encoding methods that provide the best good-quality solutions work at the state level. This imposes a severe limitation on the size of the controllers that can be handled by these methods. This paper proposes a method to solve the encoding problem for large asynchronous controllers using statebased methods. It is based on an iterative process of projection and re-composition that reduces the size specification by hiding signals, partially solves the encoding problem at the state level and re-composes the original specification using a synchronous product. The process iterates until all encoding conflicts have been solved. The method is proved to preserve the behavior of the specification (branching bisimilarity) and shown to be capable of providing good-quality solutions for controllers of more than 100 signals and 106 states.
CitacióMoreno, A., Cortadella, J. State-based encoding of large asynchronous controllers. "IEEE access", 28 Setembre 2018, vol. 6, p. 61503-61518.
ISSN2169-3536
Versió de l'editorhttps://ieeexplore.ieee.org/document/8476293
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
08476293.pdf | Versió publicada pel l'editor. En accés obert a IEEE. | 897,8Kb | Visualitza/Obre |