A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models
Abstract
Physical systems are by nature continuous, but often exhibit nonlinearities that make behavior generation complex and hard to analyze. Complexity is often reduced by linearizing model constraints and by abstracting the time scale for behavior generation. In either case, the physical components are modeled to operate in multiple modes, with abrupt changes between modes. This paper discusses a hybrid modeling methodology and analysis algorithms that combine continuous energy ow modeling and localized discrete signal ow modeling to generate complex, multi-mode behavior in a consistent and correct manner. Energy phase space analysis is employed to demonstrate the correctness of the algorithm, and the reachability of a continuous mode.
Cite
Text
Mosterman and Biswas. "A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models." AAAI Conference on Artificial Intelligence, 1996.Markdown
[Mosterman and Biswas. "A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/mosterman1996aaai-formal/)BibTeX
@inproceedings{mosterman1996aaai-formal,
title = {{A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models}},
author = {Mosterman, Pieter J. and Biswas, Gautam},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1996},
pages = {985-990},
url = {https://mlanthology.org/aaai/1996/mosterman1996aaai-formal/}
}