Stream and state-based semantics of hierarchy in block diagrams

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Denckla, Ben ^a   Mosterman, Pieter ^a  

^a NONE

Author keywords

Hybrid systems modeling and control

Indexed keywords

BLOCK DIAGRAMS; CONTINUOUS TIME; DISCRETE MODELING; DISCRETE-TIME; EMBEDDED SYSTEM DESIGN; SHEDDING LIGHT; STATE-BASED;

CONTINUOUS TIME SYSTEMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; GRAPHIC METHODS; HYBRID COMPUTERS; HYBRID SYSTEMS; LINGUISTICS; SEMANTICS; SYSTEMS ANALYSIS;

QUERY LANGUAGES;

EID: 79961019784     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.2493     Document Type: Conference Paper

References (19)

1. P. Caspi and M. Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. Technical Report 07, VERIMAG, Oct. 1997.
2. J. de Lara, H. Vangheluwe, and P. J. Mosterman. Modelling and analysis of traffic networks based on graph transformation. In Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), pp. 120-127, Braunschweig, Germany, Dec. 2004.
3. B. Denckla and P. J. Mosterman. An intermediate representation and its application to the analysis of block diagram execution. In Proc. of the 2004 Summer Computer Simulation Conference, San Jose, CA, July 2004.
4. B. Denckla and P. J. Mosterman. Formalizing causal block diagrams for modeling a class of hybrid dynamic systems. In 44th IEEE Conf. on Decision and Control, Seville, Spain, Dec. 2005.
5. B. Denckla, P. J.Mosterman, and H. Vangheluwe. Towards an executable denotational semantics for causal block diagrams. In The 5th OOPSLA Workshop on Domain-Specific Modeling, San Diego, CA, Oct. 2005.
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proc. of the IEEE, 79(9):1305-1320, Sep. 1991.
7. N. Halbwachs. Synchronous programming of reactive systems, a tutorial and commented bibliography. In Tenth International Conference on Computer-Aided Verification, CAV-98, pp. 1-16, Vancouver B.C., June 1998. LNCS 1742, Springer Verlag.
8. N. Halbwachs and P. Raymond. Validation of synchronous reactive systems: from formal verification to automatic testing. In Asian Computing Science Conference (ASIAN-99), Phuket, Thailand, Dec. 1999. LNCS 1742, Springer Verlag.
9. S. Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, Apr. 2003.
10. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proc. of the IEEE, 91(1):145-164, Jan. 2003.
11. P. J. Landin. The next 700 programming languages. Commun. ACM, 9(3):157-166, 1966. ISSN 0001-0782.
12. E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217-1229, Dec. 1998.
13. J. Liu, J. Eker, J. W. Janneck, X. Liu, and E. A. Lee. Actor-oriented control system design: A responsible framework perspective. IEEE Trans. on Control System Technology, 12(2), Mar. 2004.
14. P. J. Mosterman and J. E. Ciolfi. Interleaved execution to resolve cyclic dependencies in time-based block diagrams. In Proc. of the 43rd IEEE Conference on Decision and Control (CDC-04), Bahamas, Dec. 2004.
15. H. Riis Nielson and F. Nielson. Semantics with Applications: A Formal Introduction. Wiley Professional Computing, Hoboken, NJ, 1992. ISBN 0 471 92980 8.
16. H. Nilsson, J. Peterson, and P. Hudak. Functional hybrid modeling. In Lecture Notes in Computer Science, volume 2562, pp. 376-390, New Orleans, LA, Jan. 2003.
17. E. Posse, J. de Lara, and H. Vangheluwe. Processing causal block diagrams with graph-grammars in Atom3. In Proceedings of the European Joint Conference on Theory and Practice of Software (ETAPS), pages 23 - 34, Grenoble, France, Apr. 2002.
18. H. John Reekie. Modelling Asynchronous Streams in Haskell. Technical Report 94.3, Key Centre for Advanced Computing Sciences, University of Technology, Sydney, May 94.
19. Simulink. Using Simulink. The MathWorks, Natick, MA, 2007.