FPGA-based embedded Logic Controllers.
Marek WegrzynMarian AdamskiAndrei KaratkevichAlfredo Rosado MuñozPublished in: HSI (2014)
Keyphrases
- embedded systems
- smart camera
- control system
- reinforcement learning
- classical logic
- computational properties
- digital circuits
- automated reasoning
- database
- logic programming
- modal logic
- proof theory
- sound and complete axiomatization
- hardware software partitioning
- hardware software
- formal theory
- application specific
- hardware implementation
- information systems