Login / Signup
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Akio Nakata
Tadaaki Tanimoto
Suguru Sasaki
Teruo Higashino
Published in:
Int. J. Found. Comput. Sci. (2006)
Keyphrases
</>
timed automata
finite state machines
petri net
model checking
type fuzzy logic systems
cellular automata
neural network
failure prediction
theorem prover
regular expressions
discrete event
finite automata
decision theoretic planning
lattice gas
data sets
equivalence relation
failure rate
real numbers
interval data