scientific article; zbMATH DE number 1303069
From MaRDI portal
Publication:4249571
Cited in
(9)- Simulation of systems with dynamically varying model structure
- Analytic solution for planar indeterminate impact problems using an energy constraint
- Modeling three-dimensional surface-to-surface rigid contact and impact
- Hybrid systems: Modelling and analysis using emergent dynamics
- Compositionality issues in discrete, continuous, and hybrid systems
- A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems
- Mode detection and fault diagnosis in hybrid systems
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Abstract Interpretation of the Physical Inputs of Embedded Programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249571)