The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata
Serban E. Vlad
TL;DR
This paper investigates key properties of discrete-time asynchronous automata, including delay-insensitivity, hazard-freedom, semi-modularity, and conditions for reliable operation, to enhance understanding of their robust functioning.
Contribution
It introduces and analyzes the technical conditions ensuring good running and reliability of discrete-time asynchronous automata, emphasizing properties like delay-insensitivity and hazard-freedom.
Findings
Identifies conditions for delay-insensitivity in discrete automata
Establishes criteria for hazard-freedom and semi-modularity
Defines technical conditions for reliable operation
Abstract
The paper studies some important properties of the asynchronous (=timed) automata: the delay-insensitivity, the hazard-freedom, the semi-modularity and the technical condition of good running. Time is discrete.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · semigroups and automata theory · Petri Nets in System Modeling