Sciweavers

3844 search results - page 280 / 769
» Modular interpreted systems
Sort
View
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
15 years 11 months ago
Self-Adaptive Techniques for the Load Trend Evaluation of Internal System Resources
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
Sara Casolari, Michele Colajanni, Stefania Tosi
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 11 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
MEMOCODE
2008
IEEE
15 years 10 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
15 years 10 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
15 years 10 months ago
Operational Space Control of Multibody Systems with Explicit Holonomic Constraints
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
Vincent De Sapio, Oussama Khatib