Sciweavers

5180 search results - page 311 / 1036
» Concurrency, Time, and Constraints
Sort
View
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
16 years 24 days ago
Time Optimal Control for Quadruped Walking Robots
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
Hisashi Osumi, Shogo Kamiya, Hirokazu Kato, Kazuno...
ICTAC
2005
Springer
16 years 8 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
AUSAI
2004
Springer
16 years 5 days ago
A Time and Energy Optimal Controller for Mobile Robots
We present a time and energy optimal controller for a two-wheeled differentially driven robot. We call a mission the task of bringing the robot from an initial state to a desired f...
Sebastien Ancenay, Frédéric Maire
RTAS
2003
IEEE
16 years 1 days ago
Real-Time Scheduling of Hierarchical Reward-Based Tasks
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...
Ming Zu, Albert Mo Kim Cheng
IDA
2003
Springer
15 years 12 months ago
Fuzzy Clustering Based Segmentation of Time-Series
The segmentation of time-series is a constrained clustering problem: the data points should be grouped by their similarity, but with the constraint that all points in a cluster mus...
János Abonyi, Balazs Feil, Sandor Z. N&eacu...