Sciweavers

415 search results - page 39 / 83
» Time varying controllers in discrete-time decentralized cont...
Sort
View
HYBRID
2007
Springer
16 years 11 days ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
RTSS
2007
IEEE
16 years 14 days ago
Chronos: Feedback Control of a Real Database System Performance
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
Kyoung-Don Kang, Jisu Oh, Sang Hyuk Son
VLSID
2009
IEEE
108views VLSI» more  VLSID 2009»
16 years 6 months ago
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
Forrest Brewer, João Pedro Hespanha, Nitin ...
SODA
2012
ACM
177views Algorithms» more  SODA 2012»
13 years 8 months ago
Stochastic coalescence in logarithmic time
The following distributed coalescence protocol was introduced by Dahlia Malkhi in 2006 motivated by applications in social networking. Initially there are n agents wishing to coal...
Po-Shen Loh, Eyal Lubetzky
RAS
2010
108views more  RAS 2010»
15 years 4 months ago
Experimental validation of collective circular motion for nonholonomic multi-vehicle systems
This paper presents the experimental validation of a recently proposed decentralized control law, for the collective circular motion of a team of nonholonomic vehicles about a vir...
Daniele Benedettelli, Nicola Ceccarelli, Andrea Ga...