Time Bounds for Real-time Process Control in the Presence of Time Uncertainty

Time Bounds for Real-time Process Control in the Presence of Time Uncertainty

Bibliographic Details
Main Authors:	Attiya, Hagit, Lynch, Nancy A.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149149

Similar Items

Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty
by: Attiya, Hagit, et al.
Published: (2023)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
by: Chen, T, et al.
Published: (2011)

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

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

Fixed-Time Controller for Altitude/Yaw Control of Mini-Drones: Real-Time Implementation with Uncertainties
by: Moussa Labbadi, et al.
Published: (2023-06-01)

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

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

Real Presence in the Eucharist and time-travel
by: Pickup, M
Published: (2014)

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

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

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

Computer control of real-time processes /
by: Bennett, Stuart, et al.
Published: (1990)

Real-time statistical process control/
by: 313021 Badavas, Paul C.
Published: (1993)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

Time-Bounded Verification
by: Ouaknine, J, et al.
Published: (2009)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

Time-bounded large-scale mission planning under uncertainty for UV disinfection
by: Brudermüller, L, et al.
Published: (2022)

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

Real-Time Repair of Business Processes Based on Alternative Operations in Case of Uncertainty
by: Liwen Zhang, et al.
Published: (2021-01-01)

Real-time order acceptance in transportation under uncertainty
by: Nisar, Hiral (Hiral Dhiraj), et al.
Published: (2014)

A real time approach to process control /
by: 253578 Svrcek, William Y., et al.
Published: (2014)

Real time microcomputer control of industrial processes /
by: Tzafestas, Spyros G., et al.
Published: (c199)

Real time data handling and process control /
by: European Symposium on Real Time Data Handling and Process Control (2nd : 1982 : Versailles, France), et al.
Published: (1984)

A real time approach to process control /
by: 253578 Svrcek, William Y.
Published: (2006)

A real-time approach to process control /
by: 253578 Svrcek, William Y., et al.
Published: (2000)

Real-time control of activated sludge process
by: Chen, Chung Yuan.
Published: (2008)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
by: Brázdil, T, et al.
Published: (2009)

Difficulty-aware time-bounded planning under uncertainty for large-scale robot missions
by: Staniaszek, M, et al.
Published: (2023)

Time-bounded mission planning in time-varying domains with semi-MDPS and Gaussian processes
by: Duckworth, P, et al.
Published: (2021)

Uncertainty Estimation of the Dose Rate in Real-Time Applications Using Gaussian Process Regression
by: Jinhwan Kim, et al.
Published: (2020-05-01)

The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems
by: Heitmeyer, Constance, et al.
Published: (2023)

Real-time observation of ultrafast molecular rotation in weakly bound dimers
by: Jiaqi Zhou, et al.
Published: (2021-04-01)

Recovery With Incomplete Knowledge: Fundamental Bounds on Real-Time Quantum Memories
by: Arshag Danageozian
Published: (2023-12-01)

Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification
by: Jasour, Ashkan, et al.
Published: (2022)

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

Money, uncertainty and time /
by: 347903 Fontana, Giuseppe
Published: (2009)

Time, uncertainty, and information /
by: 210440 Hirshleifer, Jack
Published: (1989)

Real-time computer control /
by: Bennett, Stuart, et al.
Published: (1984)

Real-time bounded-error pose estimation for road vehicles using vision
by: Napier, A, et al.
Published: (2010)

Real-time data handling and process control : proceedings /
by: European Symposium on Real-Time Data Handling and Process Control (1979 : Berlin), et al.
Published: (1980)