Sciweavers

2650 search results - page 92 / 530
» Simulation and Control of Reactive Systems
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
13 years 10 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
ECOOP
2000
Springer
14 years 2 months ago
Design Templates for Collective Behavior
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
Pertti Kellomäki, Tommi Mikkonen
EGICE
2006
14 years 1 months ago
Intrinsically Motivated Intelligent Sensed Environments
Advances in intelligent agent research, such as curious agents and motivated learning agents, make possible a new kind of intelligent environment: a curious place. Previously, inte...
Mary Lou Maher, Kathryn Elizabeth Merrick, Owen Ma...
HIPEAC
2007
Springer
14 years 1 months ago
Sunflower :  Full-System, Embedded Microarchitecture Evaluation
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
Phillip Stanley-Marbell, Diana Marculescu
IROS
2008
IEEE
147views Robotics» more  IROS 2008»
14 years 4 months ago
Stable limit cycle generation for underactuated mechanical systems, application: Inertia wheel inverted pendulum
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
Sebastien Andary, Ahmed Chemori, Sébastien ...