4. Model Execution

At the execution level, the dynamic semantics of such systems are of a mixed continuous/discrete, hybrid, nature. This requires dedicated tools and algorithms to handle a number of idiosynchracies in behavior generation such as event detection and location, chattering, and consistent initial value computation [41]. This research will investigate and advance state of the art in the hybrid dynamic systems field by addressing (i) sequences of discrete transitions, (ii) consistent semantics of hybrid dynamic systems formalisms, (iii) sensitivity to initial conditions, (iv) sliding mode behavior, and (v) hybrid models for diagnosis and to design observers.