20 search results - page 2 / 4 » Positive Partial Realization Problem for Linear Discrete-Tim... |
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
105
click to vote
JCSS
2010
14 years 8 months ago
2010
To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated acc...
SIAMSC
2010
14 years 8 months ago
2010
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
ICANN
2011
Springer
14 years 1 months ago
2011
Springer
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
124
click to vote
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...