Sciweavers

4689 search results - page 267 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
15 years 1 months ago
Sufficient conditions for flocking via graph robustness analysis
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
Samuel Martin, Antoine Girard
ECRTS
2003
IEEE
16 years 2 hour ago
Resource Sharing in an Enhanced Rate-Based Execution Model
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
Xin Liu, Steve Goddard
164
Voted
CSFW
1994
IEEE
15 years 10 months ago
One-Representative Safety Analysis in the Non-Monotonic Transform Model
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
Ravi S. Sandhu, Paul Ammann
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 27 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
IE
2007
15 years 8 months ago
Two families: dynamical policy models in interactive storytelling
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...
Fabio Zambetta, Adam Nash, Paul Smith