Extracting Stable Timed Automata from Switched Model Reference Systems.

Michael D. Lemmon Christopher J. Bett

Published in: Hybrid Systems (1997)

Keyphrases

computational model
mathematical model
probabilistic model
management system
statistical model
prior knowledge
parameter estimation
conceptual model
formal model
real time
computational models
neural network model
experimental data
complex systems
probability distribution
high level
artificial intelligence