Towards the removal of synchronous behavior of events in automata

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)


    In this paper an algorithm is proposed which removes the synchronous behavior of events in automata. This is done such that a modular implementation is possible in any sequential programming language. The goal is to find automata which resemble the original automata, but do not contain synchronizing events. Moreover, these new automata, when put in parallel, must behave the same as the original system. The algorithm imposes three steps to end up with a transformed automata network. The final result yields automata which have exactly one edge for each event and each event is unique to a certain automaton. The placement of events in the final result is based on a partitioning of events. To shown applicability of the algorithm, it has been applied to a large industrial-sized system. For this system a controller is made, based on the automata model of the requirements and specifications.

    Original languageEnglish
    Title of host publication12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104
    Number of pages7
    Publication statusPublished - 2014
    Event12th International Workshop on Discrete Event Systems (WODES 2014) - Cachan, France
    Duration: 14 May 201416 May 2014
    Conference number: 12

    Publication series

    NameIFAC Proceedings Volumes
    ISSN (Print)1474-6670


    Workshop12th International Workshop on Discrete Event Systems (WODES 2014)
    Abbreviated titleWODES 2014
    Internet address


    • Algorithm
    • Code generation
    • Hybrid automata
    • Normalization
    • Synchronization


    Dive into the research topics of 'Towards the removal of synchronous behavior of events in automata'. Together they form a unique fingerprint.

    Cite this