Modelling of Complex Systems: Systems as Dataflow Machines
From MaRDI portal
Recommendations
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Machines, Computations, and Universality
- Computability of operators on continuous and discrete time streams
- scientific article; zbMATH DE number 2084368
- Towards a theory of continuous flow models
Cited in
(13)- Macro-dataflow computational model and its simulation
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- Modelling of Complex Systems Given as a Mealy Machine with Linear Decision Diagrams
- Modelling of Complex Software Systems: A Reasoned Overview
- Non-standard semantics of hybrid systems modelers
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Dynamic networks of heterogeneous timed machines
- Computability of operators on continuous and discrete time streams
- A Nonstandard Functional Programming Language
- A dynamic modelling framework for control-based computing system design
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
This page was built for publication: Modelling of Complex Systems: Systems as Dataflow Machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3634000)
