A tamper-proof audit and control system for the doctor in the loop.
Peter KiesebergBernd MallePeter FrühwirtEdgar R. WeipplAndreas HolzingerPublished in: Brain Informatics (2016)
Keyphrases
- control system
- fuzzy logic
- closed loop
- intrusion detection
- control strategy
- control law
- control algorithm
- real time
- control scheme
- theorem proving
- matlab simulation
- dc motor
- linear logic
- control architecture
- theorem prover
- mobile robot
- pid controller
- security level
- security properties
- image authentication
- artificial intelligence
- real world