Towards a Framework for Modelling Behaviours of Hybrid Systems

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

EN

The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.

Słowa kluczowe

EN

hibrid systems; processes; states; sequential composition; parallel composition; category; partial monoid; structure; random behaviour

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 80, nr 1-3
• Strony: 311--332
• Opis fizyczny: bibliogr. 19 poz.

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland,

Bibliografia

• [1] Baldan, P., Bruni, R., Montanari, U., Pre-nets, read arcs and unfolding: a functorial presentation, Proceedings of WADT'02,Wirsing, M., Pattison, D., Hennicker, R., (Eds.), Springer LNCS 2755 (2002) 145-164
• [2] Bergstra, J., Klop, J., The algebra of recursively defined processes and the algebra of regular processes, in Paradaens, J., (Ed.), Proc. of 11th ICALP, Springer LNCS 172 (1984) 82-95
• [3] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136
• [4] Bourbaki, N., éléments de mathématique, Livre I (Théorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957
• [5] Bucur, I., Deleanu, A., Introduction to the Theory of Categories and Functors, JohnWiley and Sons Ltd., Lozanna, New York, Sydney, 1968
• [6] David, R., Modeling of Dynamic Systems by Petri Nets, in Proc. of European Control Conference, Grenoble, France, July 2-5 1991, 136-147
• [7] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [8] Droste, M., Shortt, R. M., Continuous Petri Nets and Transition Systems, in Ehrig, H., et al. (Eds.), Unifying Petri Nets, Springer LNCS 2128 (2001) 457-484
• [9] Feller, W., An Introduction to Probability Theory and its Applications, Volume II, John Wiley and Sons, Inc. (1966)
• [10] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
• [11] Milner, R., Calculi of interaction, Acta Informatica 33 (1996) 707-737
• [12] Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596
• [13] Nerode, A., Kohn,W., Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, Springer LNCS 736 (1993) 317-356
• [14] Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
• [15] Pluenecke, H., K-density, N-density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
• [16] Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker,W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [17] Winkowski, J., Towards a Framework for Modelling Systems with Rich Structures of States and Processes, Fundamenta Informaticae 68 (2005), 175-206, http://www.ipipan.waw.pl/_wink/winkowski.htm
• [18] Winkowski, J., An Axiomatic Characterization of Algebras of Processes of Petri Nets, Fundamenta Informaticae 72 (2006), 407-420, http://www.ipipan.waw.pl/_wink/winkowski.htm
• [19] Winkowski, J., Behaviour Algebras, Fundamenta Informaticae 75 (2007), 537-560 http://www.ipipan.waw.pl/_wink/winkowski.htm