575 search results - page 63 / 115 » Controller Synthesis for Probabilistic Systems |
TROB
2002
13 years 7 months ago
2002
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...
BIRTHDAY
2007
Springer
14 years 1 days ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
RSS
2007
13 years 9 months ago
2007
— We develop a systematic approach to incorporating uncertainty into planning manipulation tasks with frictional contacts. We consider the canonical problem of assembling a peg i...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Consider the task of searching a region for the presence or absence of a target using a team of multiple searchers. This paper formulates this search problem as a sequential pr...