Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems

DOI10.1016/j.amc.2012.01.048zbMath1244.93019OpenAlexW4291986170MaRDI QIDQ440664

Daniel Krob, Marc Aiguier, Boris Golden

Publication date: 19 August 2012

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2012.01.048

zbMATH Keywords

complex systemssystems engineeringnon-standard analysishybrid timesystems integrationsystems modelingsystems semanticstimed mealy machine

Mathematics Subject Classification ID

Large-scale systems (93A15)

Related Items

Dynamic networks of heterogeneous timed machines ⋮ A formal abstract framework for modelling and testing complex software systems

Uses Software

• LUSTRE
• Esterel

Cites Work

• The algorithmic analysis of hybrid systems
• Timed rewriting logic with an application to object-based specification
• Automata over continuous time
• Specification and Development of Interactive Systems
• Grammar Analysis and Parsing by Abstract Interpretation
• Modelling of Complex Software Systems: A Reasoned Overview
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Internal set theory: A new approach to nonstandard analysis
• Non-standard analysis
• The algebra of stream processing functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item