Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
Jan J. M. M. RuttenPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- differential equations
- dynamical systems
- boundary value problem
- numerical solution
- timed automata
- power consumption
- brownian motion
- ordinary differential equations
- cellular automata
- transmission line
- partial differential equations
- numerical methods
- data streams
- finite automata
- optimal control
- feed forward artificial neural networks
- neural network
- regular expressions
- pattern recognition
- genetic algorithm