2067 search results - page 125 / 414 » Logics of propositional control |
115
click to vote
AROBOTS
1998
15 years 1 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
100
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
103
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
123
Voted
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
117
click to vote
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...