Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113239343> ?p ?o ?g. }
- W2113239343 endingPage "53" @default.
- W2113239343 startingPage "25" @default.
- W2113239343 abstract "This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in defining such a programming language, such as the interpretation of discontinuities in continuous-time signals, and the interpretation of discrete-event signals in hybrid systems, and the consequences of numerical ODE solver techniques. We describe the solution in HyVisual by giving its operational semantics." @default.
- W2113239343 created "2016-06-24" @default.
- W2113239343 creator A5009831760 @default.
- W2113239343 creator A5045217671 @default.
- W2113239343 date "2005-01-01" @default.
- W2113239343 modified "2023-10-03" @default.
- W2113239343 title "Operational Semantics of Hybrid Systems" @default.
- W2113239343 cites W109547946 @default.
- W2113239343 cites W128884659 @default.
- W2113239343 cites W146050756 @default.
- W2113239343 cites W1483834314 @default.
- W2113239343 cites W1487103029 @default.
- W2113239343 cites W1489501223 @default.
- W2113239343 cites W1495919280 @default.
- W2113239343 cites W1496267491 @default.
- W2113239343 cites W1499853177 @default.
- W2113239343 cites W1509363364 @default.
- W2113239343 cites W1510630994 @default.
- W2113239343 cites W1512417606 @default.
- W2113239343 cites W1515569264 @default.
- W2113239343 cites W1517125074 @default.
- W2113239343 cites W1522448884 @default.
- W2113239343 cites W1527646542 @default.
- W2113239343 cites W1542768242 @default.
- W2113239343 cites W1548719231 @default.
- W2113239343 cites W1555104280 @default.
- W2113239343 cites W1561445488 @default.
- W2113239343 cites W1561788761 @default.
- W2113239343 cites W1579568887 @default.
- W2113239343 cites W1586673500 @default.
- W2113239343 cites W1594130515 @default.
- W2113239343 cites W1604497632 @default.
- W2113239343 cites W1748927325 @default.
- W2113239343 cites W1823037702 @default.
- W2113239343 cites W1845560202 @default.
- W2113239343 cites W1874725288 @default.
- W2113239343 cites W1891915427 @default.
- W2113239343 cites W1955927414 @default.
- W2113239343 cites W1959069981 @default.
- W2113239343 cites W1963975008 @default.
- W2113239343 cites W1971233185 @default.
- W2113239343 cites W1983779606 @default.
- W2113239343 cites W19851560 @default.
- W2113239343 cites W1991466857 @default.
- W2113239343 cites W2000947342 @default.
- W2113239343 cites W2001598892 @default.
- W2113239343 cites W2012689680 @default.
- W2113239343 cites W2014019774 @default.
- W2113239343 cites W2028133921 @default.
- W2113239343 cites W2028806953 @default.
- W2113239343 cites W2031130394 @default.
- W2113239343 cites W2054872319 @default.
- W2113239343 cites W2060095702 @default.
- W2113239343 cites W207182081 @default.
- W2113239343 cites W2076218697 @default.
- W2113239343 cites W2080101372 @default.
- W2113239343 cites W2081938726 @default.
- W2113239343 cites W2085838366 @default.
- W2113239343 cites W2093347393 @default.
- W2113239343 cites W2093397547 @default.
- W2113239343 cites W2100500718 @default.
- W2113239343 cites W2103128566 @default.
- W2113239343 cites W2103684726 @default.
- W2113239343 cites W2106361312 @default.
- W2113239343 cites W2107558091 @default.
- W2113239343 cites W2118115577 @default.
- W2113239343 cites W2118229393 @default.
- W2113239343 cites W2118549344 @default.
- W2113239343 cites W2119355229 @default.
- W2113239343 cites W2120666720 @default.
- W2113239343 cites W2121922603 @default.
- W2113239343 cites W2124845718 @default.
- W2113239343 cites W2125415493 @default.
- W2113239343 cites W2125436261 @default.
- W2113239343 cites W2129717347 @default.
- W2113239343 cites W2133038101 @default.
- W2113239343 cites W2141705691 @default.
- W2113239343 cites W2144040052 @default.
- W2113239343 cites W2144344516 @default.
- W2113239343 cites W2147088720 @default.
- W2113239343 cites W2147340401 @default.
- W2113239343 cites W2155553330 @default.
- W2113239343 cites W2158615203 @default.
- W2113239343 cites W2159542925 @default.
- W2113239343 cites W2163590987 @default.
- W2113239343 cites W2165489953 @default.
- W2113239343 cites W2166720067 @default.
- W2113239343 cites W2171031300 @default.
- W2113239343 cites W2287992279 @default.
- W2113239343 cites W23577810 @default.
- W2113239343 cites W2432517183 @default.
- W2113239343 cites W2489001267 @default.
- W2113239343 cites W2542498933 @default.
- W2113239343 cites W2562772811 @default.
- W2113239343 cites W2775130736 @default.
- W2113239343 cites W2898916015 @default.
- W2113239343 cites W2981264952 @default.
- W2113239343 cites W3022911258 @default.