Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

Abstract : Conditions under which compositions of component systems form a well-defined system-of-systems are here formulated at a fundamental level. Statement of what defines a well-defined composition and sufficient conditions guaranteeing such a result offers insight into exemplars that can be found in special cases such as differential equation and discrete event systems. For any given global state of a composition, two requirements can be stated informally as: (1) the system can leave this state, i.e., there is at least one trajectory defined that starts from the state; and (2) the trajectory evolves over time without getting stuck at a point in time. Considered for every global state, these conditions determine whether the resultant is a well-defined system and, if so, whether it is non-deterministic or deterministic. We formulate these questions within the framework of iterative specifications for mathematical system models that are shown to be behaviorally equivalent to the Discrete Event System Specification (DEVS) formalism. This formalization supports definitions and proofs of the afore-mentioned conditions. Implications are drawn at the fundamental level of existence where the emergence of a system from an assemblage of components can be characterized. We focus on systems with feedback coupling where existence and uniqueness of solutions is problematic.
Type de document :
Article dans une revue
Systems, MDPI, 2016, 〈10.3390/systems4040034〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01402377
Contributeur : Alexandre Muzy <>
Soumis le : jeudi 24 novembre 2016 - 15:53:48
Dernière modification le : vendredi 25 novembre 2016 - 01:04:42

Fichier

systems-04-00034.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Bernard Zeigler, Alexandre Muzy. Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications. Systems, MDPI, 2016, 〈10.3390/systems4040034〉. 〈hal-01402377〉

Partager

Métriques

Consultations de
la notice

65

Téléchargements du document

25