Decentralized Control of Timed Discrete Event Systems with Conditional Decisions for Enforcement of Forcible Events | IEEE Conference Publication | IEEE Xplore