Search Results

The notion of a hybrid system is centered on a composition of discrete and continuous dynamics. Although the difficulty in modeling hybrid systems comes from the diversity of these systems, the most promising approach to mitigate this issue is developing expressive and precise modeling languages. Nevertheless, the developing of expressive and precise modeling languages does not necessarily mean the emergence of a new language, on the contrary, this paper proposes a precise semantics for a subset of existent languages. In this paper, we introduce hybrid fUML that blends synchronous features for controlling discrete behaviors, and differential algebraic equations (DAEs) into the standardized fUML (foundational subset for executable UML models). Synchronous features focused on discrete behaviors come from synchronous languages, which have been established as a technology of choice for specifying, modeling and verifying real-time systems, e.g., Lustre.