The fundamentals of hybrid systems modelers

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 4180-4185

  Benveniste, Albert ^a   Caillaud, Benoît ^a   Pouzet, Marc ^b  

^a INRIA   (France)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS; SEMANTICS;

COMPUTER SCIENTISTS; CONSTRUCTIVE SEMANTICS; DE FACTO STANDARD; DENOTATIONAL SEMANTICS; EMBEDDED SYSTEM DEVELOPMENT; MATHEMATICAL BASIS; SIMULATION ENGINE; STANDARD ANALYSIS;

EMBEDDED SYSTEMS;

EID: 79953151261     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2010.5717614     Document Type: Conference Paper

References (19)

1. A. Robinson, Non Standard Analysis. Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
2. A. Benveniste, B. Caillaud, and M. Pouzet, "extended version of this paper," 2010, available from http://www.irisa.fr/distribcom/benveniste/ pub/modelica-simple-RR.pdf.
3. A. Benveniste, "Compositional and uniform modelling of hybrid systems," IEEE Trans. on Automatic Control, vol. 43, no. 4, pp. 579-584, April 1998.
4. A. Benveniste, B. Caillaud, and P. L. Guernic, "Compositionality in dataflow synchronous languages: Specification and distributed code generation," Inf. Comput., vol. 163, no. 1, pp. 125-171, 2000.
5. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone, "The synchronous languages 12 years later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83, 2003.
6. A. Benveniste, P. L. Guernic, Y. Sorel, and M. Sorine, "A denotational theory of synchronous reactive systems," Inf. Comput., vol. 99, no. 2, pp. 192-230, 1992.
7. G. Berry, "Constructive Semantics of Esterel: From Theory to Practice (Abstract)," in AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology. London, UK: Springer-Verlag, 1996, p. 225.
8. S. Bliudze, "Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS," Ph.D. dissertation, Ecole Polytechnique, 2006.
9. S. Bliudze and D. Krob, "Modelling of complex systems: Systems as dataflow machines," Fundam. Inform., vol. 91, no. 2, pp. 251-274, 2009.
10. L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli, "Languages and tools for hybrid systems design," Foundations and Trends in Electronic Design Automation, vol. 1, no. 1/2, 2006.
11. P. Caspi and M. Pouzet, "A co-iterative characterization of synchronous stream functions," Electr. Notes Theor. Comput. Sci., vol. 11, 1998.
12. E. A. Lee and A. L. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, 1998.
13. E. A. Lee and H. Zheng, "Operational semantics of hybrid systems," in HSCC, 2005, pp. 25-53.
14. -, "Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems," in EMSOFT, 2007, pp. 114-123.
15. T. Lindstrom, "An invitation to non standard analysis," in Nonstandard analysis and its applications, N. Cutland, Ed. Cambridge Univ. Press, 1988.
16. N. Cutland (ed.), Nonstandard analysis and its applications. Cambridge Univ. Press, 1988.
17. M. Najafi and R. Nikoukhah, "Modeling Hybrid Automata in Scicos," in IEEE Multi-conference on Systems and Control, 2007.
18. Pieter J. Mosterman and Justyna Zander and Gregoire Hamon and Ben Denckla, "Towards Computational Hybrid System Semantics for Time-Based Block Diagrams," in 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, September 2009, pp. 376-385, keynote paper.
19. Stephen L. Campbell and Jean-Philippe Chancelier and Ramine Nikoukhah, Modeling and Simulation in Scilab/Scicos. Springer, 2006, ISBN 0-387-27802-8.