Non-standard semantics of hybrid systems modelers

Journal of Computer and System Sciences

Volumn 78, Issue 3, 2012, Pages 877-910

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

^a INRIA   (France)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Compilation of hybrid systems; Constructive semantics; Hybrid systems; Hybrid systems modelers; Kahn process networks; Non standard analysis; Non standard semantics

Indexed keywords

DIFFERENTIAL EQUATIONS; ENGINES; HYBRID SYSTEMS; SEMANTICS;

COMPUTER SCIENTISTS; CONSTRUCTIVE SEMANTICS; DENOTATIONAL SEMANTICS; EMBEDDED SYSTEM DEVELOPMENT; KAHN PROCESS NETWORKS; MATHEMATICAL FOUNDATIONS; SIMULATION PARAMETERS; STANDARD ANALYSIS;

EMBEDDED SYSTEMS;

EID: 84857783037     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2011.08.009     Document Type: Article

References (36)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine The algorithmic analysis of hybrid systems Theoret. Comput. Sci. 138 1 1995 3 34
2. A. Benveniste Compositional and uniform modelling of hybrid systems IEEE Trans. Automat. Control 43 4 April 1998 579 584 (Pubitemid 128737383)
3. A. Benveniste, B. Caillaud, and P. Le Guernic Compositionality in dataflow synchronous languages: Specification and distributed code generation Inform. and Comput. 163 1 2000 125 171
4. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone The synchronous languages 12 years later Proceedings of the IEEE 91 1 2003 64 83
5. Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, in: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'11), Chicago, USA, April 2011.
6. Albert Benveniste, Benoît Caillaud, and Marc Pouzet The fundamentals of hybrid systems modelers CDC 2010 IEEE 4180 4185
7. G. Berry Constructive semantics of Esterel: From theory to practice (abstract) AMAST'96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology 1996 Springer-Verlag London, UK 225 (Pubitemid 126091966)
8. Gérard Berry, The Constructive Semantics of Esterel, 2002, Draft book, current version 3.0.
9. S. Bliudze, Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, PhD thesis, École Polytechnique, 2006.
10. S. Bliudze, and D. Krob Modelling of complex systems: Systems as dataflow machines Fund. Inform. 91 2 2009 251 274
11. F. Boussinot, Une sémantique du langage Esterel, Technical Report 577, INRIA, 1986.
12. J.C. Butcher Numerical Methods for Ordinary Differential Equations 2003 Wiley 0-471-96758-0
13. Stephen L. Campbell, Jean-Philippe Chancelier, and Ramine Nikoukhah Modeling and Simulation in Scilab/Scicos 2006 Springer 0-387-27802-8
14. L.P. Carloni, R. Passerone, A. Pinto, and A.L. Sangiovanni-Vincentelli Languages and tools for hybrid systems design Found. Trends Electron. Des. Autom. 1 1-2 2006
15. P. Caspi, A. Benveniste, R. Lublinerman, and S. Tripakis Actors without directors: A Kahnian view of heterogeneous systems Rupak Majumdar, Paulo Tabuada, Hybrid Systems: Computation and Control (HSCC) Lecture Notes in Comput. Sci. vol. 5469 2009 Springer 46 60
16. P. Caspi, and M. Pouzet A co-iterative characterization of synchronous stream functions Electron. Notes Theor. Comput. Sci. 11 1998
17. F. Diener, and G. Reeb Analyse non standard 1989 Hermann
18. N. Cutland Nonstandard Analysis and Its Applications 1988 Cambridge Univ. Press
19. A.F. Filippov Differential Equations with Discontinuous Right-Hand Sides 1988 Wiley 978-9027726995
20. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud The synchronous dataflow programming language lustre Proceedings of the IEEE 79 9 September 1991 1305 1320 (Pubitemid 21738062)
21. A.C. Hindmarsh, P.N. Brown, K.E. Grant, S.L. Lee, R. Serban, D.E. Shumaker, and C.S. Woodward SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers ACM Trans. Math. Software 31 3 September 2005 363 396
22. F. Hoppensteadt Properties of solutions of ordinary differential equations with small parameters Comm. Pure Appl. Math. 24 1971 807 840
23. Y. Iwasaki, A. Farquhar, V.A. Saraswat, D.G. Bobrow, V. Gupta, Modeling time in hybrid systems: How fast is "instantaneous"?, in: IJCAI, 1995, pp. 1773-1781.
24. G. Kahn, The semantics of a simple language for parallel programming, in: IFIP 74 Congress, 1974, pp. 471-475.
25. E.A. Lee, and A.L. Sangiovanni-Vincentelli A framework for comparing models of computation IEEE Trans. on CAD of Integrated Circuits and Systems 17 12 1998 1217 1229 (Pubitemid 128744893)
26. E.A. Lee, H. Zheng, Operational semantics of hybrid systems, in: HSCC, 2005, pp. 25-53. (Pubitemid 41252058)
27. Edward A. Lee, Haiyang Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, in: EMSOFT, 2007, pp. 114-123. (Pubitemid 351203890)
28. T. Lindstrøm An invitation to nonstandard analysis N.J. Cutland, Nonstandard Analysis and Its Applications 1988 Cambridge Univ. Press 1 105
29. L. Ljung, and T. Glad Modeling of Dynamic Systems Prentice Hall Inf. Syst. Sci. Ser. 1994
30. O. Maler, Z. Manna, and A. Pnueli From timed to hybrid systems J.W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, REX Workshop Lecture Notes in Comput. Sci. vol. 600 1991 Springer 447 484
31. P.J. Mosterman, J. Zander, G. Hamon, B. 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.
32. M. Najafi, R. Nikoukhah, Implementation of hybrid automata in Scicos, in: IEEE Multi-Conference on Systems and Control, 2007.
33. R. Nikoukhah, Hybrid dynamics in modelica: Should all events be considered synchronous?, in: First International Workshop on Equation-Based Object Oriented Languages and Tools (EOOLT 2007), Berlin, Germany, 2007, pp. 37-48.
34. A. Robinson Non-Standard Analysis 1996 Princeton Landmarks in Mathematics 0-691-04490-2
35. R.C. Rosenberg, and D.C. Karnopp Introduction to Physical System Dynamics 1983 McGraw-Hill New York
36. V. Utkin, Sliding mode control in mechanical systems, in: 20th International Conference on Industrial Electronics, Control and Instrumentation, 1994, IECON'94, vol. 3, September 1994, pp. 1429-1431.