Petrov, Tatjana ; Koeppl, Heinz (2010)
Maximal reduction of deterministic semantics of rule-based models: Syntax-Independent Setup.
7th International Workshop on Computational Systems Biology. Luxembourg (16.06.2010-18.06.2010)
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
We develop a syntax-independent rule-based specification in a set-theoretical framework. The reactants of rules are usually defined as partially defined objects, called patterns, to denote that we can apply a reaction by substituting a pattern with any species that contains the context described by the pattern. We choose a very general data structure to represent the patterns: we write a pattern as a set of species which comply the pattern, and we call it a macro-species. We define the deterministic (ODE) semantics on such a rule set, and we define its reduction imposed by aggregation of species. We characterize for which aggregations we can correctly compute the reduced ODE semantics directly from the rule set, ie which aggregations are self-consistent. Finally, we propose an algorithm that, given a set of initial aggregates, computes the least-refined self-consistent aggregation which contains the initial aggregates.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2010 |
| Autor(en): | Petrov, Tatjana ; Koeppl, Heinz |
| Art des Eintrags: | Bibliographie |
| Titel: | Maximal reduction of deterministic semantics of rule-based models: Syntax-Independent Setup |
| Sprache: | Englisch |
| Publikationsjahr: | 2010 |
| Buchtitel: | Proceedings of the Seventh International Workshop on computational Systems (WCSB 2010) Biology |
| Reihe: | TICSP Series |
| Band einer Reihe: | 51 |
| Veranstaltungstitel: | 7th International Workshop on Computational Systems Biology |
| Veranstaltungsort: | Luxembourg |
| Veranstaltungsdatum: | 16.06.2010-18.06.2010 |
| Kurzbeschreibung (Abstract): | We develop a syntax-independent rule-based specification in a set-theoretical framework. The reactants of rules are usually defined as partially defined objects, called patterns, to denote that we can apply a reaction by substituting a pattern with any species that contains the context described by the pattern. We choose a very general data structure to represent the patterns: we write a pattern as a set of species which comply the pattern, and we call it a macro-species. We define the deterministic (ODE) semantics on such a rule set, and we define its reduction imposed by aggregation of species. We characterize for which aggregations we can correctly compute the reduced ODE semantics directly from the rule set, ie which aggregations are self-consistent. Finally, we propose an algorithm that, given a set of initial aggregates, computes the least-refined self-consistent aggregation which contains the initial aggregates. |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik > Bioinspirierte Kommunikationssysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik |
| Hinterlegungsdatum: | 04 Apr 2014 12:19 |
| Letzte Änderung: | 26 Jul 2023 08:07 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum