An adequate logic for heterogeneous systems - CentraleSupélec Access content directly
Conference Papers Year : 2013

An adequate logic for heterogeneous systems


We coalgebraically define a unified semantics for systems with an emphasis on the notion of time. Such a semantics intends to formalize system that underly system engineering (i.e. the discipline focusing on the integration mastery of large industrial systems).Moreover, we give a formal meaning to another important aspect of systems engineering : system requirements, constraining the expected properties of a system. To express such requirements, we define a logic that extends μ-calculus to our coalgebraic definition of systems. We establish an important property of this logic: adequacy.
Fichier principal
Vignette du fichier
main.pdf (190.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00812339 , version 1 (12-04-2013)



Marc Aiguier, Boris Golden, Daniel Krob. An adequate logic for heterogeneous systems. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩. ⟨hal-00812339⟩
183 View
379 Download



Gmail Facebook X LinkedIn More