Sciweavers

3458 search results - page 226 / 692
» Abstracting Control
Sort
View
145
Voted
CONSTRAINTS
2008
117views more  CONSTRAINTS 2008»
15 years 3 months ago
Domain Specific High-Level Constraints for User Interface Layout
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
Christof Lutteroth, Robert Strandh, Gerald Weber
131
Voted
EMSOFT
2001
Springer
15 years 8 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
118
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 3 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
149
Voted
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 10 months ago
Extremal collective behavior
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
Eric W. Justh, P. S. Krishnaprasad
103
Voted
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
15 years 10 months ago
Anatomy-based organization of modular robots
Abstract— This paper presents a novel biologicallyinspired hierarchical approach to organizing and controlling modular robots. The purpose of our approach is to decompose the com...
David Johan Christensen, Jason Campbell