11017 search results - page 113 / 2204 » Closure Systems and their Structure |
SIAMCO
2010
13 years 2 months ago
2010
We consider an optimal control problem governed by an ODE with memory playing the role of a control. We show the existence of an optimal solution and derive some necessary optimal...
SIAMDM
2011
13 years 2 months ago
2011
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
SIGDIAL
2011
12 years 11 months ago
2011
SIES
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...