R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, September 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

No context found.

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, September 1998.

No context found.

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems -- an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, 1998.

No context found.

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems -- an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, 1998.

....on the input the analog part receives form the combinational part and the environment. A detailed explanation together with a definition of the mapping from HyChart syntax to their semantics is not possible within the limited space of this paper. We therefore refer the interested reader to (Grosu and Stauner, 1998). 5. CONCLUSION By means of an example we introduced HyCharts and indicated how their main features like hierarchy of states and continuous activities, preemption and entry exit actions can be utilized in the development of hybrid systems. In our development scenario we sketched elements of a ....

Grosu, R. and T. Stauner (1998). Modular and visual specification of hybrid systems -- an introduction to HyCharts. Technical Report TUM-I9801. Technische Universitat Munchen.

....a a a a a a a a a b b a Fig. 3. The composition operators and the connectors introduced in an intuitive way by using the example above. Finally, in Section 6 we summarize our results. A version of this paper that goes into greater technical detail is available as a technical report [5]. 2 Hierarchic Graphs as Relations A hierarchic graph consists of a set of nodes connected by a set of arcs. For each node, the incoming and the outgoing arcs define the node s interface. In general, the arcs have associated some type information. Suppose T is a set of type names and D is a ....

.... demand that it is resolvable, which means that it must have a fixed point for every state s 0 2 S a and every input stream i 2 I Rc , i.e. 9oe 2 S Rc a :oe(0) s 0 oe 2 Ana( oe) Resolvability of the analog part is needed to prove that the semantics of a hybrid machine is well defined [5]. The component. Given an initial state s 0 , the behavior of the hybrid machine is a relation Cmp between its input and output communication histories. Writing the graph in Figure 5, left, as a relational expression with the multiplicative operators results in the denotational semantics of Cmp: ....

[Article contains additional citation context not shown here]

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, July 1998.

....behavior. HySCharts can be seen as a hybrid extension of the Statechart variant ROOMcharts [SGW94] The basic step of this extension is to annotate every state with an activity which specifies how continuous variables evolve when control is in the respective state. GSB98] introduces HyCharts and [GS98] presents the underlying theory in more detail. The purpose of the lip synchronization protocol, which is regarded in this paper, is to achieve the acceptably synchronized presentation of a sound and a video stream, which are sent separately over a network to a presentation device. The protocol ....

....on basis of the lip sync protocol and the results are summarized. Note that the paper assumes some familiarity with timed automata [AD94] Furthermore, it does not contain a complete introduction to HyCharts, but explains key concepts informally when needed. For details the reader is referred to [GS98] 2 Architecture of the Lip Sync Protocol Figure 1 shows the architecture of the lip sync protocol as a HyAChart. The video actor aVideoR tries to maintain correct timing of the video stream and lip synchronization with the sound stream. The component aInitSyncR takes care of the correct ....

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems -- an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, 1998.

....with the ability of HDFG to optimize and map descriptions of hybrid systems onto analog and or digital hardware, as implemented in the tool KANDIS 2 [11] In Fig. 1, the application of the translation in a rapid prototyping methodology is shown. The difficulty in the translation is, that HyCharts [5] provide two description techniques, one for the specification of the data flow, or the architecture, of a system (HyACharts) and one for the control flow, or behavior, of a system s components (HySCharts) This concept of views, known in software engineering e.g. from UML [12] enables the user ....

....in more detail. Section 4 defines the translation of HyCharts to HDFG. In Section 4.1 the translation principle for HyACharts is explained, while Section 4.2 presents the detailed translation of HySCharts. Two examples illustrate the translations. A conclusion ends the paper. 2 HyCharts HyCharts [6,5] consist of two graphical description techniques that are modular and based on a clear computation model. HyCharts regard a system as a network of components communicating over directed channels in a timesynchronous way. HyCharts come in two variants: HyACharts for the specification of the system ....

[Article contains additional citation context not shown here]

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems -- an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, 1998.

....non zero amount of time passes before the event becomes true. The HySC then terminates at the first time instant t at which e is true. Provided e does not hold initially, this first time instant, defined as the minimum of a set, is guaranteed to exist, because [ e] is topologically closed. See [8] for a proof under similar assumptions. Demanding that some time passes before the event occurs is motivated by the visual representation. If we wanted to specify that no time passes between two consecutive events, we would have to use simultaneous events. Note that 1 62 R and therefore if t = ....

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universit at Munchen, September 1998.

....amount of time passes before the event becomes true. The HySC then terminates at the first time instant t at which e is true. Provided e does not hold initially, this first time instant, defined as the minimum of a set, is guaranteed to exist, because [ e] is topologically closed. 16 (See [GS98] for a proof under similar assumptions. Demanding that some time passes before the event occurs is motivated by the visual representation. If we wanted to specify that no time passes between two consecutive events, we would have to use simultaneous events, graphically indicated by a coregion. ....

R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat Munchen, September 1998. 19

No context found.

Radu Grosu, Thomas Stauner, Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts, Technische Univerit at Munchen, TUMI9801, 1998

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC