Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
From MaRDI portal
Publication:440664
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
complex systemssystems engineeringnon-standard analysishybrid timesystems integrationsystems modelingsystems semanticstimed mealy machine
Related Items
Dynamic networks of heterogeneous timed machines ⋮ A formal abstract framework for modelling and testing complex software systems
Uses Software
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