FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W84445353> ?p ?o ?g. }

• W84445353 abstract "Extended Abstract HyVisual is a hybrid systems modeling framework providing a block diagram visual syntax for specifying continuous dynamics and a bubble-and-arc syntax for specifying modal behavior. It is based on Ptolemy II, is written in Java, and is distributed open-source at http://ptolemy.eecs.berkeley.edu/hyvisual/. HyVisual has a rigorous operational semantics described in Lee and Zheng (2005). A key property is that it internally uses superdense time , where signals are modeled as partial functions of the form f : ℝ + Xℕ → V , where ℝ + is the non-negative real numbers and represents time, V is the value set (a data type, such as ℝ n ), and ℕ is the set of natural numbers. Continuous-time functions are total, whereas discrete-event functions are defined only on a discrete subset of ℝ + . The ℕ in the domain permits signals to have multiple values in a well-defined order at a particular time. Using this framework, HyVisual gives a rigorous semantics to discontinuous signals (which have multiple values at the point of discontinuity), to discrete-event signals with multiple events at the same time, and to transient states, where the time spent in the state is zero. An example of a HyVisual model that leverages this is shown in fig. 1, which shows many features of HyVisual. This models Newton's cradle, an apparatus with three (or more) balls hanging from strings (inspired by a one dimensional version in Mosterman (1999)). If the model is initialized with one of the balls displaced as shown in the HyVisual graphical animation at the lower left, then when the ball collides with the middle ball, a transient state results. At that time, the right ball transfers its momentum to the middle ball, and then, without any time elapsing, the middle ball transfers its momentum to the left ball. The two events (state transitions in the state machine at the middle left) are simultaneous but ordered. Other initial conditions can be chosen where two simultaneous events are unordered (e.g., starting with two balls appropriately displaced). HyVisual allows a model to permit nondeterministic choice of enabled transitions." @default.
• W84445353 created "2016-06-24" @default.
• W84445353 creator A5009831760 @default.
• W84445353 creator A5045217671 @default.
• W84445353 date "2006-01-01" @default.
• W84445353 modified "2023-09-26" @default.
• W84445353 title "HYVISUAL: A HYBRID SYSTEM MODELING FRAMEWORK BASED ON PTOLEMY II" @default.
• W84445353 cites W1509363364 @default.
• W84445353 cites W2113239343 @default.
• W84445353 doi "https://doi.org/10.3182/20060607-3-it-3902.00050" @default.
• W84445353 hasPublicationYear "2006" @default.
• W84445353 type Work @default.
• W84445353 sameAs 84445353 @default.
• W84445353 citedByCount "9" @default.
• W84445353 countsByYear W844453532012 @default.
• W84445353 countsByYear W844453532022 @default.
• W84445353 crossrefType "journal-article" @default.
• W84445353 hasAuthorship W84445353A5009831760 @default.
• W84445353 hasAuthorship W84445353A5045217671 @default.
• W84445353 hasBestOaLocation W844453532 @default.
• W84445353 hasConcept C11413529 @default.
• W84445353 hasConcept C154945302 @default.
• W84445353 hasConcept C177264268 @default.
• W84445353 hasConcept C184337299 @default.
• W84445353 hasConcept C199360897 @default.
• W84445353 hasConcept C2524010 @default.
• W84445353 hasConcept C33923547 @default.
• W84445353 hasConcept C41008148 @default.
• W84445353 hasConcept C46984397 @default.
• W84445353 hasConcept C60048249 @default.
• W84445353 hasConcept C80444323 @default.
• W84445353 hasConceptScore W84445353C11413529 @default.
• W84445353 hasConceptScore W84445353C154945302 @default.
• W84445353 hasConceptScore W84445353C177264268 @default.
• W84445353 hasConceptScore W84445353C184337299 @default.
• W84445353 hasConceptScore W84445353C199360897 @default.
• W84445353 hasConceptScore W84445353C2524010 @default.
• W84445353 hasConceptScore W84445353C33923547 @default.
• W84445353 hasConceptScore W84445353C41008148 @default.
• W84445353 hasConceptScore W84445353C46984397 @default.
• W84445353 hasConceptScore W84445353C60048249 @default.
• W84445353 hasConceptScore W84445353C80444323 @default.
• W84445353 hasLocation W844453531 @default.
• W84445353 hasLocation W844453532 @default.
• W84445353 hasOpenAccess W84445353 @default.
• W84445353 hasPrimaryLocation W844453531 @default.
• W84445353 hasRelatedWork W111902590 @default.
• W84445353 hasRelatedWork W1554549042 @default.
• W84445353 hasRelatedWork W1561032889 @default.
• W84445353 hasRelatedWork W2172280579 @default.
• W84445353 hasRelatedWork W2315335686 @default.
• W84445353 hasRelatedWork W25068511 @default.
• W84445353 hasRelatedWork W2748952813 @default.
• W84445353 hasRelatedWork W2899084033 @default.
• W84445353 hasRelatedWork W2919577594 @default.
• W84445353 hasRelatedWork W853968505 @default.
• W84445353 isParatext "false" @default.
• W84445353 isRetracted "false" @default.
• W84445353 magId "84445353" @default.
• W84445353 workType "article" @default.