Automatic generation of Chu space model expressions for verification

Ivanov, Lubomir

doi:10.1109/mwscas.2008.4616874

Search citation statements

Order By: Relevance

Paper Sections

Select...

Definition 32 (Chu Space)1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2015

2024

Publication Types

Select...

Other1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 20 publications

(19 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [16] Du et al proposed an enriched process algebra for the Chu spaces for studying the concurrency of object-oriented programming languages. In [30,29] Ivanov presented an algorithm for generating Chu space models for describing the behaviors of complex non-iterated systems, including n-ary dependencies.…”

Section: Definition 32 (Chu Space)mentioning

confidence: 99%

Topological characterization of S[B] systems: From data to models of complexity

Merelli¹,

Rucco²,

Sloot³

et al. 2015

Preprint

View full text Add to dashboard Cite

In this paper we propose a methodology for deriving a model of a complex system by exploiting the information extracted from Topological Data Analysis. Central to our approach is the S[B] paradigm in which a complex system is represented by a two-level model. One level, the structural S one, is derived using the newly introduced quantitative concept of Persistent Entropy. The other level, the behavioral B one, is characterized by a network of interacting computational agents described by a Higher Dimensional Automaton. The methodology yields also a representation of the evolution of the derived two-level model as a Persistent Entropy Automaton. The presented methodology is applied to a real case study, the Idiotypic Network of the mammal immune system.

show abstract

Section: Definition 32 (Chu Space)mentioning

confidence: 99%