Sciweavers

4987 search results - page 400 / 998
» Fuzzifying P Systems
Sort
View
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 11 months ago
Controlling the phase of an oscillator: A phase response curve approach
— The paper discusses elementary control strategies to control the phase of an oscillator. Both feedforward and feedback (P and PI) control laws are designed based on the phase r...
Denis V. Efimov, Pierre Sacre, Rodolphe Sepulchre
HYBRID
2001
Springer
15 years 11 months ago
Hybrid Modeling of TCP Congestion Control
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
João P. Hespanha, Stephan Bohacek, Katia Ob...
MPC
1998
Springer
140views Mathematics» more  MPC 1998»
15 years 11 months ago
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
RIDE
1997
IEEE
15 years 11 months ago
WIDE: A Distributed Architecture for Workflow Management
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
Stefano Ceri, Paul W. P. J. Grefen, Gabriel Sanche...
ATAL
1997
Springer
15 years 11 months ago
A Customizable Coordination Service for Autonomous Agents
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
Munindar P. Singh