Sciweavers

1398 search results - page 143 / 280
» Ensuring Properties of Interaction Systems
Sort
View
CDC
2008
IEEE
132views Control Systems» more  CDC 2008»
15 years 8 months ago
Global symplectic uncertainty propagation on SO(3)
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
Taeyoung Lee, Melvin Leok, N. Harris McClamroch
TROB
2008
159views more  TROB 2008»
15 years 6 months ago
Distributed Connectivity Control of Mobile Networks
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...
Michael M. Zavlanos, George J. Pappas
TDSC
2008
102views more  TDSC 2008»
15 years 6 months ago
Temporal Partitioning of Communication Resources in an Integrated Architecture
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
Roman Obermaisser
ATAL
2007
Springer
16 years 13 days ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
15 years 10 months ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich