Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
type: Item
instance of: scholarly article
title: Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
zbMATH Open document ID: 1244.93019
author: Boris Golden
author: Marc Aiguier
author: Daniel Krob
published in: Applied Mathematics and Computation
publication date: 2012-08-19T00:00:00Z
Mathematics Subject Classification ID: 93A30
Mathematics Subject Classification ID: 93A15
zbMATH DE Number: 6068253
zbMATH Keywords: complex systems
zbMATH Keywords: systems modeling
zbMATH Keywords: systems semantics
zbMATH Keywords: systems engineering
zbMATH Keywords: systems integration
zbMATH Keywords: timed mealy machine
zbMATH Keywords: hybrid time
zbMATH Keywords: non-standard analysis
describes a project that uses: Esterel
describes a project that uses: LUSTRE
MaRDI profile type: Publication
full work available at URL: j.amc.2012.01.048
OpenAlex ID: W4291986170
cites work: The algorithmic analysis of hybrid systems
cites work: Q4763590
cites work: Q5433143
cites work: The algebra of stream processing functions
cites work: Specification and Development of Interactive Systems
cites work: Q3848243
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Q3993282
cites work: Q3331221
cites work: Q3141106
cites work: Q4054644
cites work: Timed rewriting logic with an application to object-based specification
cites work: Modelling of Complex Software Systems: A Reasoned Overview
cites work: Embedded System Design
cites work: Internal set theory: A new approach to nonstandard analysis
cites work: Automata over continuous time
cites work: Non-standard analysis
cites work: A new applied approach for executing computations with infinite and infinitesimal quantities
cites work: Q4400449
cites work: Q4824485
DOI: 10.1016/J.AMC.2012.01.048
description: scientific article; zbMATH DE number 6068253