Login / Signup
Application of temporal logic for safety supervisory control and model-based hazard monitoring.
Francesca M. Favarò
Joseph H. Saleh
Published in:
Reliab. Eng. Syst. Saf. (2018)
Keyphrases
</>
temporal logic
supervisory control
model checking
real time
modal logic
linear temporal logic
data acquisition
computation tree logic
data mining
monitoring system
dynamic environments
belief revision
data management
low cost
power grid
fault detection and diagnosis
query processing
data analysis