Declaration of unknowns in DAE-based hybrid system specification.

D. A. van Beek Victor Bos Jacobus E. Rooda

Published in: ACM Trans. Model. Comput. Simul. (2003)

Keyphrases

neural network
high level
transition systems
artificial neural networks
information systems
website
genetic algorithm
expert systems
real world
evolutionary algorithm
petri net
user defined
formal specification
formal methods
hybrid systems
state machine
real time