Towards the removal of synchronous behavior of events in automata

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

    5 Citations (Scopus)

    Abstract

    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
    Pages188-194
    Number of pages7
    DOIs
    Publication statusPublished - 2014
    Event12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 - Cachan, France
    Duration: 14 May 201416 May 2014

    Publication series

    NameIFAC Proceedings Volumes
    PublisherElsevier
    Number2
    Volume47
    ISSN (Print)1474-6670

    Conference

    Conference12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104
    CountryFrance
    CityCachan
    Period14/05/1416/05/14

    Keywords

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

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

  • Cite this

    Swartjes, L., Van Beek, D. A., & Reniers, M. A. (2014). Towards the removal of synchronous behavior of events in automata. In 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 (pp. 188-194). (IFAC Proceedings Volumes; Vol. 47, No. 2). https://doi.org/10.3182/20140514-3-FR-4046.00089