Sciweavers

844 search results - page 131 / 169
» Reachability in Linear Dynamical Systems
Sort
View
ICCAD
2002
IEEE
149views Hardware» more  ICCAD 2002»
15 years 7 months ago
Battery-aware power management based on Markovian decision processes
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
Peng Rong, Massoud Pedram
EMS
2008
IEEE
15 years 5 months ago
Vibration and Input Tracking Control of Flexible Manipulator Using LQR with Non-Collocated PID Controller
This paper presents investigations into the development of control schemes for end-point vibration suppression and input tracking of a flexible manipulator. A constrained planar s...
M. A. Ahmad
FROCOS
2007
Springer
15 years 5 months ago
Temporal Logic with Capacity Constraints
Often when formalising dynamic systems, constraints such as exactly ā€œnā€ of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
Clare Dixon, Michael Fisher, Boris Konev
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
15 years 5 months ago
Soft Object Manipulation by Simultaneous Control of Motion and Deformation
— One of features of soft object manipulation is motion during deformation of the soft body. We analyze the stability of soft object manipulation by simultaneous control of motio...
Mizuho Shibata, Shinichi Hirai
IDEAL
2005
Springer
15 years 4 months ago
Neural Networks: A Replacement for Gaussian Processes?
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
Matthew Lilley, Marcus R. Frean