Login / Signup

Optimizing Checking-Logic for Reliability-Agnostic Control of Self-Calibrating Designs.

Frederic WormPatrick ThiranPaolo Ienne
Published in: ISQED (2007)
Keyphrases
  • control system
  • process control
  • proof theory
  • database
  • information systems
  • modal logic
  • control method
  • classical logic
  • neural network
  • genetic algorithm
  • pose estimation
  • robotic systems
  • control theory