Thesis (M.S.)--University of Missouri--Rolla, 2007. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed November 28, 2007) Includes bibliographical references.

Thesis (M.S.)--Missouri University of Science and Technology, 2008. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed April 14, 2008) Includes bibliographical references (p. 119-121).

Thesis (PhD) - Swinburne University of Technology, Centre for Molecular Simulation - 2007. / Dissertation submitted in fulfilment of requirements for the degree Doctor of Philosophy, Centre for Molecular Simulation, Faculty of Information and Communication Technologies, Swinburne University of Technology, 2007. Typescript. Includes bibliographical references (p. 151-161).

Thesis (Ph. D.)--University of Alabama at Birmingham, 2007. / Description based on contents viewed Feb. 12, 2009; title from PDF t.p. Includes bibliographical references (p. 75-77).

Thesis (M.S.)--Rochester Institute of Technology, 2005. / Typescript. Includes bibliographical references (leaves 144-146).

Thesis (Ph. D.)--West Virginia University, 2005. / Title from document title page. Document formatted into pages; contains xiii, 187 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 165-172).

by Thomas Mac Athay. / Bibliography: p.109-111. / Prepared under grant ERDA-E(49-18)-2087. Originally presented as the author's thesis, (M.S. and E.E.), M.I.T. Dept. of Electrical Engineering and Computer Science, 1976.

by Norman August Lehtomaki. / Bibliography: p. 161-163. / Originally presented as the author's thesis, (M.S.) in the M.I.T. Dept. of Electrical Engineering and Computer Science, 1978. / Prepared under Dept. of Energy, Division of Electric Energy Systems Grant ERDA-E(49-18)-2087.

Vehicle yaw stabilization and rollover prevention are two key factors in safety of vehicles. Designing a controller that can address both of the above safety concerns is of interest. In addition, it is essential that the performance of such a controller is evaluated properly. This can be done using a proper stability analysis. The above research problem is challenging for two reasons. First, maintaining both of the objectives, yaw stabilization and rollover mitigation, is contradictory at some instances, specifically when the vehicle is close to the verge of wheel lift-off. Second, the complexity of the dynamics of vehicle systems, which mostly arises from tire dynamics, makes the problems of controller design and stability analysis more challenging. In this Ph.D. thesis, a novel method for stability analysis of dynamical systems using the concept of Lyapunov exponents is proposed. The proposed method for stability analysis does not have the limitations of the current methods, and more specifically, can identify boundaries of the whole stability regions of attractors in a dynamical system. Furthermore, this method is computationally efficient and can be applied to general forms of nonlinear systems. The proposed stability analysis scheme is applied to the closed loop systems of ground vehicles with T-S fuzzy controllers for the purpose of evaluating and comparing the performance of the systems. The T-S fuzzy controllers integrate yaw stabilization and rollover avoidance. The ground vehicles that are studied in this research consist of torsionally flexible and torsionally rigid vehicles, which have differences in their dynamics because of the torsional compliance in their frames. The torsional compliance plays an important role in the dynamics, specifically for long vehicles, leading to different rollover indexes in the front and rear axles of the vehicles. The T-S fuzzy controllers are capable of prioritizing the contradictory objectives, and capturing all the essential complexities of dynamics of the systems. / February 2016

In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.