Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.

Rebekah Carter Eva M. Navarro-López

Published in: FORMATS (2012)

Keyphrases

finite state machines
management system
distributed systems
data driven
complex systems
petri net
real time
data sets
machine learning
information retrieval
learning environment
expert systems
software engineering
knowledge based systems
dynamic systems
hybrid automata