Formalizing causal block diagrams for modeling a class of hybrid dynamic systems

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 4193-4198

  Denckla, Ben ^a   Mosterman, Pieter J ^b  

^a Denckla Consulting   (United States)

^b MATHWORKS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DIFFERENTIATION (CALCULUS); DISCRETE TIME CONTROL SYSTEMS; ERROR ANALYSIS; SEMANTICS;

BLOCK DIAGRAMS; CONTINUOUS TIME COMPUTATIONS; DECLARATIVE FUNCTIONAL LANGUAGE; LAMBDA CALCULUS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33847223434     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582820     Document Type: Conference Paper

References (16)

1. A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli. Hybrid control for automotive engine management: The cut-off case. In T.A. Henzinger and S. Sastry, editors, Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pages 13-32, Berlin, 1998. Springer-Verlag.
2. F.E. Cellier, H. Elmqvist, and M. Otter. Modelling from physical principles. In W.S. Levine, editor, The Control Handbook, pages 99-107. CRC Press, Boca Raton, FL, 1996.
3. Ben Denckla and Pieter J. Mosterman. An intermediate representation and its application to the analysis of block diagram execution. In Proceedings of the 2004 Summer Computer Simulation Conference (SCSC'04), San Jose, CA, July 2004.
4. Bernd Hardung, Thorsten Kölzow, and Andreas Krüger. Reuse of software in distributed embedded automotive systems. In EMSOFT '04, pages 203-210, Pisa, Italy, September 2004.
5. Rick A. Hyde. Fostering innovation in design and reducing implementation costs by using graphical tools for functional specification. In Proceedings of the AIAA Modeling and Simulation Technologies Conference, Monterey, CA, August 2002.
6. Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, April 2003. ISBN-10: 0521826144.
7. rd IEEE Conference on Decision and Control (CDC'04), Paradise Island, Bahamas, December 2004.
8. Pieter J. Mosterman, Janos Sztipanovits, and Sebastian Engell. Computer automated multi-paradigm modeling in control systems technology. IEEE Transactions on Control System Technology, 12(2), March 2004.
9. Klaus D. Müller-Glaser, Gerd Frick, Eric Sax, and Markus Kühl. Multi-paradigm modeling in embedded systems design. IEEE Transactions on Control System Technology, 12(2), March 2004.
10. Hanne Riis Nielson and Flemming Nielson. Semantics with Applications: A Formal Introduction. Wiley Professional Computing, Hoboken, NJ, 1992. ISBN 0 471 92980 8.
11. Henrik Nilsson, John Peterson, and Paul Hudak. Functional hybrid modeling. In Lecture Notes in Computer Science, volume 2562, pages 376-390, New Orleans, LA, January 2003. Springer-Verlag. Proceedings of PADL'03: 5th International Workshop on Practical Aspects of Declarative Languages.
12. Linda R. Petzold. A description of DASSL: A differential/algebraic system solver. Technical Report SAND82-8637, Sandia National Laboratories, Livermore, California, 1982.
13. Ernesto Posse, Juan de Lara, and Hans 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, April 2002. Workshop on Applied Graph Transformation (AGT).
14. Simulink. Using Simulink. The MathWorks, Natick, MA, 2004.
15. Frits W. Vaandrager and Jan H. van Schuppen, editors. Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag, March 1999.
16. Takanori Yokoyama. An aspect-oriented development method for embedded control systems with time-triggered and event-triggered processing. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), San Francisco, CA, March 2005.