Towards a functional formalism for modelling complex industrial systems

Complexus

Volumn 2, Issue 3-4, 2006, Pages 163-176

  Krob, D ^a   Bliudze, S ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Complex system; Hybrid system; Physical system; Software system; System modelling; Temporized system; Time scale; Turing machine

Indexed keywords

ARCHITECTURE; COMPUTER PROGRAM; CONFERENCE PAPER; DATA ANALYSIS; DEVICE; HYBRID; INDUSTRY; INTERFACE PRESSURE; MACHINE; PRIORITY JOURNAL; TELECOMMUNICATION; TRAFFIC AND TRANSPORT;

EID: 33747862217     PISSN: 14248492     EISSN: None     Source Type: Journal    
DOI: 10.1159/000093688     Document Type: Conference Paper

References (39)

1. Meinadier JP: Ingénierie et intégration de systèmes. Paris, Hermès, 1998.
2. Meinadier JP: Le métier d'intégration de systèmes. Paris, Hermès-Lavoisier, 2002.
3. Satzinger JW, Jackson RB, Burd S, Simond M, Villeneuve M: Analyse et conception de systèmes d'information. Québec, Les Éditions Reynald Goulet, 2003.
4. Sommerville I: Software Engineering, ed 6. Reading, Addison-Wesley, 2001.
5. Booch G, Rumbaugh J, Jacobson I: The Unified Modeling Language User Guide. Reading, Addison-Wesley, 1999.
6. Rumbaugh J, Jacobson I, Booch G: The Unified Modeling Language Reference Manual. Reading, Addison-Wesley, 1999.
7. Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R: The synchronous languages twelve years later. Proc IEEE 2003; 91: 64-83.
8. Lavagno L, Martin G, Selic B: UML for Real - Design of Embedded Real-Time Systems. Boston, Kluwer, 2003.
9. Marwedel P: Embedded systems design. Boston, Kluwer, 2003.
10. Mathworks, Mathlab and Simulink; http://www.mathworks.com.
11. Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho PH, Nicollin X, Olivero A, Sifakis J, Yovine S: The algorithmic analysis of hybrid systems. Theor Comp Sci 1995; 138: 3-34.
12. Henzinger TA: The theory of hybrid automata, in Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS'96. Los Alamitos, IEEE Society Press, 1996, pp 278-292.
13. Kowalewski S, Stursberg O, Fritz M, Graf H, Hoffmann I, Preussig J, Remelhe M, Simon S, Treseler H: A case study in tool-aided analysis of discretely controlled continuous systems: the two tanks problem. Proceedings of the 5th International Workshop on Hybrid Systems, Notre Dame, Ind., 1997, pp 165-177.
14. Mosterman PJ: An overview of hybrid simulation phenomena and their support by simulation packages; in Hybrid Systems: Computation and Control, Lectures Notes in Computer Science. Berlin, Springer, 1999, pp 165-177.
15. Samad T, Balas G: Software-Enabled Control. Chichester, Wiley, 2003.
16. Zaytoon J: Systèmes dynamiques hybrides. Paris, Hermès, 2001.
17. Telelogic, Doors; http://www.telelogic.com/index.cfm.
18. Abrial JR: The B-Book - Assigning Programs to Meanings. Cambridge, Cambridge University Press, 1996.
19. Bérard B, Bidoit M, Laroussinie F, Petit A, Schnoebelen P: Vérification de logiciels - Techniques et outils du model-checking. Paris, Vuibert Informatique, 1999.
20. Börger E, Stärk R: Abstract State Machines - a Method for High-Level System Design and Analysis. Berlin, Springer, 2003.
21. Schneider K: Verification of Reactive Systems - Formal Methods and Algorithms. Berlin, Springer, 2004.
22. Wordsworth JB: Software Engineering with B. Reading, Addison-Wesley, 1996.
23. Cha DP, Rosenberg JJ, Dym CL: Fundamentals of Modeling and Analyzing Engineering Systems. Cambridge, Cambridge University Press, 2000.
24. Severance FL: System Modeling and Simulation - an Introduction. Chichester, Wiley, 2001.
25. Zeigler BP, Praehofer H, Gon Kim T: Theory of Modeling and Simulation - Integrating Discrete Event and Continuous Complex Dynamic Systems. New York, Academic Press, 2000.
26. Schwartz L: Théorie des distributions. Paris, Hermann, 1966.
27. D'Alembert JLR: Differentiel; in Diderot D, D'Alembert JLR (eds): Encyclopédie ou Dictionnaire raisonné des sciences, des arts et des métiers. Paris, Briasson, David, Le Breton & Durand, 1754, vol 4, pp 985-989.
28. Lakatos I: Preuves et réfutations. Paris, Hermann, 1984.
29. Lakatos I: Proofs and refutations. Br J Philos Sci 1963-1964; 14: 1-25, 120-139, 221-245, 296-342.
30. Robinson A: Non Standard Analysis. Amsterdam, North-Holland, 1966.
31. Lindstrøm T: An Invitation to Nonstandard Analysis; in Cutland N (ed): Nonstansard Analysis and its Applications. Cambridge, Cambridge University Press, 1988.
32. Barwise J: Handbook of Mathematical Logic, vol 90: Studies in Logic and the Foundations of Mathematics. Amsterdam, North-Holland, 1977.
33. Jensen CU, Lenzing H: Model Theoretical Algebra. New York, Gordon & Breach, 1989.
34. Diener F, Reeb G: Analyse Non Standard. Paris, Hermann, 1989.
35. Cutland N: Nonstandard analysis and its applications, London Mathematical Society Student Texts 10. Cambridge, Cambridge University Press, 1988.
36. Fliess M: Fonctionnelles causales non-linéaires et indéterminées non-commutatives. Bull Soc Math Fr 1981; 109: 3-40.
37. Meyer KR, Hall GR: Introduction to Hamiltonian Dynamical Systems and the N-Body Problem, Applied Mathematical Sciences, 90. New York, Springer, 1992.
38. Krob D, Vassilieva EA: Performance analysis of modulation with diversity - a combinatorial approach. II. Bijective methods. Disc App Maths 2005; 145: 403-421.
39. Proakis J: Digital Communications, ed 3. Maidenhead, McGraw-Hill, 1995.