A comparative study of hybrid system monitoring based on bond graph and Petri net modelling | IEEE Conference Publication | IEEE Xplore