The Inertial Delay Buffer: A Study in Timed Automata

Title: The Inertial Delay Buffer: A Study in Timed Automata

Research Question: How can the differential calculus be applied to study the inertial delay buffer, a fundamental concept in the field of timed automata?

Methodology: The authors used the pseudoboolean differential calculus to analyze the inertial delay buffer. They defined signals, signal functions, and derivatives, which are used to model the behavior of the buffer. They then provided formal definitions and main results related to the inertial delay buffer.

Results: The authors presented a formal definition of the inertial delay buffer and derived the main results. They showed that the inertial delay buffer can be modeled using the non-deterministic and deterministic versions of the signals and derivatives.

Implications: The application of the differential calculus to the study of the inertial delay buffer can provide a deeper understanding of the behavior of timed automata. This can lead to improved design and analysis of digital circuits and systems, with potential applications in various fields such as computer science, electrical engineering, and control theory.

Conclusion: The authors concluded that the differential calculus can be used to model the inertial delay buffer in both non-deterministic and deterministic versions. This can help in understanding the behavior of timed automata and has implications for the design and analysis of digital circuits and systems.

Link to Article: https://arxiv.org/abs/0110064v1 Authors: arXiv ID: 0110064v1