Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models

DOI10.1145/3575870.3587125arXiv2303.14048MaRDI QIDQ6202087FDOQ6202087

Authors: Matthias Függer, Thomas Nowak, Ulrich Schmid 

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Abstract: Thresholded mode-switched ODEs are restricted dynamical systems that switch ODEs depending on digital input signals only, and produce a digital output signal by thresholding some internal signal. Such systems arise in recent digital circuit delay models, where the analog signals within a gate are governed by ODEs that change depending on the digital inputs. We prove the continuity of the mapping from digital input signals to digital output signals for a large class of thresholded mode-switched ODEs. This continuity property is known to be instrumental for ensuring the faithfulness of the model w.r.t. propagating short pulses. We apply our result to several instances of such digital delay models, thereby proving them to be faithful.

Full work available at URL: https://arxiv.org/abs/2303.14048

zbMATH Keywords

continuitythresholding operatorfaithfulnesscircuit delay modelsmode-switched ordinary differential equations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Ordinary differential equations and dynamical systems
• Title not available (Why is that?)
• Hybrid I/O automata.
• Unfaithful Glitch Propagation in Existing Binary Circuit Models

This page was built for publication: Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202087)