Full Record

New Search | Similar Records

Title Making Hybrid Systems Easier to Model, Simulate, and Visualize
Publication Date
Date Accessioned
Degree PhD
Discipline/Department Engineering
Degree Level doctoral
University/Publisher Rice University
Abstract Specifying the behavior desired of hybrid systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and running simulation code, which significantly impedes the ability of scientists and engineers to develop novel hybrid systems. The support for partial derivative, in particular, is limited in present mainstream modeling and simulation languages as well as reachability analysis tools for hybrid systems. Either they do not provide such language construct, requiring the modeler to manually transform the model or its correctness is unclear. In this thesis, we demonstrate that compile-time transformations can improve hybrid system formalisms by supporting partial derivatives and equational constraints. These improvements allow the user to express, among other things, the Euler-Lagrangian equation, and to capture practically relevant constraints that arise naturally in mechanical systems. Achieving this level of expressivity requires using a binding time-analysis (BTA), program differentiation, symbolic Gaussian elimination, and abstract interpretation using interval analysis. We give an operational semantics for the specialization process along with a declarative and algorithmic specifications of the binding-time analysis. A type safety theorem is given to show the correctness of the semantics for specialization. The declarative specification of binding-time analysis is used to prove soundness with respect to the specialization process. We also provide an open-source implementation demonstrating our approach.
Subjects/Keywords Modeling; Simulation; Compile-time Transformation; Hybrid Systems; Binding-time Analysis
Contributors Cartwright, Robert (advisor); Taha, Walid (committee member)
Language en
Country of Publication us
Record ID handle:1911/105397
Repository rice
Date Retrieved
Date Indexed 2020-02-20
Grantor Rice University
Issued Date 2019-03-25 00:00:00

Sample Search Hits | Sample Images | Cited Works

…Comparison of Modeling and Simulation Tools . . . . . . . . . . . . 11 4.1 Denavit Hartenberg Parameters. . . . . . . . . . . . . . . . . . . . . . 48 5.1 Comparison of Compile-time Transformation 61 . . . . . . . . . . . . . 1 Chapter 1…

…Introduction This thesis explores a compile-time transformation approach for improving the modeling and simulation of hybrid systems. This chapter motivates the work, states its thesis and describes its contributions and origins. 1.1 Background Many…

…2016 I developed the models (initially by Walid Taha and Roland Philippsen) into the form described in this dissertation with help from Chad Rose, Marcia O’Malley. The implementation of compile-time transformation in Acumen are my work. 2. Y…

…Zeng, F. Bartha, and W. Taha, “Compile-time extensions to hybrid odes,” in Proceedings 3rd International Workshop on Symbolic and Numerical Methods 4 for Reachability Analysis, Uppsala, Sweden, 22nd April 2017 (E. Ábrahám and S. Bogomolov, eds…