Sciweavers

1297 search results - page 128 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
EAI
2004
15 years 3 months ago
Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
Ulrike Greiner, Erhard Rahm
141
Voted
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 7 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 8 months ago
Nonholonomic source seeking in switching random fields
We consider the problem of designing controllers for nonholonomic mobile robots converging to the source (minimum) of a field. In addition to the mobility constraints posed by the ...
Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pa...
ICRA
1998
IEEE
155views Robotics» more  ICRA 1998»
15 years 5 months ago
Reactive Visual Control of Multiple Non-Holonomic Robotic Agents
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
Kwun Han, Manuela M. Veloso
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 3 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...