Towards Computational Hybrid System Semantics for Time-Based Block Diagrams
Keywords: سامانههای نهفته; Computational methods; Computer simulation; Computer-aided control system design; Embedded systems; Numerical simulation; Synchronous data flow; Systems design; Variable-structure systems; Verification; Zero crossings