Bisimulation for General Stochastic Hybrid Systems.

Manuela-Luminita Bujorianu John Lygeros Marius C. Bujorianu

Published in: HSCC (2005)

Keyphrases

hybrid systems
discrete event
black box
intelligent systems
artificial intelligence
soft computing
e learning
knowledge base
evolutionary algorithm
control system