Show simple item record

dc.contributor.authorMassoud, Mohammad
dc.date.accessioned2015-12-28T20:56:14Z
dc.date.available2015-12-28T20:56:14Z
dc.date.issued2015-12
dc.identifier.urihttp://hdl.handle.net/1951/66389
dc.description.abstractElectronic chip design, aircraft stability, finance, economy and even our social life can be affected by random events. Noise is a random process that occurs due to unwanted signal interactions in electronic circuits and environmental phenomena such as thunder, manufacturing defects or thermal increment. Noise affects the performance of our design and will cause unpredictable results on the output of the system. Consequently, we need to model noise and analyze the system at its presence. Verifying the performance of a dynamic system in the presence of noise requires a highly complicated mathematical skills. There are different verification techniques that rely on impractically expensive techniques. Flight dynamics characterizes the response of an aircraft vehicle to its control inputs, gravitational forces, and perturbations and has to adhere to strict design and safety requirements. In this thesis, we are interested in modeling and verifying the stability of aircrafts such as F4 in presence of noise. In order to study the random behavior of noise, we propose an approach based on modeling the designs using stochastic differential equations (SDE) in the time domain. Furthermore, we propose a modeling and estimation methodology that allows us to capture the perturbation in the form of Stochastic Differential Equations for the statistical monitoring of the stability property. Finally, pattern matching and Monte Carlo based verification methods are used for qualitative estimation of the simulation traces.en_US
dc.language.isoen_USen_US
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 United States*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/us/*
dc.subjectStochastic differential equationsen_US
dc.subjectDynamicsen_US
dc.subjectNoiseen_US
dc.subjectNonlinear systemsen_US
dc.titleStatistical verification techniques for stochastic dynamic systemsen_US
dc.title.alternativeFormal and statistical verification techniques for stochastic control systemsen_US
dc.typeThesisen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States