Engineering Commons^™

Software Design For Probabilistic Safety: Stochastic Reachability And Circadian Control, Joseph D. Gleason

Electrical and Computer Engineering ETDs

Stochastic reachability is an important verification tool that provides probabilistic assurances of safety in a variety of contexts. In engineered systems, safety may be synonymous with the ability of the system to avoid "bad" constraints on the state space, that constitute collision, departure from a flight envelope, or other undesirable phenomenon. In biomedical systems, assurance of safety (such as the mandate to ``do no harm'') are considerably complicated by the fact that there is a lack of physics-driven models, extensive signal processing is needed to capture the underlying state of the system, and the stochasticity inherent to the system may …

Local And Central Controllers For Microgrids, Edgar Ariel Escala Calame

Graduate Theses and Dissertations

The main objective of this thesis is to serve as a guide, so readers are able to learn about microgrids and to design simple controllers for different AC microgrid applications. In addition, this thesis has the objective to provide examples of simulation cases for the hierarchical structure of a basic AC microgrid which can be used as a foundation to build upon, and achieve more complex microgrid structures as well as more sophisticated power-converter control techniques.

To achieve these objectives, the modeling of voltage source converters and control design in the z-domain are presented. Moreover, the implementation and transient analysis …

System Identification And Model-Based Control Of Quadcopter Uavs, Andrew P. Szabo

Browse all Theses and Dissertations

As control systems become more sophisticated, more accurate system models are needed for control law design and simulation. In this research, a nonlinear dynamic model of a quadcopter UAV is presented and model parameters are estimated off-line using in-flight experimental data. In addition, a model-based classical control law for the quadcopter UAV is designed, simulated, and then deployed in UAV flight tests. The intent of this research is to identify a model which may be simple enough to easily use for control law design, and accurate enough for simulation. In addition, a model-based classical control law is designed to for …