Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.

Kozo Okano Pan Yang Shinpei Ogata Keishi Okamoto

Published in: KES (2020)

Keyphrases

timed automata
model checking
reachability analysis
sequential patterns
theorem prover
expert systems
theorem proving
first order logic
real time systems
data structure
hidden markov models
hough transform
sequence matching