Sciweavers

940 search results - page 140 / 188
» Control Abstractions for Local Search
Sort
View
118
Voted
HYBRID
2000
Springer
15 years 6 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 2 months ago
Asynchronous Distributed Searchlight Scheduling
Abstract— This paper develops and compares two asynchronous distributed scheduling algorithms for multiple controlled searchlights in nonconvex polygonal environments. A searchli...
Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo
120
Voted
MIG
2010
Springer
15 years 1 months ago
Motion Parameterization with Inverse Blending
Abstract. Motion blending is a popular motion synthesis technique which interpolates similar motion examples according to blending weighs parameterizing high-level characteristics ...
Yazhou Huang, Marcelo Kallmann
112
Voted
SSS
2010
Springer
103views Control Systems» more  SSS 2010»
15 years 29 days ago
A Provably Starvation-Free Distributed Directory Protocol
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
Hagit Attiya, Vincent Gramoli, Alessia Milani
119
Voted
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 9 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002