Towards a Framework for Modelling Behaviours of Hybrid Systems

• Autorzy: Winkowski J.

Warianty tytułu

PL

Zarys formalizmu do opisu działania systemów hybrydowych

• 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 seąuentially and in parallel other processes.

PL

Praca dotyczy opisywania systemów hybrydowych poprzez definiowanie przebiegów ich działania zwanych procesami, gdzie procesy są reprezentowane strukturami częściowo uporządkowanymi i mog^ być definiowane przez szeregowe i równoległe składanie wcześniej zdefiniowanych procesów.

Słowa kluczowe

EN

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

PL

Systemy hybrydowe; procesy; stany; składanie szeregowe; składanie równoległe; kategoria; monoid; struktura; zachowanie losowe

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2007
• Tom: Nr 1002
• Strony: 1--31
• Opis fizyczny: Bibliogr. 19 poz.

Twórcy

autor

Winkowski J.

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

Bibliografia

• [BBM 02] 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
• [BK 84] Bergstra, J., Klop, J., The algebra of recursively defined processes and the algebra of regular processes, m Paradaens, J., (Ed.), Proc. of llth ICALP, Springer LNCS 172 (1984) 82-95
• [BD 87] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136
• [Bou 57] Bourbaki, N., Elements de mathematique, Livre I (Theorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957
• [BuDe 68] Bucur, L, Deleanu, A., Introduction to the Theory of Categories and Functors, John Wiley and Sons Ltd., Lozanna, New York, Sydney, 1968
• [David 91] David, R., Modeling of Dynamiec Systems by Petri Nets, in Proc. of European Control Conference, Grenoble, France, July 2-5 1991, 136-147
• [DMM 89] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [DS 01] 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
• [F 66] Feller, W., An Introduction to Probability Theory and its Applications, Volume II, John Wiley and Sons, Inc. (1966)
• [Miln 80] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
• [Miln 96] Milner, R., Calculi of interaction, Acta Informatica 33 (1996) 707-737
• [MR 95]         Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596
• [NK 93]         Nerode, A., Kohn, W., Models for Hybrid Systems: Automata,Topologies, Controllability, Observability, Springer LNCS 736 (1993) 317-356
• [Petri 77]      Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
• [Plue 85] Pluenecke, H., K-density, N~density and finiteness properties, APN 84, Springer LNCS 188 (1985) 392-412
• [RT 86]         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
• [Wink 05]      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
• [Wink 06a] 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.iitm
• [Wink 06b]    Winkowski, J., Behaviour Algebras, Fundamenta Informaticae 75 (2007), 537-560 http://www.ipipan.waw.pl/~wink/winkowski.htm