Modelling of Complex Systems: Systems as Dataflow Machines

DOI10.3233/FI-2009-0043zbMath1176.68081OpenAlexW1576494527MaRDI QIDQ3634000

Daniel Krob, Simon Bliudze

Publication date: 23 June 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-0043

zbMATH Keywords

hybrid systemtime scalecomplex systemsoftware systemnon-standard analysissystem modellingphysical systemtemporized systemsturing machine

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (8)

Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ A Nonstandard Functional Programming Language ⋮ Non-standard semantics of hybrid systems modelers ⋮ Dynamic networks of heterogeneous timed machines ⋮ Programming with Infinitesimals: A While-Language for Hybrid System Modeling ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

This page was built for publication: Modelling of Complex Systems: Systems as Dataflow Machines