1301 search results - page 23 / 261 » Specifications via Realizability |
AUTOMATICA
2000
13 years 7 months ago
2000
This paper is concerned with the characterization of all nonlinear stabilizing controllers. Observer based kernel representations are introduced to avoid the difficulty which occu...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
CSL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
DAGSTUHL
2007
13 years 9 months ago
2007
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of t...