Runtime verification for stochastic systems

Runtime verification for stochastic systems

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010.

Bibliographic Details
Main Author:	Wilcox, Cristina M
Other Authors:	Brian C. Williams.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2010
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/59701

Similar Items

Runtime verification of object lifetime specifications
by: Benjamin, Zev (Zev A.)
Published: (2010)

Data-driven methods for statistical verification of uncertain nonlinear systems
by: Quindlen, John Francis
Published: (2018)

Optimal estimation for nonlinear stochastic systems.
by: Culver, Calvin Orin
Published: (2005)

Robust execution for stochastic hybrid systems
by: Blackmore, Lars James Christopher
Published: (2008)

Control of stochastically interacting systems on networks
by: Somanath, Amith
Published: (2017)

Development and experimental verification of damping enhancement methodologies for space structures
by: Hagood, Nesbitt W
Published: (2006)

Stochastic performance analysis and staged control system designs for space based interferometers
by: Liu, Kuo-Chia, 1973-
Published: (2006)

Near-optimal stochastic terminal controllers.
by: Stallard, David Varner
Published: (2005)

On maximum-reward motion in stochastic environments
by: Ma, Fangchang
Published: (2015)

Multiple model estimation for linear stochastic hybrid systems with non-homogeneous transition probabilities
by: Kasperski, Michael William
Published: (2016)

Automated synthesis of low-rank stochastic dynamical systems using the tensor-train decomposition
by: Alora, John Irvin P
Published: (2016)

Vehicle health monitoring using stochastic constraint suspension
by: Rossi, Christopher, S.M. Massachusetts Institute of Technology
Published: (2013)

Enhancement of perception with the application of stochastic vestibular stimulation
by: Galvan-Garza, Raquel (Raquel Christine)
Published: (2017)

Linear estimation of boundary value stochastic processes
by: Adams, Milton B. (Milton Bernard)
Published: (2005)

Preconditioning techniques for stochastic partial differential equations
by: Spantini, Alessio
Published: (2013)

Sampling-based algorithms for stochastic optimal control
by: Huynh, Vu Anh
Published: (2014)

Identification and evolution of quantities of interest for a stochastic process view of complex space system development
by: Sondecker, George Ralph, IV
Published: (2011)

A multi-vehicle testbed and interface framework for the development and verification of separated spacecraft control algorithms
by: Hilstad, Mark Ole, 1975-
Published: (2013)

Development of a verification and validation framework for autonomous soft-docking of spacecraft with uncertain dynamic properties
by: James, Jillian Melanie
Published: (2016)

Analysis of efficiency and fairness in stochastic ground holding models
by: Kavassery Gopalakrishnan, Karthik
Published: (2016)

A learning method for the approximation of discontinuous functions for stochastic simulations
by: Gorodetsky, Alex Arkady
Published: (2013)

A stochastic approach to broadband control of parametrically uncertain structures
by: MacMartin, Douglas G
Published: (2005)

A stochastic revised sampled data model for eye tracking movements.
by: Forster, John Daniells
Published: (2014)

Quantitative analysis of ice accretion roughness using spectral and stochastic techniques
by: Orr, D. J. (Doyle Jay)
Published: (2009)

Tools of risk management in product verification
by: Zhang, Peng
Published: (2006)

Continuous low-rank tensor decompositions, with applications to stochastic optimal control and data assimilation
by: Gorodetsky, Alex Arkady
Published: (2017)

A stochastic and dynamic model of delay propagation within an airport network for policy analysis
by: Pyrgiotis, Nikolaos
Published: (2012)

Modelling, simulation and experimental verification of a semi active absorber system
by: Mohamad Nasrul, Mohd Nasir
Published: (2013)

The JCilk-1 runtime system
by: Danaher, John (John Stephen)
Published: (2007)

Advances in the M-machine runtime system
by: Shultz, Andrew Lloyd
Published: (2008)

Runtime reconfigurable platform for embedded systems
by: Krishnamoorthy Baskaran
Published: (2008)

Cilk: An Efficient Multithreaded Runtime System
by: Blumofe, Robert D., et al.
Published: (2023)

Composing Parallel Runtime Systems: A Case Study in How to Compose the Julia and OpenCilk Runtimes
by: Kralj, Tim
Published: (2022)

Design of power systems for extensible surface mobility systems on the Moon and Mars
by: Hong, SeungBum, S.M. Massachusetts Institute of Technology
Published: (2009)

Influence strategies for systems of systems
by: Shah, Nirav Bharat, 1979-
Published: (2013)

Robust design of lower arm suspension using stochastic optimization method
by: Mohd Khairil Azirul, Khairolazar
Published: (2009)

A method for tradespace exploration of systems of systems
by: Chattopadhyay, Debarati
Published: (2010)

System architecture of offshore oil production systems
by: Keller, James (James Thomas)
Published: (2009)

Combustion systems for power-MEMS applications
by: Spadaccini, Christopher M. (Christopher Michael), 1974-
Published: (2005)

Retrofit systems for reconfiguration in civil aviation
by: Wohletz, Jerry M. (Jerry Matthew), 1971-
Published: (2005)