A comprehensive methodology for building hybrid models of physical systems
From MaRDI portal
Publication:1583236
DOI10.1016/S0004-3702(00)00032-1zbMath0948.68210OpenAlexW2122436896WikidataQ126645006 ScholiaQ126645006MaRDI QIDQ1583236
Pieter J. Mosterman, Gautam Biswas
Publication date: 26 October 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(00)00032-1
hybrid modelingdynamic systemsmodel verificationparameter abstractionsystematic model abstractionstime scale abstraction
Related Items
A theory of discontinuities in physical system models, Diagnosis of Hybrid Systems Using Structural Model Decomposition, Hybrid automata: an insight into the discrete abstraction of discontinuous systems, Reasoning about nonlinear system identification, A comprehensive methodology for building hybrid models of physical systems, Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties, A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems
Cites Work
- Qualitative simulation
- A bond graph algorithm to determine the equilibrium state of a system
- Automated model selection for simulation based on relevance reasoning
- Computing with continuous change
- A theory of discontinuities in physical system models
- A comprehensive methodology for building hybrid models of physical systems
- On the regularization of Zeno hybrid automata
- A generalized state-space for singular systems
- Coulomb Friction in Two‐Dimensional Rigid Body Systems
- A unified framework for hybrid control: model and optimal control theory
- Impact Coefficients and Tangential Impacts
- Linear Complementarity Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item