Co-scheduling of Communication and Control of Multi-Hop Control Networks

Yasuki NANAMORI  Toshimitsu USHIO  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E96-A   No.5   pp.878-885
Publication Date: 2013/05/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E96.A.878
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Networked Control Systems: Theories & Applications)
multi-hop control network,  SAT solver,  logical formula,  scheduling,  

Full Text: PDF(836.6KB)
>>Buy this Article

We consider a multi-hop control network where a wireless network is used for transmissions of input and output data between a plant and a computing system. We formulate a co-scheduling problem of sampling of the plant's outputs, execution of control tasks, and the routing of data transmissions in the network. Several constraints on control tasks and data transmission are described by logical formulae. By using a SAT solver, we obtain a scheduling satisfying the constraints. Through simulation, we investigate the relationship between the computation time in the SAT solver and the number of nodes in the network.