Login / Signup
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.
Shuichi Sato
Shogo Hattori
Hiroyuki Seki
Yutaka Inamori
Shoji Yuen
Published in:
FTSCS (2016)
Keyphrases
</>
safety analysis
control system
safety critical
nuclear power plant
symbolic model checking
fault tolerant
fuzzy logic
embedded systems
control algorithm
fault model
agent architecture
support systems
symbolic representation
real time
control strategy
adaptive systems
formal methods
state space
neural network