Sciweavers

7778 search results - page 36 / 1556
» Designing Controllers for Reachability
Sort
View
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
14 years 1 months ago
Control Software Design of A Compact Laparoscopic Surgical Robot System
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
Ji Ma, Peter J. Berkelman
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
JIRS
2006
55views more  JIRS 2006»
13 years 7 months ago
Intelligent Robust Controller Design for a Micro-actuator
In this article the design of an intelligent robust controller for a Micro
Marialena Vagia, George Nikolakopoulos, Anthony Tz...
TIM
2010
139views Education» more  TIM 2010»
13 years 2 months ago
A Design Approach For Digital Controllers Using Reconfigurable Network-Based Measurements
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
Rong Liu, Antonello Monti, Ferdinanda Ponci, Anton...
SIGCOMM
2010
ACM
13 years 7 months ago
Rethinking iBGP routing
The Internet is organized as a collection of administrative domains, known as Autonomous Systems (ASes). These ASes interact through the Border Gateway Protocol (BGP) that allows ...
Iuniana M. Oprescu, Mickael Meulle, Steve Uhlig, C...