Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems

This paper attempts to formalize the semantics of causal block diagrams, a language that is extensively used in the design of technical systems. The formalization is based on lambda calculus, and implemented in the declarative functional language Haskell. Specifically, the combination of discrete-time and continuous-time computations, hybrid dynamic systems, is concentrated on. It shows how in many cases this combination causes multi-rate computations and so transition semantics between the two types of computations are strictly necessary. A loose interpretation is shown to result in an implementation that is amenable to error.

[1]  R. Hyde.  Fostering Innovation in Design and Reducing Implementation Costs by Using Graphical Tools for Functional Specification , 2002 .

[2]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[3]  Hans Vangheluwe,et al.  Processing causal block diagrams with graph-grammars in AToM3 , 2002 .

[4]  Takanori Yokoyama,et al.  An aspect-oriented development method for embedded control systems with time-triggered and event-triggered processing , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[5]  Bernd Hardung,et al.  Reuse of software in distributed embedded automotive systems , 2004, EMSOFT '04.

[6]  Pieter J. Mosterman,et al.  Computer-automated multiparadigm modeling in control systems technology , 2004, IEEE Transactions on Control Systems Technology.

[7]  Klaus D. Müller-Glaser,et al.  Multiparadigm modeling in embedded systems design , 2004, IEEE Transactions on Control Systems Technology.

[8]  L. Petzold.  A description of dassl: a differential/algebraic system solver , 1982 .

[9]  Alberto L. Sangiovanni-Vincentelli,et al.  Hybrid Control for Automotive Engine Management: The Cut-Off Case , 1998, HSCC.

[10]  Paul Hudak,et al.  Functional Hybrid Modeling , 2003, PADL.

[11]  Flemming Nielson,et al.  Semantics with applications - a formal introduction , 1992, Wiley professional computing.

[12]  P.J. Mosterman,et al.  Using interleaved execution to resolve cyclic dependencies in time-based block diagrams , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).