Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis
| 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?show=full | |
| 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 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||


