5200 search results - page 49 / 1040 » Symbolic models for control systems |
NLDB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
ICRA
1993
IEEE
14 years 26 days ago
1993
IEEE
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
APN
2010
Springer
14 years 1 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
We present a direct adaptive controller for discrete-time (and thus sampled-data) systems that are possibly nonminimum phase. The adaptive control algorithm requires limited model ...