Ben Denckla and Pieter J. Mosterman + May 5, 2006  Home/Search
Context
Related
| com/bdenckla@sbcgl..._HierHybStaStr.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: com/bdenckla@sbcglobal.ne...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Block diagram languages are now commonly used to design and even implement embedded systems. In the design phase, they are used to model both plant and controller, typically with continuous and discrete modeling respectively. The semantics of these languages are often vague and/or complex, which is fine for some users but leaves others puzzled by the behaviors they observe. This paper presents a pair of lean, well-defined block diagram languages corresponding to the stream and "stateful" system ... (Update)
Active bibliography (related documents): More All
2.0: Formalizing Causal Block Diagrams for Modeling a Class of.. - Denckla, Mosterman (2005) (Correct)
0.3: Many Cyclic Block Diagrams Do Not Need Parallel Semantics - Denckla, Mosterman (Correct)
0.3: Design and Implementation of a Partial Evaluation-Based Compiler .. - Freericks (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-hierarchical,
author = "Ben Denckla And",
title = "Hierarchical Hybrid Block Diagrams",
url = "citeseer.ist.psu.edu/747160.html" }
Citations (may not include all citations):22 Model-integrated development of embedded software (context) - Karsai - 2003
16 Haskell 98 Language and Libraries (context) - Jones - 2003
6 A co-iterative characterization of synchronous stream functi.. - Caspi, Pouzet - 1998
3 Realtime Signal Processing: Dataflow (context) - Reekie - 1995
2 An intermediate representation and its application to the an.. (context) - Denckla, Mosterman - 2004
2 Processing causal block diagrams with graphgrammars in AToM - Posse, de Lara et al. - 2002
2 Interleaved execution to resolve cyclic dependencies in time.. (context) - Mosterman, Ciolfi - 2004
2 Functional hybrid modeling (context) - Nilsson, Peterson et al. - 2003
1 Operational semantics of hybrid systems (context) - Lee, Zheng - 2005
1 Formalizing causal block diagrams for modeling a class of hy.. - Denckla, Mosterman - 2005
1 Towards an executable denotational semantics for causal bloc.. - Denckla, Mosterman et al. - 2005
http://ptolemy.eecs.-
Documents on the same site (http://www.geocities.com/bdenckla@sbcglobal.net/index.htm): More
Formalizing Causal Block Diagrams for Modeling a Class of.. - Denckla, Mosterman (2005) (Correct)
Towards An Executable Denotational Semantics For.. - Denckla, Mosterman.. (2005) (Correct)
Many Cyclic Block Diagrams Do Not Need Parallel Semantics - Denckla, Mosterman (Correct)
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