Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis
Publisher:
Year
: 2014DOI: 10.1109/PEOCO.2014.6814438
Keyword(s): Kalman filters,n angular velocity control,n induction motors,n machine vector control,n matrix algebra,n nonlinear filters,n phase control,n rotors,n stators,n EKF,n RFOC technique,n extended Kalman filter,n faulty motor control,n faulty three-phase IM,n induction motor,n rotor flux-oriented control technique,n rotor speed estimation,n stator phase,n transformation matrix,n vector control,n Circuit faults,n Equations,n Estimation
Collections
:
-
Statistics
Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis
Show full item record
contributor author | Kammuller, Florian | |
contributor author | Probst, Christian W. | |
date accessioned | 2020-03-12T21:45:48Z | |
date available | 2020-03-12T21:45:48Z | |
date issued | 2014 | |
identifier other | 6957308.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1059566?locale-attribute=en | |
format | general | |
language | English | |
publisher | IEEE | |
title | Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8191131 | |
subject keywords | Kalman filters | |
subject keywords | n angular velocity control | |
subject keywords | n induction motors | |
subject keywords | n machine vector control | |
subject keywords | n matrix algebra | |
subject keywords | n nonlinear filters | |
subject keywords | n phase control | |
subject keywords | n rotors | |
subject keywords | n stators | |
subject keywords | n EKF | |
subject keywords | n RFOC technique | |
subject keywords | n extended Kalman filter | |
subject keywords | n faulty motor control | |
subject keywords | n faulty three-phase IM | |
subject keywords | n induction motor | |
subject keywords | n rotor flux-oriented control technique | |
subject keywords | n rotor speed estimation | |
subject keywords | n stator phase | |
subject keywords | n transformation matrix | |
subject keywords | n vector control | |
subject keywords | n Circuit faults | |
subject keywords | n Equations | |
subject keywords | n Estimation | |
identifier doi | 10.1109/PEOCO.2014.6814438 | |
journal title | ecurity and Privacy Workshops (SPW), 2014 IEEE | |
filesize | 395169 | |
citations | 0 |