Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata

Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata

SM thesis

Bibliographic Details
Main Author:	Timmons, Eric
Other Authors:	Brian Williams
Published:	2018
Online Access:	http://hdl.handle.net/1721.1/113364

Similar Items

Fast, approximate state estimation of concurrent probabilistic hybrid automata
by: Timmons, Eric (Eric M.)
Published: (2013)

Model-based estimation of probabilistic hybrid automata
by: Henry, Melvin Michael, 1968-
Published: (2013)

Compositionality for Probabilistic Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Accurate belief state update for probabilistic constraint automata
by: Martin, Oliver B., 1979-
Published: (2006)

Probabilistic automata and stochastic languages
by: Soh, Royson Jun Heng
Published: (2024)

State estimation of probabilistic hybrid systems with particle filters
by: Funiak, Stanislav, 1978-
Published: (2005)

Task-structured probabilistic I/O automata
by: Canetti, Ran, et al.
Published: (2021)

Task-Structured Probabilistic I/O Automata
by: Canetti, Ran, et al.
Published: (2006)

Task-Structured Probabilistic I/O Automata
by: Canetti, Ran, et al.
Published: (2013)

Two Undecidability Results in Probabilistic Automata Theory
by: Kilian, Joseph J.
Published: (2023)

Task-Structured Probabilistic I/O Automata
by: Canetti,, Ran, et al.
Published: (2006)

Two undecidability results in probabilistic automata theory
by: Kilian, Joe.
Published: (2020)

Approximate state estimation.
by: Masiello, Ralph D.(Ralph David)
Published: (2019)

Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation
by: Timmons, Eric, et al.
Published: (2018)

Probabilistic and learning approaches through concurrent parameter estimation and adaptive control for in-space robotic assembly
by: Terán Espinoza, Antonio
Published: (2017)

Fast concurrent object classification and localization
by: Yeh, Tom, et al.
Published: (2008)

Fast concurrent object localization and recognition
by: Yeh, Tom, et al.
Published: (2012)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2005)

Hybrid I/O Automata*
by: Lynch, Nancy A., et al.
Published: (2023)

Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Probabilistic state estimation in regimes of nonlinear error growth
by: Lawson, W. Gregory, 1975-
Published: (2008)

Probabilistic state estimation with discrete-time chaotic systems
Published: (2004)

A Combined Stochastic and Greedy Hybrid Estimation Capability for Concurrent Hybrid Models with Autonomous Mode Transitions
by: Blackmore, Lars, et al.
Published: (2006)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2007)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Control of hybrid automata with hidden modes: translation to a perfect state information problem
by: Verma, Rajeev, et al.
Published: (2013)

A fast concurrent and resizable Robin Hood hash table
by: Kahssay, Endrias(Endrias K.)
Published: (2021)

Unsupervised Learning for Fast Probabilistic Diffeomorphic Registration
by: Dalca, Adrian V., et al.
Published: (2021)

Unsupervised Learning for Fast Probabilistic Diffeomorphic Registration
by: Dalca, Adrian Vasile, et al.
Published: (2021)

Efficient distributed approximation algorithms via probabilistic tree embeddings
by: Khan, Maleq., et al.
Published: (2013)

Fast approximate hierarchical solution of MDPs
by: Barry, Jennifer L. (Jennifer Lynn)
Published: (2010)

Finite Tree Automata and W-Automata
by: Hossley, Robert
Published: (2023)

Set-Based State Estimation With Probabilistic Consistency Guarantee Under Epistemic Uncertainty
by: Li, Shen, et al.
Published: (2022)

Approximate nonlinear estimation.
by: Phaneuf, Roger Joseph.
Published: (2023)

SPPL: probabilistic programming with fast exact symbolic inference
by: Saad, Feras A, et al.
Published: (2022)

Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs
by: Mansinghka, Vikash K., et al.
Published: (2015)

Safety analysis of a Class of Timed Automata Hybrid Systems
by: Megawati, Noorma Yulia, et al.
Published: (2009)