A Note on Abstract Interpretation Strategies for Hybrid Automata.

Thomas A. Henzinger Pei-Hsin Ho

Published in: Hybrid Systems (1994)

Keyphrases

hybrid automata
abstract interpretation
termination analysis
static analysis
finite state automata
active rules
knowledge base
hidden markov models
object oriented
software engineering
reasoning engine