11 citations · 11 across the 2 of their papers we have counts for
2 papers
eess.SY2024
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
Arman Ferdowsi, Matthias Függer, Thomas Nowak +2
Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied d…
cs.DC2012★ 11 cited
Agreement in Directed Dynamic Networks
Martin Biely, Peter Robinson, Ulrich Schmid
We study distributed computation in synchronous dynamic networks where an omniscient adversary controls the unidirectional communication links. Its behavior is modeled as a sequenc…