1297 search results - page 27 / 260 » Control of systems integrating logic, dynamics, and constrai... |
118
click to vote
TCS
2008
15 years 1 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
HYBRID
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
132
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper addresses a problem of finding an optimal dynamic quantizer for nonlinear control subject to discretevalued signal constraints. The quantizers to be studied...
AROBOTS
2008
15 years 1 months ago
2008
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...