Monitoring and Managing Devices in Logic