1297 search results - page 6 / 260 » Control of systems integrating logic, dynamics, and constrai... |
128
click to vote
AMAI
1999
Springer
15 years 27 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
111
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper presents a hybrid control strategy for navigation of shape-accelerated underactuated balancing systems with dynamic constraints. It extends the concept of sequential com...
SACMAT
2005
ACM
15 years 6 months ago
2005
ACM
125
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
127
click to vote
SCP
1998
15 years 26 days ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...