Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty

Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty

Bibliographic Details
Main Authors:	Attiya, Hagit, Dwork, Cynthia, Lynch, Nancy A., Stockmeyer, Larry
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149166

Similar Items

Time Bounds for Real-time Process Control in the Presence of Time Uncertainty
by: Attiya, Hagit, et al.
Published: (2023)

Consensus in the Presence of Partial Synchrony
by: Dwork, Cynthia, et al.
Published: (2023)

Reaching Approximate Agreement in the Presence of Faults
by: Dolev, Danny, et al.
Published: (2023)

Reaching Approximate Agreement in the Presence of Faults
by: Dolev, Danny, et al.
Published: (2023)

Lower Bounds for Randomized Consensus under a Weak Adversary
by: Attiya, Hagit, et al.
Published: (2011)

Are Wait-free Algorithms Fast?
by: Attiya, Hagit, et al.
Published: (2023)

Stability and performance analysis in the presence of magnitude bounded real uncertainty
Published: (2003)

Reaching an Agreement for the Elimination of Child Labour from the Supply Chains
by: Haq, Md Zahurul, et al.
Published: (2020)

An Upper and Lower Bound for the Convergence Time of House-Hunting in Temnothorax Ant Colonies
by: Zhang, Emily, et al.
Published: (2022)

Reaching Consensus with uncertainty on a network
by: Fraser, Cameron S. R
Published: (2010)

The effect of externally set goals on reaching integrative agreements in competitive markets
by: Neale, Margaret A., et al.
Published: (2009)

Ellipsoidal bounds on state trajectories for discrete-time systems with linear fractional uncertainties
by: Kishida, Masako, et al.
Published: (2016)

The complexity of decision problems in automata theory and logic.
by: Stockmeyer, Larry Joseph
Published: (2005)

Optimal Clock Synchronization Under Different Delay Assumptions
by: Attiya, Hagit, et al.
Published: (2023)

Stability and performance in the presence of magnitude bounded real uncertainty : Riccati equation based state space approaches
Published: (2003)

Action Transducers and Timed Automata
by: Lynch, Nancy A., et al.
Published: (2023)

An algorithm for performance optimization in the presence of norm bounded structured uncertainty and its application to the system recovery after failure
Published: (2003)

Simulation Techniques for Proving Properties of Real-time Systems
by: Lynch, Nancy A.
Published: (2023)

Sharing Memory Robustly in Message-passing Systems
by: Attiya, Hagit, et al.
Published: (2023)

A decomposition approach for commodity pickup and delivery with time-windows under uncertainty
by: Marla, Lavanya, et al.
Published: (2014)

Optimal control in the presence of measurement uncertainties
by: Deyst, John J. (John Jacob)
Published: (2008)

Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems
by: Umeno, Shinya, et al.
Published: (2011)

Forward and Backward Simulations for Timing-based Systems
by: Lynch, Nancy A., et al.
Published: (2023)

The Real-time Cost of Timing Uncertainty: Consensus and Failure Detection
by: Ponzio, Stephen J.
Published: (2023)

Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
by: Lynch, Nancy A.
Published: (2023)

Reaching a consensus in multi-agent systems: a time invariant nonlinear rule
by: Saburov, Mansoor, et al.
Published: (2013)

Reaching a consensus in multi-agent systems : a time invariant nonlinear rule
by: Saburov, Mansoor, et al.
Published: (2013)

The resolution of investment uncertainty through time
by: Bierman, Harold., et al.
Published: (2009)

Entropic Energy-Time Uncertainty Relation
by: Coles, Patrick J., et al.
Published: (2019)

Entropic Energy-Time Uncertainty Relation
by: Lloyd, Seth
Published: (2020)

Reliable Communication Over Unreliable Channels
by: Afek, Yehuda, et al.
Published: (2023)

State vector estimation in the presence of measurement uncertainty
by: Ekchian, L. K. (Leon K.)
Published: (2005)

Feature Matching for Object Localization in the Presence of Uncertainty
by: Cass, Todd Anthony
Published: (2004)

Improved time bounds for the maximum flow problem
Published: (2004)

Improved time bounds for the maximum flow problem
by: Ahuja, Ravindra K., et al.
Published: (2009)

Improved time bounds for the maximum flow problem
by: Ahuja, Ravindra K., et al.
Published: (2009)

Forward and Backward Simulations Part II: Timing-based Systems
by: Lynch, Nancy A., et al.
Published: (2023)

Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
by: Vyas, Nikhil, et al.
Published: (2021)

Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
by: Vyas, Nikhil, et al.
Published: (2022)

Buffer time allocation in liner shipping schedule design with sea time and port time uncertainty
by: Liu, Yuhan
Published: (2017)