Sciweavers

1317 search results - page 50 / 264
» A new delay system approach to network-based control
Sort
View
99
Voted
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 5 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py
85
Voted
ASE
2005
91views more  ASE 2005»
15 years 12 days ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
75
Voted
HYBRID
2004
Springer
15 years 5 months ago
On the Optimal Control of Switch-Mode DC-DC Converters
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
Tobias Geyer, Georgios Papafotiou, Manfred Morari
125
Voted
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
15 years 4 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
108
Voted
SAINT
2005
IEEE
15 years 6 months ago
On Scalable Modeling of TCP Congestion Control Mechanism for Large-Scale IP Networks
In this paper, we propose an analytic approach of modeling a closed-loop network with multiple feedback loops using fluid-flow approximation. Specifically, we model building bl...
Hiroyuki Ohsaki, Juñya Ujiie, Makoto Imase