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

DOI10.1145/3575870.3587125MaRDI QIDQ6202087zbMATH OpenFDO

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)

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)

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.

Cites work

• scientific article; zbMATH DE number 41285 (Why is no real title available?)
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Hybrid I/O automata.
• Ordinary differential equations and dynamical systems
• 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)