Add to ORKG. Formal verification of safety and timing properties of engineering systems is only meaningful if based on models which are systematically derived. In this paper we report on our experience using switched bond graphs for the modelling of hardware components in hybrid systems. We present the basic ideas underlying bond graphs in general and switched bond graphs in particular. Switched bond graphs are tailored for the modelling of physical systems undergoing abrupt structural changes. Such abrupt changes appear frequently in plants closed by discrete controllers. We illustrate our approach by means of an aircraft landing gear system and prove safety and timeliness properties using the proof system of extended duration calculus. Keywords: hyb...
This book presents theory and latest application work in Bond Graph methodology with a focus on: • H...
For the case when the abstraction of instantaneous state transitions is adopted, this paper proposes...
This paper picks up on one of the ways reported in the literature to represent hybrid models of engi...
. Formal verification of computer-based engineering systems is only meaningful if the mathematical m...
Models of physical systems have to be based on physical principles such as conservation of energy an...
Models of physical systems have to be based on physical principles such as conservation of energy an...
A landing gear is a good example of a highly nonlinear multidisciplinary system. Using hybrid modell...
This book presents a bond graph model-based approach to fault diagnosis in mechatronic systems appro...
Introduction When modeling a physical system, it is common practice to describe the components that ...
Switched bond graphs are natural extensions of classical bond graphs and they allow mod eling of hyb...
Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic s...
Engineering systems are frequently abstracted to models with discontinuous behaviour (such as a swit...
Two new Bond Graph components are introduced to simplify the modelling of hybrid systems. Contents ...
Hybrid Bond Graph (HBG) is a Bond Graph-based modelling approach which provides an effective tool no...
Bond graphs are a powerful and elegant formalism for modeling the continuous dynamics of physical sy...
This book presents theory and latest application work in Bond Graph methodology with a focus on: • H...
For the case when the abstraction of instantaneous state transitions is adopted, this paper proposes...
This paper picks up on one of the ways reported in the literature to represent hybrid models of engi...
. Formal verification of computer-based engineering systems is only meaningful if the mathematical m...
Models of physical systems have to be based on physical principles such as conservation of energy an...
Models of physical systems have to be based on physical principles such as conservation of energy an...
A landing gear is a good example of a highly nonlinear multidisciplinary system. Using hybrid modell...
This book presents a bond graph model-based approach to fault diagnosis in mechatronic systems appro...
Introduction When modeling a physical system, it is common practice to describe the components that ...
Switched bond graphs are natural extensions of classical bond graphs and they allow mod eling of hyb...
Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic s...
Engineering systems are frequently abstracted to models with discontinuous behaviour (such as a swit...
Two new Bond Graph components are introduced to simplify the modelling of hybrid systems. Contents ...
Hybrid Bond Graph (HBG) is a Bond Graph-based modelling approach which provides an effective tool no...
Bond graphs are a powerful and elegant formalism for modeling the continuous dynamics of physical sy...
This book presents theory and latest application work in Bond Graph methodology with a focus on: • H...
For the case when the abstraction of instantaneous state transitions is adopted, this paper proposes...
This paper picks up on one of the ways reported in the literature to represent hybrid models of engi...