A theory of discontinuities in physical system models

DOI10.1016/S0016-0032(96)00126-3zbMath0900.93030OpenAlexW1978110380MaRDI QIDQ1388999

Pieter J. Mosterman, Gautam Biswas

Publication date: 15 November 1998

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0016-0032(96)00126-3

Mathematics Subject Classification ID

Related Items

Modeling and Analysis of Energy Distribution Networks Using Switched Differential Systems, A novel hybrid Petri net model for urban intersection and its application in signal control strategy, Storage and dissipation limits in resonant switched-capacitor converters, Co-operative functional/hybrid behavioural models for dynamical failure assessment, Constructive Collisions, Modelling of switching systems in bond graphs using the concept of switched power junctions, Mode Detection and Fault Diagnosis in Hybrid Systems, 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

Uses Software

• Visual Basic

Cites Work

• Qualitative simulation
• Symbolic model checking for real-time systems
• A comprehensive methodology for building hybrid models of physical systems
• On the computational power of pushdown automata
• Unnamed Item
• Unnamed Item
• Unnamed Item