Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Stochastic Hybrid Systems"”.
-
Robust execution for stochastic hybrid systems
Unmanned systems, such as Autonomous Underwater Vehicles (AUVs), planetary rovers and space probes, have enormous potential in areas such as reconnaissance and space exploration. However the effectiveness and robustness of these systems is currently restricted by a lack of autonomy. Previous work …
-
Multiple model estimation for linear stochastic hybrid systems with non-homogeneous transition probabilities
This thesis investigates the field of stochastic hybrid estimation. A broad introduction to the framework surrounding estimation, filtering, and multiple model based systems is presented. More specifically, the often made assumption of a constant time-invariant mode transition probability matrix is …
-
Exploring the optimality of various bacterial motility strategies : a stochastic hybrid systems approach
… a chemotactic E. coli cell as an ergodic, stochastic hybrid system and use experimental data on bacterial motion in microfluidic environments to model other species of bacteria. Our focus is on understanding the differences between the run-and-tumble strategy of E. coli and the more …
-
Statistical verification and differential privacy in cyber-physical systems
… and differential privacy in Cyber-Physical Systems. The first part focuses on the statistical verification of stochastic hybrid system, a class of formal models for Cyber-Physical Systems. Model reduction techniques are performed on both Discrete-Time and Continuous-Time Stochastic Hybrid …
-
Renewable electric power systems energy yield and performance estimation
… uncertainty analysis of renewable electric power systems. We propose system performability models that describe system attributes while acknowledging failures and repairs in constituent elements. Two broad classes of models are investigated: i) Markov reliability and reward models, and ii) …
-
A Platform for Microbial Evolution and Characterization
… experiments in E. coli. Theory: We develop a stochastic hybrid systems model for evolution in a turbidostat. With our model we show that there exists an optimally challenging environment as well as optimal population size for single evolutionary steps. We also use insights gained from our …
-
Stochastic Event-Based Control and Estimation
… and actuation events. As more control systems are implemented to share limited network and CPU bandwidth with other tasks, it is becoming increasingly attractive to use some form of event-based control instead, where precious events are used only when needed. Forms of event-based …
-
Computational Techniques for Stochastic Reachability
As automated control systems grow in prevalence and complexity, there is an increasing demand for verification and controller synthesis methods to ensure these systems perform safely and to desired specifications. In addition, uncertain or stochastic behaviors are often exhibited (such as wind …
-
FRACTAL BASED FRAMEWORK FOR TIME SERIES VOLATILITY PREDICTION
… asset price movements. The gap between complex stochastic equations and solvable differential equations is bridged using tools like Feynman–Kac approach and Girsanov transformation. Simulations illustrating plausible scenarios ranging from pessimistic to optimistic demonstrate how this model can …
-
Mode identification using stochastic hybrid models with applications to conflict detection and resolution
… of aircraft trajectories are non-linear and stochastic in nature; and their internal parameters are often poorly defined. The ability to model, simulate and analyze realistic air traffic management conflict detection scenarios in a scalable, composable, multi-aircraft fashion is an extremely …
-
Age of Information: Fundamentals, Distributions, and Applications
A typical model for real-time status update systems consists of a transmitter node that generates real-time status updates about some physical process(es) of interest and sends them through a communication network to a destination node. Such a model can be used to analyze the performance of a …