We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
Shuqin Zhang, Michael K. Ng, Wai-Ki Ching, Tatsuya...
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
This paper considers interval time-varying delay systems with delayed estimation of the delay. This case is often encountered in the Networked Control Systems (NCS) field. Based on...