Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree

Abstract

PurposeThe aim of this work is to propose a logical‐based approach for deriving the critical scenarii from a differential predicate transition Petri nets model and proof tree, to evaluate diagnosis and safety of hybrid systems.Design/methodology/approachThe new approach integrates the Petri net model and linear logic. The design process is twofold: first, it considers the specific translation from Petri net to linear logic, and, second, it studies the relationship between the order of the rule application in the sequent proof and the processes associated with the same reachability problem.FindingsWith linear logic and Petri net it is proved that, from a canonical proof tree, a partial order can be derived (based on causality point of view) of transition firing and focusing the search of the parts of the model that are interesting for safety analysis. Each scenario is given by a partial order between the events necessary for the occurrence of the feared event.Originality/valueThis paper deals with safety in design of hybrid systems. For this purpose, it is important to characterize feared behaviours (which are critical) in the early design stage.

Contribution of Intelligent Instruments in Improving the Dependability of a Mechatronic Systems

“…If the solenoid valve EV1 is faulty and the volume in the tank exceeds the supper limit of safety (V1L), logic solver executes the opening of the solenoid valve EV3 to the emptying of the tank1. If the two solenoid valves EV1 and EV3 fail and the volume in the tank exceeds the safety threshold (V1S), then the tank 1 overflows [20]. The same principle of the tank 2's operation.…”

“…Both regulated tanks supply users in a predefined need (function of time) and the purpose of the logic solver is dedicated to keep the volume between two predefined values Vmin and Vmax [20].…”

“…In the present paper, we focus on the contribution of these instruments like sensors, intelligent actuators that replace conventional sensors actuators in mechatronic systems. The quantitative analysis for analysing the dependability of mechatronic systems is based to the results of qualitative analysis [20].…”