Full Record

Author | Zeng, Yingfu |

Title | Making Hybrid Systems Easier to Model, Simulate, and Visualize |

URL | http://hdl.handle.net/1911/105397 |

Publication Date | 2019 |

Date Accessioned | 2019-05-16 19:05:24 |

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 | 2020-02-20 |

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…