Verification of Hybrid Systems Using Abstractions

摘要: A hybrid system models both discrete event and continuous dynamics. We present a modeling formalism verification methodology for systems. The is based on abstracting the dynamics in by simpler two methods doing this: first method, differential inclusion replaced with inclusion; second we look at timing information that relevant to problem, construct an abstraction of timed automaton. illustrate our applying it train-gate-controller example.