Sciweavers

1150 search results - page 51 / 230
» Specifying Information-Flow Controls
Sort
View
ECAI
2010
Springer
13 years 10 months ago
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
Cédric Pralet, Gérard Verfaillie, Mi...
HYBRID
2009
Springer
14 years 1 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
IJAOSE
2008
68views more  IJAOSE 2008»
13 years 9 months ago
Engineering manufacturing control systems using PROSA and delegate MAS
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
Paul Verstraete, Bart Saint Germain, Paul Valckena...
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
14 years 3 months ago
Fault-tolerant formations of mobile robots
—The goal of a robot formation control architecture is to get a number of robots into a specified form. To be effective and practical, the control architecture must be able to tr...
Ross Mead, Robert Long, Jerry B. Weinberg
TVCG
2012
171views Hardware» more  TVCG 2012»
11 years 11 months ago
Region-Based Line Field Design Using Harmonic Functions
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
Chih-Yuan Yao, Ming-Te Chi, Tong-Yee Lee, Tao Ju