Sciweavers

695 search results - page 80 / 139
» Control in o-minimal Hybrid Systems
Sort
View
HYBRID
2003
Springer
14 years 2 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
ISLPED
2007
ACM
102views Hardware» more  ISLPED 2007»
13 years 10 months ago
Single inductor, multiple input, multiple output (SIMIMO) power mixer-charger-supply system
A hybrid energy source has become a necessary solution for micro-scale applications, like wireless sensors, because of small form factor and extended lifetime requirements. Conven...
Min Chen, Gabriel A. Rincón-Mora
HYBRID
2001
Springer
14 years 1 months ago
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem
In this paper we address the problem of designing energy minimizing collision-free maneuvers for multiple agents moving on a plane. We show that the problem is equivalent to that o...
Jianghai Hu, Maria Prandini, Karl Henrik Johansson...
ICRA
2010
IEEE
141views Robotics» more  ICRA 2010»
13 years 7 months ago
Improvement of model-mediated teleoperation using a new hybrid environment estimation technique
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
Andreas Achhammer, Carolina Weber, Angelika Peer, ...
HYBRID
2010
Springer
14 years 4 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan