Sciweavers

930 search results - page 12 / 186
» Modelling Control Systems in an Event-Driven Coordination La...
Sort
View
JSAC
2008
82views more  JSAC 2008»
14 years 11 months ago
Integration of communication and control using discrete time Kuramoto models for multivehicle coordination over broadcast networ
Abstract-- This paper considers the integration of communication and control with respect to the task of coordinated heading control for a group of N vehicles. The heading control ...
Daniel J. Klein, Phillip Lee, Kristi A. Morgansen,...
ENTCS
2006
135views more  ENTCS 2006»
14 years 11 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
COOPIS
2002
IEEE
15 years 4 months ago
Modeling Coordination and Control in Cross-Organizational Workflows
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
Enzo Colombo, Chiara Francalanci, Barbara Pernici
85
Voted
SAC
2003
ACM
15 years 4 months ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli
118
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 3 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...