5200 search results - page 20 / 1040 » Symbolic models for control systems |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
IJCAI
2007
13 years 10 months ago
2007
Semantic systems for the representation of declarative knowledge are usually unconnected to neurobiological mechanisms in the brain. In this paper we report on efforts to bridge t...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
TACAS
2000
Springer
14 years 6 days ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
DCC
2010
IEEE
14 years 3 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...