1297 search results - page 38 / 260 » Control of systems integrating logic, dynamics, and constrai... |
100
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
135
click to vote
IJCAI
2001
15 years 2 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
147
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
100
click to vote
ICONS
2008
IEEE
15 years 7 months ago
2008
IEEE
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
121
click to vote
EEMMAS
2007
Springer
15 years 7 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...