Sciweavers

3458 search results - page 276 / 692
» Abstracting Control
Sort
View
HYBRID
1997
Springer
15 years 8 months ago
Relating Time Progress and Deadlines in Hybrid Systems
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
Sébastien Bornot, Joseph Sifakis
HAPTICS
2010
IEEE
15 years 8 months ago
Stability Analysis of Mobile Robot Teleoperation with Variable Force Feedback Gain
Abstract. We analyze the stability of previously proposed mobile robot teleoperation system [7]. Unlike to other approaches human-operator dynamics is included for the stability an...
Ildar Farkhatdinov, Jee-Hwan Ryu
CDC
2009
IEEE
15 years 8 months ago
On the queue-overflow probabilities of distributed scheduling algorithms
Abstract-- In this paper, we are interested in using largedeviations theory to characterize the asymptotic decay-rate of the queue-overflow probability for distributed wireless sch...
Can Zhao, Xiaojun Lin
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 8 months ago
Mean square stabilization of multi-input systems over stochastic multiplicative channels
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
Nan Xiao, Lihua Xie, Li Qiu
FORMATS
2009
Springer
15 years 8 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...