1695 search results - page 73 / 339 » Linear, Polynomial or Exponential |
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
112
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
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...
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
97
Voted
BC
1999
15 years 24 days ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...