Monitoring Changes in Dynamic Multiset Systems

• Autorzy: Ciobanu G. , Sburlan D.

Identyfikatory

DOI

10.3233/FI-2014-1091

• Języki publikacji: EN

Abstrakty

EN

Models of biological systems expressed as multiset rewriting systems can be very complex, impeding the analysis of their behaviour. In this paper we propose a practical solution to this problem, in the form of change monitors, i.e. computational instruments which synchronise with the model and record its behaviour. Change monitors play the role of passive observers. Since change monitors can automatically identify specific behaviours generated by the model under investigation, it is sufficient to focus only on the output produced by the monitors (instead of examining the dynamics of the initial model).

Słowa kluczowe

EN

biological systems; biological monitoring; observability; problem solving; dynamical systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 134, nr 1/2
• Strony: 67--82
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Ciobanu G.

• Institute of Computer Science, Romanian Academy Iaşi, Romania

autor

Sburlan D.

• Faculty of Mathematics, Ovidius University Constanţa, Romania

Bibliografia

• [1] Cavaliere,M., Leupold, P.: Evolution and Observation: A Non-StandardWay to Generate Formal Languages, Theoretical Computer Science, 321, 2004, 233–248.
• [2] Cavaliere, M., Leupold., P.: Computing by Observing: Simple Systems and Simple Observers, Theoretical Computer Science, 412(1-2), 2011, 113–123.
• [3] Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory, Springer Verlag, Berlin, 1989.
• [4] Freund, R., Ibarra, O.H., Paun, G., Yen, H.-C.: Matrix Languages, Register Machines, Vector Addition Systems, Proc. 3rd BWMC, 2005, 155–167.
• [5] Fernau, H., Nonterminal Complexity of Programmed Grammars, LNCS, 2055, 2001, 202–213.
• [6] Hundeshagen, N., Leupold, P.: Transducing by Observing, NCMA 2010, 85–98.
• [7] Maurer, H.A., Salomaa, A., Wood, D.: ET0L Forms, Journal of Computer and System Sciences, 16, 1978, 345-361.
• [8] Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing, Oxford University Press (2010).
• [9] Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, Springer Verlag, Berlin, 1997.
• [10] Sburlan D.: Observer/Interpreter P Systems, LNCS, 7762, 2013, 378–389.